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

共 25 条

[1] [Anonymous], 2013, 2013 IEEE 18 C EMERG
[2] Empirical studies in the size of diagnosers and verifiers for diagnosability analysis
Bermeo Clavijo, Leonardo
Basilio, Joao C.
[J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2017, 27 (04): : 701 - 739
[3] Biallas S, 2013, IEEE INT WORK C SO, P69, DOI 10.1109/SCAM.2013.6648186
[4] Robust diagnosis of discrete event systems against intermittent loss of observations
Carvalho, Lilian K.
Basilio, Joao C.
Moreira, Marcos V.
[J]. AUTOMATICA, 2012, 48 (09) : 2068 - 2078
[5] Cassandras C. G, 2008, Introduction to Discrete Event Systems, DOI DOI 10.1007/978-0-387-68612-7
[6] Stochastic Failure Prognosability of Discrete Event Systems
Chen, Jun
Kumar, Ratnesh
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (06) : 1570 - 1581
[7] Cormen T. H., 2009, Introduction to Algorithms, V3rd
[8] Predictability of event occurrences in partially-observed discrete-event systems
Genc, Sahika
Lafortune, Stephane
[J]. AUTOMATICA, 2009, 45 (02) : 301 - 311
[9] Failure diagnosis of discrete-event systems with linear-time temporal logic specifications
Jiang, SB
Kumar, R
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2004, 49 (06) : 934 - 945
[10] Conjunctive and Disjunctive Architectures for Decentralized Prognosis of Failures in Discrete-Event Systems
Khoumsi, Ahmed
Chakib, Hicham
[J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2012, 9 (02) : 412 - 417

← 1 2 3 →