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

Authors:
Eike Möhlmann;Oliver Theel
Affiliations:
Carl von Ossietzky University of Oldenburg, Oldenburg, Germany;Carl von Ossietzky University of Oldenburg, Oldenburg, Germany
Venue:
Proceedings of the 16th international conference on Hybrid systems: computation and control
Year:
2013

Citing 7
Cited 0

Convex Optimization

Convex Optimization
Decompositional Construction of Lyapunov Functions for Hybrid Systems

HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Fully automated stability verification for piecewise affine systems

HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Region stability proofs for hybrid systems

FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Towards component based design of hybrid systems: safety and stability

Time for verification
Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions

SIAM Journal on Control and Optimization
Lyapunov abstractions for inevitability of hybrid systems

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present Stabhyli, a tool that automatically proves stability of non-linear hybrid systems. Hybrid systems are systems that exhibit discrete as well as continuous behavior. The stability property basically ensures that a system exposed to a faulty environment (e.g. suffering from disturbances) will be able to regain a "good" operation mode as long as errors occur not too frequently. Stabilizing Hybrid systems are omnipresent, for instance in control applications where a discrete controller is controlling a time-continuous process such as a car's movement or a particular chemical reaction. We have implemented a tool to automatically derive a certificate of stability for non-linear hybrid systems. Certificates are obtained by Lyapunov theory combined with decomposition and composition techniques.