Stabhyli
From MaRDI portal
Software:31944
No author found.
Related Items (4)
Abstraction based verification of stability of polyhedral switched systems ⋮ Hybridization for Stability Analysis of Switched Linear Systems ⋮ Factorization of saddle-point matrices in dynamical systems optimization -- reusing pivots ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
This page was built for software: Stabhyli
