Verification of the Observer Property in Discrete Event Systems

DOI10.1109/TAC.2014.2298985zbMath1360.93130OpenAlexW2050191525MaRDI QIDQ2983078

Hugo J. Bravo, Antonio E. C. da Cunha, Stéphane Lafortune, Robi Malik, Patrícia N. Pena, 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) Discrete event control/observation systems (93C65) Observability (93B07)

Related Items (2)

A survey on compositional algorithms for verification and synthesis in supervisory control ⋮ Diagnosability of repairable faults

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