Recent advances in discrete analysis and control of hybrid systems

A standard approach to the formal analysis of hybrid systems (that is, systems with both continuous and discrete state variables) is to first construct purely discrete-state models, usually by building transition systems based on finite partitions of the continuous state space. Analysis and synthesis techniques for discrete-state systems are then applied to the discrete model to verify properties of the hybrid system and to synthesize supervisory controllers. This brief paper reviews the theory for discrete analysis of hybrid systems.