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

DOI10.1109/TAC.2012.2185881zbMATH Open1369.93390OpenAlexW2023968088MaRDI QIDQ5352760FDOQ5352760

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

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

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)

Cited In (12)

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

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)