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

DOI10.1109/TAC.2012.2185881MaRDI QIDQ5352760zbMATH OpenOpenAlexFDO

Authors Shigemasa Takai, Toshimitsu Ushio

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) Specification and verification (program logics, model checking, etc.) (68Q60) Decentralized systems (93A14) Discrete event control/observation systems (93C65) Fault detection; testing in circuits and networks (94C12)

Recommendations

• Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications
• Abstraction-based verification of codiagnosability for discrete event systems
• The Complexity of Codiagnosability for Discrete Event and Timed Systems
• The complexity of codiagnosability for discrete event and timed systems
• Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata
• Minimal diagnosis and diagnosability of discrete-event systems modeled by automata
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Verification of robust diagnosability for partially observed discrete event systems
• Verification of Hybrid Automata Diagnosability With Measurement Uncertainty
• Diagnosability of discrete-event systems

Cited in

(12)

• Trajectory detectability of discrete-event systems
• A general framework for diagnosis of discrete event systems subject to sensor failures
• Observability and diagnosability of finite state systems: a unifying framework
• Implementation of inference-based diagnosis: computing delay bound and ambiguity levels
• Decentralized diagnosis of discrete event systems subject to permanent sensor failures
• Opacity of discrete-event systems under nondeterministic observation mechanism
• Infinite- and \(K\)-step opacity verification of discrete-event systems under nondeterministic observations
• Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata
• Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
• Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions
• Tamper-tolerant diagnosability analysis and tampering detectability in discrete event systems under cost constraints
• 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

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