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 条
  • [21] Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
    You, Dan
    Wang, ShouGuang
    Seatzu, Carla
    INFORMATION SCIENCES, 2019, 501 : 635 - 654
  • [22] Supervisory Control in Partially Observable Petri Nets with Sensor Reduction
    Ma, Ziyue
    He, Zhou
    Li, Zhiwu
    2019 IEEE 15TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2019, : 189 - 194
  • [23] Marking Observer in Labeled Petri Nets With Application to Supervisory Control
    Cabasino, Maria Paola
    Hadjicostis, Christoforos N.
    Seatzu, Carla
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (04) : 1813 - 1824
  • [24] Modeling and supervisory control of railway networks using Petri nets
    Giua, Alessandro
    Seatzu, Carla
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2008, 5 (03) : 431 - 445
  • [25] Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control
    Xenofon D. Koutsoukos
    Kevin X. He
    Michael D. Lemmon
    Panos J. Antsaklis
    Discrete Event Dynamic Systems, 1998, 8 : 137 - 173
  • [26] Polynomial-complexity supervisory control for flexible assembly systems based on Petri nets
    Yue, Hao
    Hu, Hesuan
    Wu, Weimin
    Su, Hongye
    Zhang, Jihui
    INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 2018, 31 (01) : 71 - 86
  • [27] Monitor-Based Supervisory Control of Labeled Petri Nets Under Sensor Attacks
    Zhang, Ziliang
    Liu, Gaiyun
    Lefebvre, Dimitri
    Li, Zhiwu
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2024,
  • [28] Supervisory Control of Discrete Event Systems With Dynamic Control Specifications by Petri Nets
    Li, Chengzong
    Chen, Yufeng
    Li, Zhiwu
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2024, 32 (02) : 518 - 533
  • [29] Hybrid control systems using timed Petri nets: supervisory control design based on invariant properties
    Koutsoukos, XD
    Antsaklis, PJ
    HYBRID SYSTEMS V, 1999, 1567 : 142 - 162
  • [30] Decentralized Supervisory Control of Generalized Mutual Exclusion Constraints in Petri Nets
    Hou, Junyao
    Hu, Hesuan
    Zhou, Yuan
    Liu, Yang
    2017 13TH IEEE CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2017, : 358 - 363
12345