Stabhyli

swMATH20122MaRDI QIDQ31944FDOQ31944

Author name not available (Why is that?)

Official website: https://www.uni-oldenburg.de/informatik/svs/forschung/avacs/stabhyli/

Described by source

• Stabhyli -- a tool for automatic stability verification of non-linear hybrid systems

Cited In (7)

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

This page was built for software: Stabhyli