New predictability verification tests for discrete-event systems modeled by finite state automata

被引：1

作者：

Barcelos, Raphael J. . ^{[1
]}

Basilio, Joao C. . ^{[1
]}

机构：

[1] Univ Fed Rio de Janeiro, Dept Elect Engn, BR-21949900 Rio De Janeiro, Brazil

来源：

IFAC PAPERSONLINE | 2020年 / 53卷 / 04期

关键词：

Discrete event systems; automaton; predictability; copredictability; failure prognosis; copredictability verification; POLYNOMIAL-TIME VERIFICATION; DECENTRALIZED DIAGNOSABILITY; FAILURE DIAGNOSIS; PROGNOSIS; CODIAGNOSABILITY;

D O I：

10.1016/j.ifacol.2021.04.023

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper deals with the problem of copredictability verification of discrete event systems (DES) modeled by automata in less restrictive scenarios, i.e., avoiding the assumptions on language liveness and absence of cycles of states connected by unobservable events only. We present necessary and sufficient conditions for a regular language to be copredictable, and adapt previous results on diagnosability verification to develop two new strategies to verify copredictability: the first one is based on a diagnoser-like automaton, and the second one by using verifiers. Copyright (C) 2020 The Authors.

引用

页码：243 / 249

页数：7

共 50 条

[31] Predictability of Discrete-Event Systems with Cycles of States Connected with Unobservable Events
Barcelos, Raphael J.
Correa, Mauricio A.
Basilio, Joao Carlos
JOURNAL OF CONTROL AUTOMATION AND ELECTRICAL SYSTEMS, 2020, 31 (04) : 842 - 849
[32] Discrete-Event Systems
Ge, Shuzhi Sam
IEEE CONTROL SYSTEMS MAGAZINE, 2010, 30 (06): : 25 - 26
[33] Incremental Verification of Co-observability in Discrete-event Systems
Liu, Huailiang
Leduc, Ryan J.
Malik, Robi
Ricker, S. L.
2014 AMERICAN CONTROL CONFERENCE (ACC), 2014, : 5446 - 5452
[34] Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems
Schmidt, Klaus Werner
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (05): : 1130 - 1140
[35] Diagnosability of discrete event systems modeled by time-interval automata
Rezende, Christiano H.
Viana, Gustavo S.
Basilio, Joao C.
IFAC PAPERSONLINE, 2023, 56 (02): : 8660 - 8665
[36] Automata slicing for diagnosing discrete-event systems with partially ordered observations
Grastien, A
Cordier, MO
Largouët, C
AI*IA2005: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2005, 3673 : 270 - 281
[37] Verification for the Predictability of Decentralized Discrete Event Systems with A Polynomial Complexity
Liu, Fuchun
Yang, Pengbiao
PROCEEDINGS OF THE 36TH CHINESE CONTROL CONFERENCE (CCC 2017), 2017, : 2367 - 2372
[38] RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems
Ramdani, Mohamed
Kahloul, Laid
Khalgui, Mohamed
Li, Zhiwu
Zhou, MengChu
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2021, 18 (03) : 1392 - 1405
[39] Verification of Current-state Opacity for Discrete Event Systems Modeled With Unbounded Petri Nets*
Zhu, Haoming
Yin, Li
Wu, Naiqi
Li, Zhiwu
2022 8TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT'22), 2022, : 1261 - 1266
[40] On the Transparency of Automata as Discrete-Event Control Specifications
Pham, Manh Tung
Dhananjayan, Amrith
Seow, Kiam Tian
2010 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2010, : 1474 - 1479

← 1 2 3 4 5 →