Automatic Control - Mathematics Joint Colloquium

On Wednesday 5 May 2010, Prof. Claire Tomlin, UC Berkeley, will give a talk in Visionen at 13.15-14.15.

Title: Verification and Control of Hybrid Systems using Reachability Analysis

Abstract: This talk will present reachability analysis as a tool for model checking and controller synthesis for hybrid systems. We will consider the problem of guaranteeing reachability to a given desired subset of the state space. We allow for nonlinear dynamics in each discrete mode, and possibly non-convex state constraints. We make use of techniques from hybrid system verification to compute reachable sets, under bounded model disturbances that vary continuously. We also consider the effects of sampling and quantization. The resulting control policy is an explicit feedback law involving both a selection of continuous inputs and discrete switching commands at each time instant, based upon measurement of system state. We discuss real time implementations of this, and present several examples from multiple UAV control.

A short presentation of Claire Tomlin

Claire Tomlin is Professor of Electrical Engineering and Computer Sciences at
UC Berkeley and Professor of Aeronautics and Astronautics at Stanford University.
She is Erlander Professor 2009 and cooperates with researchers at KTH, where
she spends a part of this year. Professor Tomlin obtained her MSc at Imperial College
(London) in 1993 and her PhD at UC Berkeley 1998. She does research among
other areas in hybrid control systems, unmanned aerial vehicle and modelling of
biological cell networks.