Pages that link to "Item:Q2986910"
From MaRDI portal
The following pages link to On the decidability of stability of hybrid systems (Q2986910):
Displayed 3 items.
- Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs (Q681342) (← links)
- Abstraction based verification of stability of polyhedral switched systems (Q2178203) (← links)
- Stability analysis of planar probabilistic piecewise constant derivative systems (Q6160779) (← links)