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 条
  • [31] State feedback control of labeled Petri nets with uncertainty in the initial marking
    Cabasino, Maria Paola
    Hadjicostis, Christoforos N.
    Seatzu, Carla
    [J]. 2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA), 2014,
  • [32] Linear logic as a tool for presentation and temporal reasoning of time Petri nets
    Gao, MM
    Huang, XG
    Wu, ZM
    [J]. PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2000, : 3177 - 3181
  • [33] PETRI NETS AS MODELS OF LINEAR LOGIC
    ENGBERG, U
    WINSKEL, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 431 : 147 - 161
  • [34] Formalizing Time Petri Nets with Metric Temporal Logic using Promela
    Kawises, Julamard
    Vatanawood, Wiwat
    [J]. 2019 20TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2019, : 162 - 166
  • [35] Temporal reasoning method of time Petri nets based on linear logic
    Gao, Meimei
    Wu, Zhiming
    [J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2000, 37 (12): : 1452 - 1456
  • [36] FROM PETRI NETS TO LINEAR LOGIC
    MARTIOLIET, N
    MESEGUER, J
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 389 : 313 - 340
  • [37] Propositional dynamic logic for Petri nets
    Lopes, Bruno
    Benevides, Mario
    Haeusler, Edward Hermann
    [J]. LOGIC JOURNAL OF THE IGPL, 2014, 22 (05) : 721 - 736
  • [38] The tool TINA - Construction of abstract state spaces for Petri nets and Time Petri
    Berthomieu, B
    Ribet, PO
    Vernadat, F
    [J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2004, 42 (14) : 2741 - 2756
  • [39] Symbolic computation tree logic model checking of time Petri nets
    Okawa, Y
    Yoneda, T
    [J]. ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 1997, 80 (04): : 11 - 20
  • [40] Petri Nets with Time Windows: A Comparison to Classical Petri Nets
    Wegener, Jan-Thierry
    Popova-Zeugmann, Louchka
    [J]. FUNDAMENTA INFORMATICAE, 2009, 93 (1-3) : 337 - 352
12345