The following pages link to Stabhyli (Q31944):
Displaying 4 items.
- Factorization of saddle-point matrices in dynamical systems optimization -- reusing pivots (Q1736232) (← links)
- Abstraction based verification of stability of polyhedral switched systems (Q2178203) (← links)
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
- Hybridization for Stability Analysis of Switched Linear Systems (Q2988963) (← links)