Hybrid Systems, Analysis, and Control

3 credits · College of Engineering catalogue

Advisory Prerequisite: (ECE 562) or (ECE 560 and permission of instructor.) Enforced Prerequisite: None. (3 credits) Introduction to analysis and design of hybrid systems and hybrid control systems. Hybrid system modeling formalisms, specifications (automata theory, temporal logics), verification (barrier certificates, reachable sets, abstraction-based methods) and control synthesis. Stability of switched/hybrid systems. Applications of convex geometry and convex optimization in control. Model-predictive control of hybrid systems.