Organizers: Alessandro Abate (Stanford University), John Lygeros (ETH Zurich), and Shankar Sastry (UC Berkeley)

For questions or informations on the workshop material for this past event, please contact Alessandro Abate at


Event Schedule
 

Time	Presenter	Event/Title
8:30-9:00	Alessandro Abate	Welcome Remarks and Introduction to the Workshop
9:00-10:30		Theoretical Foundations and Studies
9:00-9:45	Manuela Bujorianu	Stochastic Hybrid Systems models: An Overview
9:45-10:30	Henk Blom	Rare-event Probability Estimation with Applications to Air Traffic Control
10:30-11:00		Coffee Break
11:00-12:30		Applications of SHS
11:00-11:45	John Lygeros	Stochastic Hybrid Models in Systems Biology
11:45-12:30	Joao Hespanha	Stochastic Hybrid Systems in Networked Control Systems and Biology
12:30-2:00		Lunch Break
2:00-3:30		Connections with Automatic Verification and Probabilistic Testing
2:00-2:45	Joost-Pieter Katoen	Probabilistic Model Checking: Achievements and Challenges
2:45-3:30	Agung Julius	Approximate Bisimulation for SHS Abstraction and Trajectory-Based Analysis
3:30-4:00		Coffee Break
4:00-5:30		Probabilistic Reachability and Safety
4:00-4:45	Alessandro Abate	Probabilistic Reachability of discrete-time, controlled SHS: Theory and Computations
4:45-5:30	Jianghai Hu	Probabilistic Reachability of SHS in continuous time, with Applications in Air Traffic Control

Support for the Event

• This initiative is in part supported by CHESS, the "Center for Hybrid and Embedded Software and Systems," at the Department of Electrical Engineering and Computer Sciences, University of California, Berkeley.

Questions, comments?