BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Sound and Automated Synthesis of Digital Controllers for Continuou
 s Plants - Alessandro Abate
DTSTART:20170321T153500Z
DTEND:20170321T160000Z
UID:TALK71544@talks.cam.ac.uk
CONTACT:Matthew Danish
DESCRIPTION:Modern control is implemented with digital microcontrollers\, 
 embedded within a dynamical plant that represents physical components. I p
 resent a new algorithm based on counter-example guided inductive synthesis
  that automates the design of digital controllers that are correct by cons
 truction. 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 algorit
 hm is implemented in a toolbox and tested.\n\n
LOCATION:FW26
END:VEVENT
END:VCALENDAR