Reachability and Learning for Hybrid Systems
published: Aug. 23, 2017, recorded: February 2016, views: 1111
Report a problem or upload filesIf you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.
Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.
Hybrid systems allow for the composition of continuous and discrete state dynamics, and have been used in aircraft flight management, air and ground transportation systems, robotic vehicles and human-automation systems. These systems use discrete logic to manage complexity and more naturally accommodate linguistic and qualitative information. In this talk, we will present reachable set methods for controller design to satisfy safety specifications, and we will present a toolbox of methods combining reachability with machine learning techniques, to enable performance improvement while maintaining safety. We will illustrate these "safe learning" methods on UAV applications.
Link this pageWould you like to put a link to this lecture on your homepage?
Go ahead! Copy the HTML snippet !