BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Computer Laboratory Wednesday Seminars
SUMMARY:Verified Probabilistic Reachability in Parametric
Hybrid Systems: Theory and Tool Implementation - D
r Paolo Zuliani - School of Computing\, Newcastle
University
DTSTART;TZID=Europe/London:20190220T161500
DTEND;TZID=Europe/London:20190220T170000
UID:TALK119590AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/119590
DESCRIPTION:Parametric Hybrid Systems (PHS) model systems whos
e behaviour is mixed continuous/discrete and can d
epend on parameters which can be stochastic (i.e.\
, random) or nondeterministic (no distribution is
known). Such models are useful for describing\, e.
g.\, cyber-physical systems and biological systems
.\nIn this talk\, we present our recent work on bo
unded probabilistic reachability for PHS. Specific
ally\, we aim at computing the probability that th
e system reaches a given region of its state space
in a given number of discrete steps and finite ti
me. We present an algorithm that is guaranteed to
compute an arbitrarily precise approximation of th
e probability for a reasonably large class of PHS
(so-called robust systems). The algorithm has been
implemented in the ProbReach tool\, which is avai
lable at https://github.com/dreal/probreach. As an
application example we describe the synthesis of
safe PID (Proportional Integral Derivative) contro
llers for the artificial pancreas.\n
LOCATION:Lecture Theatre 2\, Computer Laboratory
CONTACT:jo de bono
END:VEVENT
END:VCALENDAR