Pages that link to "Item:Q962191"
From MaRDI portal
The following pages link to Abstraction-based failure diagnosis for discrete event systems (Q962191):
Displaying 10 items.
- Abstraction-based verification of codiagnosability for discrete event systems (Q710695) (← links)
- Hierarchical model-based diagnosis based on structural abstraction (Q814590) (← links)
- Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach (Q1690519) (← links)
- State-based fault diagnosis of discrete-event systems with partially observable outputs (Q2023248) (← links)
- Abstraction-based verification and synthesis for prognosis of discrete event systems (Q2821258) (← links)
- An approach to post mortem diagnosability analysis for interacting finite state systems (Q2852036) (← links)
- The failure detector abstraction (Q2875042) (← links)
- Robust and Nonlinear Control: literature survey (No. 17) (Q2928320) (← links)
- Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system (Q5027572) (← links)
- Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications (Q5273787) (← links)