University of Cambridge > Talks.cam > Testing & Verification For Computational Science > Sound and Automated Synthesis of Digital Controllers for Continuous Plants

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Sound and Automated Synthesis of Digital Controllers for Continuous Plants

Download to your calendar using vCal

  • UserAlessandro Abate
  • ClockTuesday 21 March 2017, 15:35-16:00
  • HouseFW26.

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 lists

St Catherine's College, Trumpinton Street, CB2 1RL Clare College (Latimer Room) CRASSH

Other talks

Title to be confirmed Topology of the Ritz energy landscape Title to be confirmed Title to be confirmed Title to be confirmed Afternoon Break
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity