Speaker |
Dr. Alessandro Abate, TU Delft |
Title | Stochastic Hybrid Systems – Formal Analysis and Computable Verification |
When | 22.02.2010, 14:00 |
Where | Seminarraum Informatik 11 |
Abstract | Though the lens of the notion of ‘reachability’, this talk looks at topics in analysis and optimal control synthesis for stochastic hybrid systems, a class of probabilistic models with heterogeneous dynamics. A approach to these topics, based on known concepts drawn from the formal verification literature, is proposed, and a few early results and directions are discussed. |
Slides | download |
Event calendar
- Subscribe to the ics feed.
Upcoming Events
- No Events