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

fYear

1993

fDate

15-17 Dec 1993

Firstpage

300

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 1993., Proceedings of the 32nd IEEE Conference on

Conference_Location

San Antonio, TX

Print_ISBN

0-7803-1298-8

Type

conf

DOI

10.1109/CDC.1993.325142

Filename

325142