|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Sound and Automated Synthesis of Digital Controllers for Continuous Plants
If you have a question about this talk, please contact Matthew Danish.
Modern control is implemented with digital microcontrollers, embedded within a dynamical plant that represents physical components. I present a new algorithm based on counter-example guided inductive synthesis that automates the design of digital controllers that are correct by construction. The synthesis result is sound with respect to the complete range of approximations, including time discretization, quantization effects, and finite-precision arithmetic and its rounding errors. The new algorithm is implemented in a toolbox and tested.
This talk is part of the Testing & Verification For Computational Science series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsBeyond Academics 80000 Hours Cambridge Isaac Newton Institute Seminar Series
Other talksA random walk around soluble group theory Change In China's Banking Sector as an Evolution of Institutions Stimulant treatment and the developing brain in ADHD Gas resources of the Upper Bowland Shale Indian democracy in the 70th year of independence: understanding the 2017 Uttar Pradesh elections. A round-table discussion Imaging and stimulating adaptive brain plasticity