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 条
[41]   Conditional Synchronized Diagnoser for Modular Discrete-Event Systems [J].
Cabral, Felipe G. ;
Veras, Maria Z. M. ;
Moreira, Marcos, V .
ICINCO: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS - VOL 2, 2017, :88-97
[42]   Localization and Decomposition in Supervisory Control of Discrete-Event Systems [J].
Saeidi, Vahid ;
Afzalian, Ali A. ;
Gharavian, Davood .
2016 24TH IRANIAN CONFERENCE ON ELECTRICAL ENGINEERING (ICEE), 2016, :1718-1723
[43]   Supervisory control of probabilistic discrete-event systems with recovery [J].
Li, YH ;
Lin, F ;
Lin, ZH .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1999, 44 (10) :1971-1975
[44]   Maximally Permissive Supervisors for Nonblocking Similarity Control of Nondeterministic Discrete-Event Systems [J].
Li, Jinglun ;
Takai, Shigemasa .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2023, 68 (06) :3529-3544
[45]   A uniform approach to compare architectures in decentralized discrete-event systems [J].
Ritsuka, Kagurazaka ;
Rudie, Karen .
AUTOMATICA, 2024, 165
[46]   Extended Insertion Functions for Opacity Enforcement in Discrete-Event Systems [J].
Li, Xiaoyan ;
Hadjicostis, Christoforos N. ;
Li, Zhiwu .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2022, 67 (10) :5289-5303
[47]   A Comparative Analysis of Recent Identification Approaches for Discrete-Event Systems [J].
Paula Estrada-Vargas, Ana ;
Lopez-Mellado, Ernesto ;
Lesage, Jean-Jacques .
MATHEMATICAL PROBLEMS IN ENGINEERING, 2010, 2010
[48]   K-loss robust codiagnosability of Discrete-Event Systems [J].
Lima Oliveira, Vinicius de Souza ;
Cabral, Felipe Gomes ;
Moreira, Marcos Vicente .
AUTOMATICA, 2022, 140
[49]   Revisiting State Estimation and Weak Detectability of Discrete-Event Systems [J].
Han, Xiaoguang ;
Wang, Jinliang ;
Li, Zhiwu ;
Chen, Xiaoyan ;
Chen, Zengqiang .
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2023, 20 (01) :662-674
[50]   FAULT DIAGNOSIS OF DISCRETE-EVENT SYSTEMS FROM ABSTRACT OBSERVATIONS [J].
Lamperti, Gianfranco ;
Zanella, Marina ;
Zhao, Xiangfu .
COMPUTING AND INFORMATICS, 2022, 41 (01) :116-134
12345