Pages that link to "Item:Q853677"
From MaRDI portal
The following pages link to Diagnosability of discrete event systems with modular structure (Q853677):
Displaying 11 items.
- Diagnosis from scenarios (Q481349) (← links)
- Computation of minimal diagnosis bases of discrete-event systems using verifiers (Q510094) (← links)
- Fault diagnosis for discrete event systems using partially observed Petri nets (Q779501) (← links)
- Design of decentralized critical observers for networks of finite state machines: a formal method approach (Q1678627) (← links)
- Verification complexity of a class of observational properties for modular discrete events systems (Q1679097) (← links)
- Robust diagnosis of discrete event systems against intermittent loss of observations (Q1937482) (← links)
- Diagnosability analysis of hybrid systems cast in a discrete-event framework (Q2256889) (← links)
- Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system (Q5027572) (← links)
- Current-state opacity and initial-state opacity of modular discrete event systems (Q5056544) (← links)
- Diagnosability of Discrete Faults with Uncertain Observations (Q5117253) (← links)
- A language-based diagnosis framework for permanent and intermittent faults (Q6175604) (← links)