On Checking Properties of Decentralized Controlled Discrete-Event Systems<bold> </bold>

被引：1
作者：
Nagul, Nadezhda [1 ]
Davydov, Artem [1 ]
机构：
[1] Russian Acad Sci, Matrosov Inst Syst Dynam & Control Theory, Siberian Branch, Lermontov Str 134, Irkutsk 664033, Russia
来源：
ICNPAA 2018 WORLD CONGRESS: 12TH INTERNATIONAL CONFERENCE ON MATHEMATICAL PROBLEMS IN ENGINEERING, AEROSPACE AND SCIENCES | 2018年 / 2046卷
基金：
俄罗斯科学基金会;
关键词：
D O I：
10.1063/1.5081542
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
In spite of intensive study since 1980s, there are still a lot of open problems in the supervisory control theory of discreteevent systems (DES), especially partially observed and decentralized ones, due to complexity issues of supervisor's construction and verification algorithms. An important problem is the decentralized supervisory control, implemented by a set of automata each observing its own part of the system behavior. Preservation of co-observability of specification languages for DES under state space reduction, which is applied to reduce SCT algorithms computational complexity, is studied. One popular automata abstraction is considered and conditions for its applicability are obtained using the method of logical-algebraic equations.<bold> </bold>
引用
收藏
页数：10
相关论文
共 20 条
  • [1] Bourbaki N., 2004, Theory ofsets
  • [2] Cassandras C. G., 2008, INTRO DISCRETE EVENT
  • [3] Nonblocking check in fuzzy discrete event systems based on observation equivalence
    Chen, Xuesong
    Xing, Hongyan
    [J]. FUZZY SETS AND SYSTEMS, 2015, 269 : 47 - 64
  • [4] Davydov A., 2017, 2017 40 INT CONV INF
  • [5] Flordal H, 2006, WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, P100
  • [6] Hill RC, 2017, P AMER CONTR CONF, P3840, DOI 10.23919/ACC.2017.7963543
  • [7] Modular Supervisory Control with Equivalence-Based Abstraction and Covering-Based Conflict Resolution
    Hill, Richard C.
    Tilbury, Dawn M.
    Lafortune, Stephane
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2010, 20 (01): : 139 - 185
  • [8] ON OBSERVABILITY OF DISCRETE-EVENT SYSTEMS
    LIN, F
    WONHAM, WM
    [J]. INFORMATION SCIENCES, 1988, 44 (03) : 173 - 198
  • [9] Malik R, 2004, LECT NOTES COMPUT SC, V3299, P120
  • [10] Malik R., 2007, P 1 IFAC WORKSH DEP, P63
12