BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Verified Probabilistic Reachability in Parametric Hybrid Systems: 
 Theory and Tool Implementation - Dr Paolo Zuliani - School of Computing\, 
 Newcastle University
DTSTART:20190220T161500Z
DTEND:20190220T170000Z
UID:TALK119590@talks.cam.ac.uk
CONTACT:jo de bono
DESCRIPTION:Parametric Hybrid Systems (PHS) model systems whose behaviour 
 is mixed continuous/discrete and can depend on parameters which can be sto
 chastic (i.e.\, random) or nondeterministic (no distribution is known). Su
 ch models are useful for describing\, e.g.\, cyber-physical systems and bi
 ological systems.\nIn this talk\, we present our recent work on bounded pr
 obabilistic reachability for PHS. Specifically\, we aim at computing the p
 robability that the system reaches a given region of its state space in a 
 given number of discrete steps and finite time. We present an algorithm th
 at is guaranteed to compute an arbitrarily precise approximation of the pr
 obability for a reasonably large class of PHS (so-called robust systems). 
 The algorithm has been implemented in the ProbReach tool\, which is availa
 ble at https://github.com/dreal/probreach. As an application example we de
 scribe the synthesis of safe PID (Proportional Integral Derivative) contro
 llers for the artificial pancreas.\n
LOCATION:Lecture Theatre 2\, Computer Laboratory
END:VEVENT
END:VCALENDAR