Timed Petri nets in hybrid systems: Stability and supervisory control

被引：21
|
作者：
Koutsoukos, XD [1 ]
He, KX [1 ]
Lemmon, MD [1 ]
Antsaklis, PJ [1 ]
机构：
[1] Univ Notre Dame, Dept Elect Engn, Notre Dame, IN 46556 USA
来源：
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS | 1998年 / 8卷 / 02期
关键词：
hybrid systems; switched systems; timed Petri nets; stability; supervisory control;
D O I：
10.1023/A:1008293802713
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in dealing with concurrency and complexity issues. A brief overview of existing results on hybrid systems that are based on Petri nets is first presented. A class of rimed Petri nets named programmable timed Petri nets (PTPN) is then used to model hybrid systems. Using the PTPN, the stability and supervisory control of hybrid systems are addressed and efficient algorithms are introduced. In particular, we present sufficient conditions for the uniform ultimate boundness of hybrid systems composed of multiple linear time invariant plants which are switched between using a logical rule described by a Petri net. This paper also examines the 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.
引用
收藏
页码：137 / 173
页数：37
相关论文
共 50 条
  • [1] Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control
    Xenofon D. Koutsoukos
    Kevin X. He
    Michael D. Lemmon
    Panos J. Antsaklis
    [J]. Discrete Event Dynamic Systems, 1998, 8 : 137 - 173
  • [2] Supervisory Control of Manufacturing Systems Modeled by Timed Petri Nets
    Iftar, Altug
    [J]. IFAC PAPERSONLINE, 2016, 49 (31): : 120 - 124
  • [3] Hybrid control systems using timed Petri nets: supervisory control design based on invariant properties
    Koutsoukos, XD
    Antsaklis, PJ
    [J]. HYBRID SYSTEMS V, 1999, 1567 : 142 - 162
  • [4] A max-plus algebraic model for hybrid timed Petri nets and supervisory control
    Wang, Xiaodong
    Dai, Huaping
    Sun, Youxian
    [J]. DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES A-MATHEMATICAL ANALYSIS, 2006, 13 : 785 - 790
  • [5] Programmable timed Petri nets in the analysis and design of hybrid control systems
    Koutsoukos, XSD
    Antsaklis, PJ
    He, KXY
    Lemmon, MD
    [J]. PROCEEDINGS OF THE 37TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1998, : 1617 - 1622
  • [6] Programmable timed Petri nets in the analysis and design of hybrid control systems
    Koutsoukos, X.D.
    Antsaklis, P.J.
    He, K.X.
    Lemmon, M.D.
    [J]. Proceedings of the IEEE Conference on Decision and Control, 1998, 2 : 1617 - 1622
  • [7] 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 - +
  • [8] Supervisory Control of Discrete-event Systems Modeled by Timed-arc Petri Nets
    Aybar, Aydin
    Iftar, Altug
    [J]. 2020 EUROPEAN CONTROL CONFERENCE (ECC 2020), 2020, : 656 - 661
  • [9] Robust Supervisory Control for Cyber-Physical Systems based on Discrete Timed Petri nets
    Hsieh, Fu-Shiung
    [J]. 2022 IEEE 12TH ANNUAL COMPUTING AND COMMUNICATION WORKSHOP AND CONFERENCE (CCWC), 2022, : 1 - 6
  • [10] State feedback control of timed hybrid Petri nets
    Tanaka, A
    Ushio, T
    Kodama, S
    [J]. ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 2004, 87 (01): : 83 - 89
12345