BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Computable analysis and control synthesis of complex dynamical sys
 tems via formal verification - Alessandro Abate\, University of Oxford
DTSTART:20160211T140000Z
DTEND:20160211T150000Z
UID:TALK63211@talks.cam.ac.uk
CONTACT:Tim Hughes
DESCRIPTION:This talk looks at the development of abstraction techniques b
 ased on quantitative approximations\, in order to formally verify complex 
 systems and to provide computable approaches for the correct-by-design syn
 thesis of control architectures. The approach employs techniques and conce
 pts from the formal verification area\, such as that of (approximate proba
 bilistic) bisimulation\, over models and problems from the field of system
 s and control. While emphasising the generality of the approach over a div
 erse set of model classes\, this talk zooms in on stochastic hybrid system
 s\, which are probabilistic models with heterogeneous dynamics (continuous
 /discrete\, i.e. hybrid\, as well as nonlinear). A case study in energy ne
 tworks\, dealing with the problem of demand response\, is employed to clar
 ify concepts and techniques. Theory is complemented by algorithms\, all pa
 ckaged in software tools  (called FAUST^2 for stochastic models) that are 
 freely available to users.
LOCATION:Cambridge University Engineering Department\, LR5
END:VEVENT
END:VCALENDAR