Principles for Modeling, Verification, and Simulation of Hybrid Dynamics Systems

Hybrid systems combine piecewise continuous behavior with discrete transitions. Hybrid dynamic systems extend this behavior with the notion of time to model the behavior of dynamic physical systems. Physical systems obey the principles of conservation of energy and continuity of power, and combine phenomena that occur at different time scales (i.e., fast and slow). At any specified level of interest, continuous system behavior can be abstracted, so that behavior appears to have discontinuous changes that intersperse modes of continuous behavior. Mode changes occur when system variables cross threshold values, and state events or external control events occur