COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
University of Cambridge > Talks.cam > Wednesday Seminars - Department of Computer Science and Technology > Verified Probabilistic Reachability in Parametric Hybrid Systems: Theory and Tool Implementation
Verified Probabilistic Reachability in Parametric Hybrid Systems: Theory and Tool ImplementationAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact jo de bono. Parametric Hybrid Systems (PHS) model systems whose behaviour is mixed continuous/discrete and can depend 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. In this talk, we present our recent work on bounded probabilistic reachability for PHS . Specifically, we aim at computing the probability 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 that is guaranteed to compute an arbitrarily precise approximation of the probability for a reasonably large class of PHS (so-called robust systems). The algorithm has been implemented in the ProbReach tool, which is available at https://github.com/dreal/probreach. As an application example we describe the synthesis of safe PID (Proportional Integral Derivative) controllers for the artificial pancreas. This talk is part of the Wednesday Seminars - Department of Computer Science and Technology series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsComputational and Biological Learning Seminar Series Type the title of a new list here Rethinking LifeOther talksUnderstanding vulnerability and related outcomes in autism using genetics Anatomy museum on the move Developmental origins of heart size and shape differences in Astyanax mexicanus populations Maximising urban freight: Does size matter? Sir Richard Stone Annual Lecture 2019: Firms and Growth Game Theory and Anti-Microbial Resistance – Examining the Global Response to AMR |