Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions

DOI10.1109/TAC.2012.2185881zbMath1369.93390OpenAlexW2023968088MaRDI QIDQ5352760

Publication date: 8 September 2017

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

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Decentralized systems (93A14) Discrete event control/observation systems (93C65) Fault detection; testing in circuits and networks (94C12) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (8)

Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures ⋮ A general framework for diagnosis of discrete event systems subject to sensor failures ⋮ Observability and diagnosability of finite state systems: a unifying framework ⋮ Decentralized diagnosis of discrete event systems subject to permanent sensor failures ⋮ Trajectory detectability of discrete-event systems ⋮ Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions ⋮ Implementation of inference-based diagnosis: computing delay bound and ambiguity levels ⋮ Diagnosability of discrete event systems subject to permanent sensor failures

This page was built for publication: Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions