Supervisory Control in Partially Observable Petri Nets with Sensor Reduction

被引：0
作者：
Ma, Ziyue [1 ]
He, Zhou [2 ]
Li, Zhiwu [1 ,3 ]
机构：
[1] Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China
[2] Shaanxi Univ Sci & Technol, Coll Mech & Elect Engn, Xian, Peoples R China
[3] Macau Univ Sci & Technol, Inst Syst Engn, Taipa, Macau, Peoples R China
来源：
2019 IEEE 15TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE) | 2019年
基金：
中国国家自然科学基金;
关键词：
D O I：
10.1109/coase.2019.8843315
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper studies the supervisory control problem in Petri nets with unobservable transitions and uncontrol-lable transitions. Given a Petri net of such a type, a supervisor is designed based on the basis reachability graph in which the set of explicit transitions is a superset of the set of observable transitions. A sensor reduction method is proposed to find a minimal set of observable transitions without compromising the permissiveness. Removal of redundant observable transitions leads to a more compact control structure and a lower cost related to sensor deployment.
引用
收藏
页码：189 / 194
页数：6
相关论文
共 18 条
  • [1] Probabilistic Marking Estimation in Labeled Petri Nets
    Cabasino, Maria Paola
    Hadjicostis, Christoforos N.
    Seatzu, Carla
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (02) : 528 - 533
  • [2] Fault detection for discrete event systems using Petri nets with unobservable transitions
    Cabasino, Maria Paola
    Giua, Alessandro
    Seatzu, Carla
    [J]. AUTOMATICA, 2010, 46 (09) : 1531 - 1539
  • [3] Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems
    Chen, YuFeng
    Li, Zhiwu
    Khalgui, Mohamed
    Mosbahi, Olfa
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2011, 8 (02) : 374 - 393
  • [4] Feedback control logic for forbidden-state problems of marked graphs: Application to a real manufacturing system
    Ghaffari, A
    Rezg, N
    Xie, XL
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2003, 48 (01) : 18 - 29
  • [5] Giua A., 1992, P IEEE C SYST MAN CY, P947
  • [6] A survey of Petri net methods for controlled discrete event systems
    Holloway, LE
    Krogh, BH
    Giua, A
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1997, 7 (02): : 151 - 190
  • [7] Marking Estimation in Labelled Petri nets by the Representative Marking Graph
    Ma, Ziyue
    Tong, Yin
    Li, Zhiwu
    Giua, Alessandro
    [J]. IFAC PAPERSONLINE, 2017, 50 (01): : 11175 - 11181
  • [8] Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations
    Ma, Ziyue
    Li, Zhiwu
    Giua, Alessandro
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (03) : 1329 - 1341
  • [9] Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem
    Ma, Ziyue
    Tong, Yin
    Li, Zhiwu
    Giua, Alessandro
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (03) : 1078 - 1093
  • [10] Ma ZY, 2015, IEEE DECIS CONTR P, P1675, DOI 10.1109/CDC.2015.7402451
12