Stabhyli

swMATH20122MaRDI QIDQ31944FDOQ31944

Author name not available (Why is that?)

Described by source

• Stabhyli

Cited In (4)

• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
• Factorization of saddle-point matrices in dynamical systems optimization -- reusing pivots
• Hybridization for Stability Analysis of Switched Linear Systems
• Abstraction based verification of stability of polyhedral switched systems

This page was built for software: Stabhyli