Pages that link to "Item:Q5703926"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5703926):
Displaying 9 items.
- SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata (Q479819) (← links)
- Hybrid automata-based CEGAR for rectangular hybrid systems (Q888464) (← links)
- Extracting counterexamples induced by safety violation in linear hybrid systems (Q2184551) (← links)
- Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
- (Q4417923) (← links)
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis (Q5117254) (← links)
- Counterexample Guided Path Reduction for Static Program Analysis (Q5187836) (← links)
- Language-Based Abstraction Refinement for Hybrid System Verification (Q5452604) (← links)
- Formal Methods in Computer-Aided Design (Q5492985) (← links)