Pages that link to "Item:Q5347833"
From MaRDI portal
The following pages link to Verification of Hybrid Automata Diagnosability by Abstraction (Q5347833):
Displaying 9 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)
- (Q4249565) (← links)
- Adaptive control and signal processing literature survey (No. 27) (Q4908491) (← links)
- Secure Diagnosability of Hybrid Dynamical Systems (Q5117251) (← links)
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis (Q5117254) (← links)
- Verification by augmented abstraction: The automata-theoretic view (Q5946060) (← links)
