EE 291e

Hybrid Systems : Computation and Control 

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

http://robotics.eecs.berkeley.edu/~sastry/ee291e/HSCC05.htm

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
©Springer-Verlag 2002, may not be further reproduced without their permission, published in Vol. 2289 of the LNCS series.