Context-free Forbidden Path Control of Net Condition/Event Systems

被引:0
作者
Zhang, Jiafeng [1 ]
Luo, Guangehao [1 ]
Li, Zhiwu [1 ,2 ]
Frey, Georg [3 ]
机构
[1] Xidian Univ, Sch Mechanoelect Engn, Xian 710071, Peoples R China
[2] Macau Univ Sci & Technol, Inst Syst Engn, Taipa, Macau, Peoples R China
[3] Saarland Univ, Chair Automat & Energy Syst, D-66123 Saarbrucken, Germany
来源
2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC) | 2019年
基金
中国国家自然科学基金;
关键词
PETRI NETS; SAFETY CONTROLLERS;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This work proposes a context-free forbidden path control method for manufacturing systems based on net condition/event systems (NCESs) under the firing rule 'maximal single spontaneous transition steps'. The NCES formalism is a modular extension of Petri nets. A context free path is defined by a sequence of discrete events and it is independent from the starting, ending, and intermediate states. The aim of the control is that the system is constrained to not follow a forbidden path, specified by the corresponding sequence of events, no matter from which state it starts (i.e. context-free). To this end, a novel control method based on NCESs is proposed, where a forbidden path tracker (FPC) tracks the occurrence status of events on a forbidden path and a last event controller (LEC) restrains the occurrence of the last event on the forbidden path. As a result, a context-free forbidden path controller is obtained without searching the state space and the controlled system meets the context-free forbidden path control specification if a few pre-conditions are. met. A chemical plant is employed to illustrate the proposed method.
引用
收藏
页码:1991 / 1996
页数:6
相关论文
共 22 条
  • [1] ON FORBIDDEN STATE PROBLEMS FOR A CLASS OF CONTROLLED PETRI NETS
    BOEL, RK
    BENNAOUM, L
    VANBREUSEGEM, V
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1995, 40 (10) : 1717 - 1731
  • [2] Synthesis of safety controllers for distributed automation systems on the basis of reverse safe net condition/event systems
    Dubinin, Victor
    Vyatkin, Valeriy
    Hanisch, Hans-Michael
    [J]. 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, 2015, : 287 - 292
  • [3] Guellouz S., 2018, IEEE T AUTOMATION SC
  • [4] Hafidi Yousra, 2018, IEEE T SYST MAN CYB, V99, P1
  • [5] Hanisch H.-M., 1994, Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology, P157, DOI 10.1109/CIMAT.1994.389079
  • [6] Hanisch H. M., 1996, P 13 IFAC WORLD C SA, VJ, P495
  • [7] Hanisch HM, 1997, ETFA '97 - 1997 IEEE 6TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION PROCEEDINGS, P391, DOI 10.1109/ETFA.1997.616302
  • [8] Towards a synthesis method for distributed safety controllers based on net condition/event systems
    Hanisch, HM
    Thieme, J
    Luder, A
    [J]. JOURNAL OF INTELLIGENT MANUFACTURING, 1997, 8 (05) : 357 - 368
  • [9] HANISCH HM, 1995, 1995 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, P3069, DOI 10.1109/ICSMC.1995.538253
  • [10] 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