Stabhyli

Stabhyli

Description: Stabhyli is a tool that automatically proves stability (global asymptotic stability) of non-linear hybrid systems. The tool was created in the context of AVACS H4.

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. Stabhyli automatically derives a certificate of stability for a given non-linear hybrid systems. Such certificates are obtained by Lyapunov theory combined with decomposition and composition techniques.

VO Integration: No

Active: No

Available Benchmarks: No

Website: https://uol.de/svs/forschung/avacs/stabhyli

Download: See webpage for links.

Documentation: See webpage for link to examples and benchmarks.

Contact: Oliver Theel, Eike Mohlmann

Excerpt from: https://uol.de/svs/forschung/avacs/stabhyli