Neural network transition enabling function Petri Net to supervisory control

被引:0
|
作者
Barroso, GC [1 ]
de Alexandria, AR [1 ]
机构
[1] Univ Fed Ceara, Dept Fis, Fortaleza, Ceara, Brazil
关键词
supervisory control; Petri Net; discrete event system; neural network;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper presents Petri Net (PN) models conceived to be employed with the Supervisory Control Theory (SCT). The SCT deals with the supervisory synthesis problem. In this paper, the supervisor synthesis is obtained by processing both the system and specification models through two algorithms, MRTA and ACGS respectively. These algorithms make possible to obtain the supervisor of a discrete event system (DES), modeled by a Petri Net with Neural Network Transition Enabling Function (PNTEF), based on a given specification. A supervisor of a manufacturing cell example is presented. Copyright (C) 1998 IFAC.
引用
收藏
页码:109 / 113
页数:5
相关论文
共 50 条
  • [21] New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs
    Chen, YuFeng
    Li, Zhiwu
    Barkaoui, Kamel
    Uzam, Murat
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2014, 44 (10): : 1384 - 1400
  • [22] Fault diagnosis of power system using Neural Petri Net and fuzzy Neural Petri Net
    Binh, P. T. T.
    Tuyen, N. D.
    2006 IEEE POWER INDIA CONFERENCE, VOLS 1 AND 2, 2006, : 176 - +
  • [23] Optimal Supervisory Control for Flexible Manufacturing Systems Model With Petri Nets: A Place-Transition Control
    Bashir, Muhammad
    Zhou, Jian
    Muhammad, Bashir Bala
    IEEE ACCESS, 2021, 9 : 58566 - 58578
  • [24] Reduction of the supervisory control problem for Petri nets
    Stremersch, G
    Boel, RK
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2000, 45 (12) : 2358 - 2363
  • [25] OpenNF: Enabling Innovation in Network Function Control
    Gember-Jacobson, Aaron
    Viswanathan, Raajay
    Prakash, Chaithan
    Grandl, Robert
    Khalid, Junaid
    Das, Sourav
    Akella, Aditya
    ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, 2014, 44 (04) : 163 - 174
  • [26] OpenNF: Enabling Innovation in Network Function Control
    Gember-Jacobson, Aaron
    Viswanathan, Raajay
    Prakash, Chaithan
    Grandl, Robert
    Khalid, Junaid
    Das, Sourav
    Akella, Aditya
    SIGCOMM'14: PROCEEDINGS OF THE 2014 ACM CONFERENCE ON SPECIAL INTEREST GROUP ON DATA COMMUNICATION, 2014, : 163 - 174
  • [27] BLOCKING AND CONTROLLABILITY OF PETRI NETS IN SUPERVISORY CONTROL
    GIUA, A
    DICESARE, F
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1994, 39 (04) : 818 - 823
  • [28] 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
  • [29] Petri Net Model Based on Neural Network for Deadlock Control and Fault Detection and Treatment in Automated Manufacturing Systems
    Kaid, Husam
    Al-Ahmari, Abdulrahman
    Nasr, Emad Abouel
    Al-Shayea, Adel
    Kamrani, Ali K.
    Noman, Mohammed A.
    Mahmoud, Haitham A.
    IEEE ACCESS, 2020, 8 : 103219 - 103235
  • [30] Application for Petri Net Supervisory Control and Automatic Ladder Code Translation for the RSLogicx500 (TM)
    Alberto Gaviria-Lopez, Carlos
    David Buchely-Moreno, Cristhian
    Ruiz-Coque, Fausto
    UIS INGENIERIAS, 2015, 14 (02): : 47 - 55