Modeling and analysis of hybrid systems: examples

A hybrid system model that allows for the representation of systems that contain a mixture of continuous time variables and discrete events that can occur asynchronously is introduced. Several notions of reachability and stabilizability are defined in terms of local controllers for the discrete-event systems (DES) and continuous-time systems and in terms of a general hybrid system controller. The methodology for modeling several process control problems and a robotic system is shown, and various notions of reachability and stabilizability of these systems are highlighted. One example shows the possibility of using a combined DES and continuous time system controller (a hybrid controller) in a coordinated effort to control a hybrid system