SC42075 Modeling and control of hybrid systems

Recent technological innovations have caused a considerable interest in the study of dynamical processes of a mixed continuous and discrete nature. Such processes are called hybrid systems and are characterized by the interaction of time-continuous models (governed by differential or difference equations) on the one hand, and logic rules and discrete-event systems (described by, e.g., automata, finite state machines, etc.) on the other. A hybrid system also arises in practice when continuous physical processes are controlled via embedded software that intrinsically has a finite number of states only (e.g., on/off control). Recent interest in hybrid systems is stimulated by developments in nonlinear control theory, intelligent control, adaptive control, and computer science.

The purpose of the course is to introduce a variety of hybrid systems modeling, analysis and control techniques.

• General introduction, examples of hybrid systems and motivation
• Modeling frameworks (automata, hybrid automata, piecewise-affine systems, complementarity systems, mixed logic dynamical systems, Petri nets)
• Properties and analysis of hybrid systems (well-posedness, Zeno behavior, stability, liveness, safety, ...)
• Control of hybrid systems (switching controllers, model predictive control)
• Verification and tools 

Teachers

Last modified: 2023-11-03