Computational methods
for Hybrid System Analysis
and Control
Professor
Claire Tomlin
Department of
Aeronatutics, Astronautics
and Electrical Engineering
Abstract:
In this talk, methods that we have designed to
analyze, verify, and control hybrid systems will be presented. Emphasis will be placed on the
algorithms and software that we are developing for efficient application of
these methods. These algorithms are based on approximation techniques for
optimization of hybrid systems.
The methods will be presented in the context of two large-scale hybrid
systems: air traffic system
analysis and control (with NASA Ames and the Oakland Air Route Traffic Control
Center), and the 'reverse engineering' of biological cell networks (with the
Stanford Medical School).
This
is joint work with Keith Amonlirdviman, Ronojoy Ghosh, Ian Mitchell, Alexandre
Bayen, and Rodney Teo.
3:30 Ð 4:30 p.m.