DocumentCode
337061
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
Volume
2
fYear
1998
fDate
16-18 Dec 1998
Firstpage
1617
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 1998. Proceedings of the 37th IEEE Conference on
Conference_Location
Tampa, FL
ISSN
0191-2216
Print_ISBN
0-7803-4394-8
Type
conf
DOI
10.1109/CDC.1998.758524
Filename
758524
Link To Document