CDL - Reachability and Learning for Hybrid Systems

CISE Distinguished Lecture Series - Claire Tomlin - June 3 - 2:30pm

June 3, 2015 2:30 PM  to 
June 3, 2015 3:30 PM
NSF Room 1235

Claire J. Tomlin
Charles A. Desoer Chair in the College of Engineering
Professor, Electrical Engineering and Computer Sciences
 
 
Abstract
Hybrid systems are a modeling tool allowing for the composition of continuous and discrete state dynamics.   They can be represented as continuous systems with modes of operation modeled by discrete dynamics, with the two kinds of dynamics influencing each other.  Hybrid systems have been essential in modeling a variety of important problems, such as aircraft flight management, air and ground transportation systems, robotic vehicles and human-automation systems.  These systems use discrete logic in control because discrete abstractions make it easier to manage complexity and discrete representations more naturally accommodate linguistic and qualitative information in controller design.
A great deal of research in recent years has focused on the synthesis of controllers for hybrid systems. For safety specifications on the hybrid system, namely to design a controller that steers the system away from unsafe states, we will present a synthesis and computational technique based on optimal control and game theory.  In the first part of the talk, we will review these methods and their application to collision avoidance and avionics design in air traffic management systems, and networks of manned and unmanned aerial vehicles.  It is frequently of interest to synthesize controllers with more detailed performance specifications on the closed loop trajectories.  For such requirements, we will present a toolbox of methods combining reachability with data-driven techniques inspired by machine learning, to enable performance improvement while maintaining safety. We will illustrate these “safe learning” methods on a quadrotor UAV experimental platform which we have at Berkeley.
 

Biography
Claire Tomlin is a Professor of Electrical Engineering and Computer Sciences at Berkeley, where she holds the Charles A. Desoer Chair in Engineering. She held the positions of Assistant, Associate, and Full Professor at Stanford from 1998-2007, and in 2005 joined Berkeley. She has been an Affiliate at LBL in the Life Sciences Division since January 2012. Claire is an IEEE Fellow, and she received the Erlander Professorship of the Swedish Research Council in 2010, a MacArthur Fellowship in 2006, the Eckman Award of the American Automatic Control Council in 2003, the MIT TR100 award in 2003, and the NSF Career award in 1999. She works in hybrid systems and control, with applications to biology, robotics, and air traffic systems.

To Join the Webinar:

Please register at: 

https://nsf.webex.com/nsf/j.php?RGID=r8e681d910095bc7cccca340dfd8f1c87 

by 11:59pm EST on Tuesday, June 2, 2015.

After your registration is accepted, you will receive an email with a URL to join the meeting. Please be sure to join a few minutes before the start of the webinar. This system does not establish a voice connection on your computer; instead, your acceptance message will have a toll-free phone number that you will be prompted to call after joining. Please note that this registration is a manual process; therefore, do not expect an immediate acceptance. In the event the number of requests exceeds the capacity, some requests may have to be denied.


 

This event is part of Webinars/Webcasts.

Meeting Type
Webcast

Contacts
Cynthia A. Jackson, (703) 292-5375, email: cjackson@nsf.gov

NSF Related Organizations
Directorate for Computer and Information Science and Engineering