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.

Download Stabhyli here:

Stabhyli (Linux, 64bit)

Stabhyli (OS X, 64bit)

Stabhyli Examples/Benchmarks

• Prof. Dr.-Ing. Oliver Theel
• Dipl.-Inform. Eike Möhlmann