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 条
  • [1] Reduction of the supervisory control problem for Petri nets
    Stremersch, G
    Boel, RK
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2000, 45 (12) : 2358 - 2363
  • [2] BLOCKING AND CONTROLLABILITY OF PETRI NETS IN SUPERVISORY CONTROL
    GIUA, A
    DICESARE, F
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1994, 39 (04) : 818 - 823
  • [3] Supervisory control of railway networks with Petri nets
    Giua, A
    Seatzu, C
    PROCEEDINGS OF THE 40TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 2001, : 5004 - 5009
  • [4] Decentralized supervisory control of Petri nets with monitor places
    Basile, Francesco
    Giua, Alessandro
    Seatzu, Carla
    ETFA 2005: 10th IEEE International Conference on Emerging Technologies and Factory Automation, Vol 1, Pts 1 and 2, Proceedings, 2005, : 269 - 272
  • [5] Supervisory Control of Petri Nets in the Presence of Replacement Attacks
    You, Dan
    Wang, Shouguang
    Zhou, Mengchu
    Seatzu, Carla
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2022, 67 (03) : 1466 - 1473
  • [6] On the Notion of Uncontrollable Marking in Supervisory Control of Petri Nets
    Lacerda, Bruno
    Lima, Pedro U.
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (11) : 3069 - 3074
  • [7] Decentralized supervisory control of Petri Nets with monitor places
    Basile, Francesco
    Giua, Alessandro
    Seatzu, Carla
    2007 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, VOLS 1-3, 2007, : 364 - 370
  • [8] Adaptive supervisory control for a class of Petri nets with bimodal
    Abubakar, Umar Suleiman
    Liu, Gaiyun
    Barkaoui, Kamel
    Li, Zhiwu
    INFORMATION SCIENCES, 2023, 650
  • [9] Supervisory control of Petri Nets with decentralized monitor places
    Basile, Francesco
    Giua, Alessandro
    Seatzu, Carla
    2007 AMERICAN CONTROL CONFERENCE, VOLS 1-13, 2007, : 2838 - +
  • [10] Supervisory control of Petri nets with uncontrollable/unobservable transitions
    Moody, JO
    Antsaklis, PJ
    PROCEEDINGS OF THE 35TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1996, : 4433 - 4438
12345