Hybrid Systems: Specification, Verification and Control

Instructor: Necmiye Ozay

Schedule: MW, 3:30pm-5:00pm, COOL 1940.

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 that can guarantee the satisfaction of certain safety and performance specifications for such systems.

A tentative syllabus for the course can be found here.