Pages that link to "Item:Q2986910"
From MaRDI portal
The following pages link to On the decidability of stability of hybrid systems (Q2986910):
Displaying 10 items.
- Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs (Q681342) (← links)
- A complete-order hybrid identifier for multiprogrammed stabilization (Q885707) (← links)
- Abstraction based verification of stability of polyhedral switched systems (Q2178203) (← links)
- A Class of Decidable Parametric Hybrid Systems (Q2996138) (← links)
- (Q3013610) (← links)
- (Q4249569) (← links)
- (Q4484488) (← links)
- On the algorithmic unsolvability of some stability problems for hybrid systems (Q4507024) (← links)
- Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems (Q5172651) (← links)
- Stability analysis of planar probabilistic piecewise constant derivative systems (Q6160779) (← links)