An example of switched system analysis via symbolic dynamics and Petri nets
Philippos Peleties, Raymond A. DeCarlo · 2002
Hybrid systems consist of interacting decision makers/supervisors and continuous/discrete system dynamics. The decision-maker monitors the continuous/discrete-time system and supervises/controls its behavior. This paper illustrates the control and modeling of the macroscopic behavior of a 3-switched system (3 possible system structures) via the supervisory control of a symbolic dynamics representation of the underlying system. By partitioning the system state space into regions compatible with a topologically conjugate set of symbolic dynamics, a Petri net model is developed for reachability analysis of the system; finally a Petri net based supervisor is developed for moving the system from one region of the state space to another.>