Pages that link to "Item:Q2986719"
From MaRDI portal
The following pages link to Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata (Q2986719):
Displaying 6 items.
- Finite data-rate feedback stabilization of switched and hybrid linear systems (Q2628418) (← links)
- (Q4246810) (← links)
- (Q4782023) (← links)
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis (Q5117254) (← links)
- Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure (Q5346080) (← links)
- Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints (Q5500564) (← links)