Title :
Programmable timed Petri nets in the analysis and design of hybrid control systems
Author :
Koutsoukos, S.D. ; Antsaklis, P.J. ; He, K.X. ; Lemmon, M.D.
Author_Institution :
Dept. of Electr. Eng., Notre Dame Univ., IN, USA
Abstract :
In this paper, a class of timed Petri nets, named programmable timed Petri nets is used to model and study switched hybrid systems. Supervisory control of a hybrid system in which the continuous state is transferred to a region of the state space in a way that respects safety specifications on the plant´s discrete and continuous dynamics is examined. The approach is illustrated using a power system example
Keywords :
Lyapunov methods; Petri nets; continuous time systems; control system analysis; control system synthesis; discrete event systems; power system control; state-space methods; hybrid control systems; programmable timed Petri nets; supervisory control; switched hybrid systems; Control systems; Hybrid power systems; Nonlinear dynamical systems; Nonlinear equations; Petri nets; Power system dynamics; Power system modeling; Safety; State-space methods; Supervisory control;
Conference_Titel :
Decision and Control, 1998. Proceedings of the 37th IEEE Conference on
Conference_Location :
Tampa, FL
Print_ISBN :
0-7803-4394-8
DOI :
10.1109/CDC.1998.758524
