Programmable timed Petri nets in the analysis and design of hybrid control systems

被引：0

作者：

Koutsoukos, XSD ^{[1
]}

Antsaklis, PJ ^{[1
]}

He, KXY ^{[1
]}

Lemmon, MD ^{[1
]}

机构：

[1] Univ Notre Dame, Dept Elect Engn, Notre Dame, IN 46556 USA

来源：

PROCEEDINGS OF THE 37TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4 | 1998年

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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 transfered 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.

引用

页码：1617 / 1622

页数：6

共 50 条

[21] Supervisory controller design for timed Petri Nets
Aybar, Aydin
Iftar, Altug
[J]. PROCEEDINGS OF THE 2006 IEEE/SMC INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING, 2006, : 59 - +
[22] Timed Petri nets and performance evaluation of systems
Zuberek, WM
[J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 278 - 283
[23] Timed Petri nets: Efficiency of asynchronous systems
Bihler, E
Vogler, W
[J]. FORMAL METHODS FOR THE DESIGN OF REAL-TIME SYSTEMS, 2004, 3185 : 25 - 58
[24] Model Predictive Control for Timed Petri Nets
Lefebvre, Dimitri
[J]. IFAC PAPERSONLINE, 2015, 48 (07): : 91 - 96
[25] A scheme for the simulation of networked agent systems modeled by timed hybrid Petri nets
Gudino-Mendoza, Berenice
Lopez-Mellado, Ernesto
Aguayo-Lara, Enrique
[J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2018, 94 (10): : 887 - 909
[26] Modeling and simulation of water distribution systems using timed hybrid Petri nets
Gudino-Mendoza, Berenice
Lopez-Mellado, Ernesto
Alla, Hassane
[J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2012, 88 (03): : 329 - 347
[27] Event-driven model predictive control of timed hybrid Petri nets
Julvez, J.
Di Cairano, S.
Bemporad, A.
Mahulea, C.
[J]. INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, 2014, 24 (12) : 1724 - 1742
[28] Modelling and analysis of air traffic control systems using hierarchical timed coloured Petri nets
Huang, Yi-Sheng
Chung, Ta-Hsiang
[J]. TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2011, 33 (01) : 30 - 49
[29] TIMED PETRI NETS
MARSAN, MA
[J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1985, 10 (05): : 312 - 313
[30] Timed petri nets
[J]. Advances in Automation and Robotics, 1990, 2

← 1 2 3 4 5 →