Linda Chen

Linda Chen, Niranjan Saikumar, Simone Baldi et al.

In this paper a novel reset control synthesis method is proposed: CRONE reset control, combining a robust fractional CRONE controller with non-linear reset control to overcome waterbed effect. In CRONE control, robustness is achieved by creation of constant phase behaviour around bandwidth with the use of fractional operators, also allowing more freedom in shaping the open-loop frequency response. However, being a linear controller it suffers from the inevitable trade-off between robustness and performance as a result of the waterbed effect. Here reset control is introduced in the CRONE design to overcome the fundamental limitations. In the new controller design, reset phase advantage is approximated using describing function analysis and used to achieve better open-loop shape. Sufficient quadratic stability conditions are shown for the designed CRONE reset controllers and the control design is validated on a Lorentz-actuated nanometre precision stage. It is shown that for similar phase margin, better performance in terms of reference-tracking and noise attenuation can be achieved.

Linda Chen, Niranjan Saikumar, S. Hassan HosseinNia

In this paper, a framework for the combination of robust fractional order CRONE control with non-linear reset is given for both first and second generation CRONE control. General design rules are derived and presented for these CRONE reset controllers. Within this framework, fractional order control allows for better tuning of the open-loop responses on the one hand. On the other, reset control enables a reduction in phase lag and a corresponding increase in phase margin compared to linear control for similar open loop gain profile. Hence, the combination of the two control methods can provide well-tuned open-loop responses that can overcome the fundamental linear control limitation of Bode's gain-phase relationship. Moreover, as established loop-shaping concepts are used in the controller design, CRONE reset can be highly compatible with the industry. The designed CRONE reset controllers are validated on a one degree-of-freedom Lorentz-actuated precision positioning stage. On this setup, CRONE reset control is shown to provide better tracking performance compared to linear CRONE control, which is in agreement with the predicted performance improvement.

Iddo Drori, Sarah Zhang, Reece Shuttleworth et al.

We demonstrate that a neural network pre-trained on text and fine-tuned on code solves mathematics course problems, explains solutions, and generates new questions at a human level. We automatically synthesize programs using few-shot learning and OpenAI's Codex transformer and execute them to solve course problems at 81% automatic accuracy. We curate a new dataset of questions from MIT's largest mathematics courses (Single Variable and Multivariable Calculus, Differential Equations, Introduction to Probability and Statistics, Linear Algebra, and Mathematics for Computer Science) and Columbia University's Computational Linear Algebra. We solve questions from a MATH dataset (on Prealgebra, Algebra, Counting and Probability, Intermediate Algebra, Number Theory, and Precalculus), the latest benchmark of advanced mathematics problems designed to assess mathematical reasoning. We randomly sample questions and generate solutions with multiple modalities, including numbers, equations, and plots. The latest GPT-3 language model pre-trained on text automatically solves only 18.8% of these university questions using zero-shot learning and 30.8% using few-shot learning and the most recent chain of thought prompting. In contrast, program synthesis with few-shot learning using Codex fine-tuned on code generates programs that automatically solve 81% of these questions. Our approach improves the previous state-of-the-art automatic solution accuracy on the benchmark topics from 8.8% to 81.1%. We perform a survey to evaluate the quality and difficulty of generated questions. This work is the first to automatically solve university-level mathematics course questions at a human level and the first work to explain and generate university-level mathematics course questions at scale, a milestone for higher education.