INVERTIBILITY OF DISCRETE-EVENT DYNAMIC-SYSTEMS

被引：16
作者：
OZVEREN, CM
WILLSKY, AS
机构：
[1] MIT,INFORMAT & DECIS SYST LAB,CAMBRIDGE,MA 02139
[2] INST RECH INFORMAT & SYST ALEATOIRES,RENNES,FRANCE
来源：
MATHEMATICS OF CONTROL SIGNALS AND SYSTEMS | 1992年 / 5卷 / 04期
关键词：
AUTOMATA; INVERTIBILITY; OBSERVABILITY; RESILIENCY; ERROR RECOVERY; DISCRETE-EVENT DYNAMIC SYSTEMS;
D O I：
10.1007/BF02134011
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper we consider a class of Discrete-Event Dynamic Systems (DEDS) modeled as finite-state automata in which only some of the transition events are directly observed. An invertible DEDS is one for which it is possible to reconstruct the entire event string from the observation of the output string. The dynamics of invertibility are somewhat complex, as ambiguities in unobservable events are typically resolved only at discrete intervals and, perhaps, with finite delay. A notion of resiliency or error recovery is developed for invertibility, and polynomial-time tests for invertibility and for resilient invertibility, as well as a procedure for the construction of a resilient inverter, are discussed.
引用
收藏
页码：365 / 390
页数：26
相关论文
共 50 条
[21]   Multitasking Supervisory Control of Discrete-Event Systems [J].
Max H. de Queiroz ;
José E. R. Cury ;
W. M. Wonham .
Discrete Event Dynamic Systems, 2005, 15 :375-395
[22]   An inclusion principle for discrete-event and hybrid systems [J].
Iftar, A .
PROCEEDINGS OF THE 36TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 1997, :4601-4606
[23]   Supervision localization of timed discrete-event systems [J].
Zhang, Renyuan ;
Cai, Kai ;
Gan, Yongmei ;
Wang, Zhaoan ;
Wonham, W. M. .
AUTOMATICA, 2013, 49 (09) :2786-2794
[24]   DISTRIBUTED INVERSION IN TIMED DISCRETE-EVENT SYSTEMS [J].
PARK, YS ;
CHONG, EKP .
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1995, 5 (2-3) :219-241
[25]   Optimal Secret Protections in Discrete-Event Systems [J].
Ma, Ziyue ;
Cai, Kai .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2022, 67 (06) :2816-2828
[26]   I-Detectability of Discrete-Event Systems [J].
Shu, Shaolong ;
Lin, Feng .
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2013, 10 (01) :187-196
[27]   On-line tracing supervisory control of discrete-event dynamic systems based on outlooking [J].
Cho, KH ;
Lim, JT .
AUTOMATICA, 1999, 35 (10) :1725-1729
[28]   Decentralized Observation of Discrete-Event Systems: At Least One Can Tell [J].
Tripakis, Stavros ;
Rudie, Karen .
IEEE CONTROL SYSTEMS LETTERS, 2022, 6 :1652-1657
[29]   Improved Approaches for Verifying I-Detectability of Discrete-Event Systems [J].
Liu, Zhaocong ;
Yin, Xiang ;
Li, Shaoyuan .
2019 12TH ASIAN CONTROL CONFERENCE (ASCC), 2019, :248-253
[30]   How attacks affect detectability in discrete-event systems? [J].
Zhang, Kuize .
2022 AMERICAN CONTROL CONFERENCE, ACC, 2022, :3728-3733
12345