Logical Analysis of Hybrid Systems

Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Hybrid systems analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals.