EE291: Hybrid Systems: Computation and Control


Disclaimer: This page may be outdated. It is preserved here for informational purposes.

Professor Shankar Sastry will be teaching this class this semester. here is the website of the class.


Special lecture on reachability analysis using Hamilton-Jacobi equation

Tuesday, April 12th, 2005: slides of the lecture

Thursday, April 14th, 2005: slides of the lecture


The lectures are based on the following articles

Computing Reachable sets for continuous dynamic games using level set methods
Ian Mitchell, Alexandre Bayen and Claire Tomlin
Accepted for publication in the  IEEE Transcations on Automatic Control, 2004

Guaranteed overapproximations of unsafe sets for continuous and hybrid systems: solving the Hamilton-Jacobi equation using viability techniques
Alexandre Bayen, Eva Cruck and Claire Tomlin


Alexandre M. Bayen

Department of Civil & Environmental Engineering
Department of Electrical Engineering and Computer Sciences
University of California, Berkeley