Title :
An example of switched system analysis via symbolic dynamics and Petri nets
Author :
Peleties, Philippos ; DeCarlo, Raymond
Author_Institution :
Sch. of Electr. Eng., Purdue Univ., West Lafayette, IN, USA
Abstract :
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
Keywords :
Petri nets; discrete time systems; dynamics; topology; 3-switched system; Petri nets; continuous/discrete system dynamics; hybrid systems; interacting decision makers/supervisors; macroscopic behavior; reachability analysis; supervisory control; switched system; symbolic dynamics; topologically conjugate set; Aggregates; Automata; Chaos; Discrete time systems; Mathematical model; Nonlinear dynamical systems; Petri nets; State-space methods; Switched systems; Tires;
Conference_Titel :
Decision and Control, 1993., Proceedings of the 32nd IEEE Conference on
Conference_Location :
San Antonio, TX
Print_ISBN :
0-7803-1298-8
DOI :
10.1109/CDC.1993.325142
