Stabhyli

MaRDI QIDQ31944swMATHFDO

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)

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

This page was built for software: Stabhyli