Presented by: 
Maryam Kamgarpour, ETH Zurich
Tue 6 May, 11:00 am - 12:00 pm
67 - 442

Stochastic hybrid systems are a powerful modeling framework that have been used in air traffic management, power grid and communication networks. They capture uncertainty affecting a system and can account for discrete and continuous state or input interactions. This talk focuses on a framework for analyzing reachability and safety problems for stochastic hybrid systems. I will derive an algorithm for synthesizing a controller that maximizes the probability that the state trajectory remains inside a safe set or reaches a desired target set. This algorithm is used to address aircraft trajectory planning in the presence of stochastic wind and hazardous weather. I will further discuss the application of the framework to address integration of renewable energy into power grid.

Return to SMOR seminar homepage