Codiagnosability and coobservability under dynamic observations: transformation and verification
From MaRDI portal
Publication:900685
DOI10.1016/J.AUTOMATICA.2015.08.023zbMATH Open1327.93269OpenAlexW1761337960MaRDI QIDQ900685FDOQ900685
Authors: Xiang Yin, Stéphane Lafortune 
Publication date: 22 December 2015
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2015.08.023
Recommendations
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems
- Abstraction-based verification of codiagnosability for discrete event systems
- \(K\)-loss robust codiagnosability of discrete-event systems
- Decentralized diagnosis of discrete event systems subject to permanent sensor failures
- Relative coobservability for decentralised supervisory control of discrete-event systems
Decentralized systems (93A14) Observability (93B07) Discrete event control/observation systems (93C65)
Cites Work
- Introduction to Discrete Event Systems
- A polynomial algorithm for testing diagnosability of discrete-event systems
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
- Fault diagnosis with static and dynamic observers
- Control of discrete-event systems. Automata and Petri net perspectives
- Diagnosability of discrete-event systems
- Global and local consistencies in distributed fault diagnosis for discrete-event systems
- Think globally, act locally: decentralized supervisory control
- Minimization of Dynamic Sensor Activation in Discrete Event Systems for the Purpose of Control
- Minimal communication in a distributed discrete-event system
- Diagnosis of discrete event systems using decentralized architectures
- On observability of discrete-event systems
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Undecidable problems of decentralized observation and control on regular languages
- Fault diagnosis in discrete-event systems: Framework and model reduction
- Diagnosability of discrete event systems and its applications
- Supervisory control of discrete-event processes with partial observations
- Optimal sensor activation for diagnosing discrete event systems
- A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
- Active acquisition of information for diagnosis and supervisory control of discrete event systems
- Minimal sensor activation and minimal communication in discrete-event systems
- On Codiagnosability and Coobservability With Dynamic Observations
- Control of networked discrete event systems: dealing with communication delays and losses
- An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
- The Complexity of Codiagnosability for Discrete Event and Timed Systems
- Codiagnosability and coobservability under dynamic observations: transformation and verification
- The computational complexity of decentralized discrete-event control problems
- Maximal Solutions in Decentralized Supervisory Control
- Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays
- Decentralized Control of Discrete-Event Systems When Supervisors Observe Particular Event Occurrences
- Robust diagnosis of discrete event systems against intermittent loss of observations
Cited In (12)
- Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
- Verification complexity of a class of observational properties for modular discrete events systems
- Implementation of inference-based diagnosis: computing delay bound and ambiguity levels
- Trajectory detectability of discrete-event systems
- Marking diagnosability verification in labeled Petri nets
- 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
- Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications
- Distributed diagnosis of discrete-event systems under dynamic event observations
- Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions
- Codiagnosability and coobservability under dynamic observations: transformation and verification
Uses Software
This page was built for publication: Codiagnosability and coobservability under dynamic observations: transformation and verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q900685)
