Pages that link to "Item:Q5347833"
From MaRDI portal
The following pages link to Verification of Hybrid Automata Diagnosability by Abstraction (Q5347833):
Displaying 6 items.
- A game-theoretic approach to fault diagnosis and identification of hybrid systems (Q391104) (← links)
- Diagnosability of fair transition systems (Q2152493) (← links)
- Robust and nonlinear control literature survey (No. 27) (Q2882419) (← links)
- Transformations for Compositional Verification of Assumption-Commitment Properties (Q3447708) (← links)
- Adaptive control and signal processing literature survey (No. 27) (Q4908491) (← links)
- Secure Diagnosability of Hybrid Dynamical Systems (Q5117251) (← links)
