Program solution of supervisory control based on Petri nets

被引：0
|
作者：
Flochová, J [1 ]
Hrúz, B [1 ]
Jirsák, P [1 ]
机构：
[1] Slovak Univ Technol Bratislava, Fac Elect Engn & Informat Technol, Automat Control Syst Dept, Bratislava 81219, Slovakia
来源：
NEW TRENDS IN DESIGN OF CONTROL SYSTEMS 1997 | 1998年
关键词：
discrete event dynamic systems; supervisory control; Petri-nets; reachability; reachable states; computer control system design; computer testing; programs; program controllers;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper describes methods based on Petri nets analysis techniques for constructing a supervisory controller of discrete event dynamic systems. Two methods (method based on reachability tree analysis and on-line method based on matrix equations) have been designed. Programs in C++ have been written to solve supervisory control problem and real time control of a discrete event dynamic system.
引用
收藏
页码：323 / 327
页数：5
相关论文
共 50 条
  • [31] On supervisory control of a class of discrete event systems modelled by Petri nets
    Zhao, Mi
    Li, Zhiwu
    Zhou, MengChu
    2007 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, VOLS 1-3, 2007, : 810 - 815
  • [32] Detection of Actuator Enablement Attacks by Petri Nets in Supervisory Control Systems
    Yu, Zhenhua
    Duan, Xudong
    Cong, Xuya
    Li, Xiangning
    Zheng, Li
    MATHEMATICS, 2023, 11 (04)
  • [33] Distributed implementations of Ramadge-Wonham supervisory control with Petri nets
    Darondeau, Philippe
    2005 44th IEEE Conference on Decision and Control & European Control Conference, Vols 1-8, 2005, : 2107 - 2112
  • [34] Supervisory control of a modular class of discrete event systems based on elementary siphons of Petri nets
    Li, ZW
    Zhao, M
    Zhu, RM
    2005 INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA), VOLS 1 AND 2, 2005, : 1181 - 1186
  • [35] Robust Supervisory Control for Cyber-Physical Systems based on Discrete Timed Petri nets
    Hsieh, Fu-Shiung
    2022 IEEE 12TH ANNUAL COMPUTING AND COMMUNICATION WORKSHOP AND CONFERENCE (CCWC), 2022, : 1 - 6
  • [36] Automatic Supervisory Control for the Self-Healing of Smart Grids Based on Colored Petri Nets
    Jiang, Zhongyuan
    Khalgui, Mohamed
    Al-Ahmari, Abdulrahman
    Li, Zhiwu
    Wu, Naiqi
    Zhou, Mengchu
    IEEJ TRANSACTIONS ON ELECTRICAL AND ELECTRONIC ENGINEERING, 2018, 13 (11) : 1612 - 1623
  • [37] Petri nets based proofs of Ada 95 solution for preference control
    Barkaoui, K
    Kaiser, C
    Pradat-Peyre, JF
    ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 238 - 248
  • [38] Supervisory controller design for timed Petri Nets
    Aybar, Aydin
    Iftar, Altug
    PROCEEDINGS OF THE 2006 IEEE/SMC INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING, 2006, : 59 - +
  • [39] Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems
    HongYe SU WeiMin WU Jian CHU National Laboratory of Industrial Control Technology Institute of Advanced Process Control Zhejiang University Hangzhou PRChina
    自动化学报, 2005, (01) : 143 - 150
  • [40] Maximum fault-free enforcement in Petri nets using supervisory control
    Zheng, Juhong
    Zhang, Lei
    Zhang, Jingbo
    Lv, Meibo
    COMPUTER JOURNAL, 2024, 68 (01): : 74 - 83
12345