The following pages link to Stabhyli (Q2986914):
Displaying 5 items.
- Stabhyli (Q31944) (← links)
- 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)
- Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once (Q2945598) (← links)
