On Codiagnosability and Coobservability With Dynamic Observations
From MaRDI portal
Cited in
(17)- Design of decentralized critical observers for networks of finite state machines: a formal method approach
- Verification complexity of a class of observational properties for modular discrete events systems
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
- Implementation of inference-based diagnosis: computing delay bound and ambiguity levels
- Deterministic supervisory control with flexible upper-bounds on observation delay and control delay
- Verification of robust diagnosability for partially observed discrete event systems
- Observability and diagnosability of finite state systems: a unifying framework
- Online minimization of sensor activation for supervisory control
- A general framework for diagnosis of discrete event systems subject to sensor failures
- Decentralized diagnosis of discrete event systems subject to permanent sensor failures
- Minimal sensor activation and minimal communication in discrete-event systems
- Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions
- Supervisory control under delayed observations of events and states
- Optimal sensor selection for diagnosability enforcement of discrete event systems using labeled Petri net
- Reliable decentralized failure diagnosis of discrete event systems using single-level inference
- Observations of both events and states for supervisory control
- Codiagnosability and coobservability under dynamic observations: transformation and verification
This page was built for publication: On Codiagnosability and Coobservability With Dynamic Observations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5347768)
