Pages that link to "Item:Q900685"
From MaRDI portal
The following pages link to Codiagnosability and coobservability under dynamic observations: transformation and verification (Q900685):
Displayed 12 items.
- Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions (Q513180) (← links)
- Codiagnosability and coobservability under dynamic observations: transformation and verification (Q900685) (← links)
- Verification complexity of a class of observational properties for modular discrete events systems (Q1679097) (← links)
- Trajectory detectability of discrete-event systems (Q1729041) (← links)
- Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications (Q1737742) (← links)
- Implementation of inference-based diagnosis: computing delay bound and ambiguity levels (Q1788696) (← links)
- Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures (Q2407177) (← links)
- Observability and diagnosability of finite state systems: a unifying framework (Q2409221) (← links)
- A general framework for diagnosis of discrete event systems subject to sensor failures (Q2665161) (← links)
- Marking diagnosability verification in labeled Petri nets (Q2665360) (← links)
- Decentralized diagnosis of discrete event systems subject to permanent sensor failures (Q2673757) (← links)
- Distributed diagnosis of discrete-event systems under dynamic event observations (Q6082773) (← links)