Tuesday, February 27, 2018 - 3:00pm to 4:00pm
Event Calendar Category
LIDS Seminar Series
University of California, Berkeley
Building and Room Number
A great deal of research in recent years has focused on robot learning. In many applications, guarantees that specifications are satisfied throughout the learning process are paramount. For the safety specification, we present a controller synthesis technique based on the computation of reachable sets using optimal control. We show recent results in system decomposition to speed up this computation, and how offline computation may be used in online applications. We then present a method combining reachability with machine learning, which uses approximate knowledge of the dynamics to provide a least-restrictive, safety-preserving control law which intervenes only when the computed safety guarantees require it, or when confidence in the computed guarantee decays in light of new observations. We will illustrate these methods on a quadrotor UAV experimental platform which we have at Berkeley.
Claire Tomlin is the Charles A. Desoer Professor of Engineering in EECS at Berkeley. She was an Assistant, Associate, and Full Professor in Aeronautics and Astronautics at Stanford from 1998 to 2007, and in 2005 joined Berkeley. Claire works in the area of control theory and hybrid systems, with applications to air traffic management, UAV systems, energy, robotics, and systems biology. She is a MacArthur Foundation Fellow (2006), an IEEE Fellow (2010), and in 2017 was awarded the IEEE Transportation Technologies Award.