EECS291E Hybrid Systems, Spring 2000

 

Below follows a subset of the lectures given in EECS291E Hybrid Systems at UC Berkeley in Spring 2000. For more information, please contact me. For information about the current course at UC Berkeley, please see EE291E: Hybrid Systems, Spring 2002.

 

Lecture Notes

• Lecture 1: Introduction---motivating examples and outline
• Lecture 2: Hybrid automata---models and executions
• Lecture 3: Well-posedness---non-determinism, blocking and Zeno
• Lecture 4: Composition of hybrid automata---inputs and outputs
• Lecture 5: Stability---Lyapunov methods
• Lecture 6: Stability---LaSalle’s theorem, Lyapunov’s indirect method
• Lecture 7: Computer simulation---Modelica and Dymola
• Lecture 8: Computer simulation---numerical solvers, event detection
• Lecture 9: Control design---computational Lyapunov methods, stabilization through switching
• Lecture 10: Control design----variable structure systems, Filippov solutions
• Lecture 21: Optimal control---continuous systems revisited, dynamic programming, game theory
• Lecture 22: Optimal hybrid control---linear programming approach

Last modified: February 13, 2002

Karl Henrik Johansson