Verification of the Observer Property in Discrete Event Systems

DOI10.1109/TAC.2014.2298985MaRDI QIDQ2983078zbMATH OpenOpenAlexFDO

Authors Patrícia N. Pena, Hugo Bravo, Antonio E. C. da Cunha, Robi Malik, Stéphane Lafortune, José E. R. Cury

Publication date 16 May 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tac.2014.2298985

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Observability (93B07) Discrete event control/observation systems (93C65)

Cited in

(3)

• Diagnosability of repairable faults
• Verification of k-Step and Definite Critical Observability in Discrete-Event Systems
• A survey on compositional algorithms for verification and synthesis in supervisory control

This page was built for publication: Verification of the Observer Property in Discrete Event Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2983078)