|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 listsCRASSH Humanitas Lectures The Cavendish Laboratory 1932-1953, Decline and Regeneration Type the title of a new list here
Other talksThe Swedish model for CVD prevention: Public Health cultivation combined with individual health dialogues in Primary Care Design and use of chemical tools to modulate gene expression in cancer cells based on the targeting of DNA methyltransferase How to Get the Most Out of Modern Peer Review Exploring the Universe with Gravitational Waves: LIGO and Beyond Sperm Donation and Motherhood: British and French perspectives The Ageing Cell Conference 2017