Polynomial-time verification and enforcement of delayed strong detectability for discrete-event systems

IEEE Transactions on Automatic Control ◽

10.1109/tac.2021.3140111 ◽

2022 ◽

pp. 1-1

Author(s):

Kuize Zhang

Keyword(s):

Polynomial Time ◽

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text

Polynomial-time verification of diagnosability of fuzzy discrete event systems

Science China Information Sciences ◽

10.1007/s11432-013-4945-z ◽

2014 ◽

Vol 57 (6) ◽

pp. 1-10 ◽

Author(s):

FuChun Liu

Keyword(s):

Polynomial Time ◽

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text

Comments on “Predictability of Failure Event Occurrences in Decentralized Discrete-Event Systems and Polynomial-Time Verification”

IEEE Transactions on Automation Science and Engineering ◽

10.1109/tase.2019.2923903 ◽

2019 ◽

Vol 16 (4) ◽

pp. 1988-1989

Author(s):

Ratnesh Kumar ◽

Shigemasa Takai

Keyword(s):

Polynomial Time ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Download Full-text

Polynomial-time verification of diagnosability of partially observed discrete-event systems

IEEE Transactions on Automatic Control ◽

10.1109/tac.2002.802763 ◽

2002 ◽

Vol 47 (9) ◽

pp. 1491-1495 ◽

Author(s):

Tae-Sic Yoo ◽

S. Lafortune

Keyword(s):

Polynomial Time ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Partially Observed

Download Full-text

Safe Diagnosability of Fuzzy Discrete-Event Systems and a Polynomial-Time Verification

IEEE Transactions on Fuzzy Systems ◽

10.1109/tfuzz.2014.2362767 ◽

2015 ◽

Vol 23 (5) ◽

pp. 1534-1544 ◽

Author(s):

Fuchun Liu

Keyword(s):

Polynomial Time ◽

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text

A polynomial-time algorithm for diagnosability verification of discrete event systems

2014 Second World Conference on Complex Systems (WCCS) ◽

10.1109/icocs.2014.7060979 ◽

2014 ◽

Author(s):

Eric Gascard ◽

Zineb Simeu-Abazi ◽

Berangere Suiphon

Keyword(s):

Polynomial Time ◽

Discrete Event Systems ◽

Discrete Event ◽

Polynomial Time Algorithm ◽

Time Algorithm ◽

Download Full-text

Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems

IEEE Transactions on Automatic Control ◽

10.1109/tac.2011.2124950 ◽

2011 ◽

Vol 56 (7) ◽

pp. 1679-1684 ◽

Author(s):

Marcos V. Moreira ◽

Thiago C. Jesus ◽

João C. Basilio

Keyword(s):

Polynomial Time ◽

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text

Polynomial time verification of decentralized diagnosability of discrete event systems

Proceedings of the 2010 American Control Conference ◽

10.1109/acc.2010.5530928 ◽

2010 ◽

Author(s):

Marcos V Moreira ◽

Thiago C Jesus ◽

Joao C Basilio

Keyword(s):

Polynomial Time ◽

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text

Polynomial Time Verification of Modular Diagnosability of Discrete Event Systems

IFAC-PapersOnLine ◽

10.1016/j.ifacol.2017.08.2387 ◽

2017 ◽

Vol 50 (1) ◽

pp. 13618-13623 ◽

Author(s):

Ben Li ◽

João Carlos Basilio ◽

Manel Khlif-Bouassida ◽

Armand Toguyéni

Keyword(s):

Polynomial Time ◽

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text

Predictability of Failure Event Occurrences in Decentralized Discrete-Event Systems and Polynomial-Time Verification

IEEE Transactions on Automation Science and Engineering ◽

10.1109/tase.2018.2868330 ◽

2019 ◽

Vol 16 (1) ◽

pp. 498-504 ◽

Author(s):

Fuchun Liu

Keyword(s):

Polynomial Time ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Download Full-text

Comments on “Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems” versus “Decentralized Failure Diagnosis of Discrete Event Systems”: Complexity Clarification

IEEE Transactions on Automatic Control ◽

10.1109/tac.2013.2283756 ◽

2014 ◽

Vol 59 (5) ◽

pp. 1391-1392 ◽

Author(s):

Ratnesh Kumar ◽

Shigemasa Takai

Keyword(s):

Polynomial Time ◽

Discrete Event Systems ◽

Discrete Event ◽

Failure Diagnosis ◽

Download Full-text