EECS 563: Hybrid Systems: Specification, Verification and Control

Coverage
Hybrid systems, dynamical systems where continuous dynamics and discrete events interact, are ubiquitous and can be found in many different contexts. Examples are as diverse as manufacturing processes, biological systems, energy systems, medical devices, robotics systems, automobiles and aircrafts. Advances in computing and communication technologies have enabled engineering such systems with a high degree of complexity. Most of these systems are safety-critical, hence their correctness must be verified before they can be deployed.

This course will provide a working knowledge of several analysis and design techniques to guarantee safety, reliability and performance of such systems.