Maximally permissive state feedback logic for controlled time Petri nets

被引：0
|
作者：
Chen, HX
Li, HF
机构：
来源：
PROCEEDINGS OF THE 1997 AMERICAN CONTROL CONFERENCE, VOLS 1-6 | 1997年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The synthesis of state feedback logic for the control problem of maintaining a predicate on the state set of a timed discrete event system is considered in the setting of controlled time Petri nets. We introduce a kind of invariance for predicates and propose a fixpoint algorithm for computing the extremal invariant predicate. On the basis of this, maximally permissive state feedback logic can be characterized and systematically synthesized.
引用
收藏
页码：2359 / 2363
页数：5
相关论文
共 50 条
  • [1] Maximally permissive controllers for controlled time Petri nets
    Takae, A
    Takai, S
    Ushio, T
    Kumagai, S
    Kodama, S
    [J]. ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 1996, 79 (05): : 1 - 8
  • [2] Maximally permissive controller synthesis for time Petri nets
    Heidari, Parisa
    Boucheneb, Hanifa
    [J]. INTERNATIONAL JOURNAL OF CONTROL, 2013, 86 (03) : 493 - 511
  • [3] CONCURRENCY AND MAXIMALLY PERMISSIVE FEEDBACK IN PETRI NETS WITH EXTERNAL INPUT PLACES
    TAKAI, S
    USHIO, T
    KODAMA, S
    [J]. INTERNATIONAL JOURNAL OF CONTROL, 1994, 60 (04) : 617 - 629
  • [4] MAXIMALLY PERMISSIVE FEEDBACK AND MODULAR CONTROL SYNTHESIS IN PETRI NETS WITH EXTERNAL INPUT PLACES
    USHIO, T
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (07) : 844 - 848
  • [5] SYNTHESIS OF FEEDBACK-CONTROL LOGIC FOR A CLASS OF CONTROLLED PETRI NETS
    HOLLOWAY, LE
    KROGH, BH
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (05) : 514 - 523
  • [6] Maximally Permissive Supervisor Synthesis Using Reachability and Structural Analysis of Petri Nets
    Chen, Hefeng
    Wu, Naiqi
    Li, Zhiwu
    [J]. PROCEEDINGS OF THE 2019 IEEE 16TH INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC 2019), 2019, : 230 - 235
  • [7] Maximally permissive and non blocking control of Petri nets using theory of regions
    Ghaffari, A
    Rezg, N
    Xie, X
    [J]. 2002 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2002, : 1895 - 1900
  • [8] Maximally Permissive Controlled System Synthesis for Modal Logic
    van Hulst, Allan C.
    Reniers, Michel A.
    Fokkink, Wan J.
    [J]. SOFSEM 2015: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2015, 8939 : 230 - 241
  • [9] Optimization of controls for state feedback using controlled Dan/Petri nets
    Serrano, Eleazar Jimenez
    Araki, Keijiro
    Kusakabe, Shigeru
    [J]. IECON 2007: 33RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, CONFERENCE PROCEEDINGS, 2007, : 76 - 81
  • [10] Feedback control synthesis for a glass of controlled petri nets with time constraints
    Park, HG
    Moon, HJ
    Kwon, WH
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1997, E80A (06) : 1116 - 1126
12345