@inproceedings{conf/hybrid/MohlmannT13,Author = {Eike Möhlmann and Oliver E. Theel},Title = {Stabhyli: A Tool for Automatic Stability Verification of Non-Linear Hybrid Systems},Year = {2013},Pages = {107-112},Editor = {Calin Belta and Franjo Ivancic},Publisher = {ACM},Booktitle = {Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'13},Url = {http://doi.acm.org/10.1145/2461328.2461347},type = {inproceedings},note = {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 envir},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.}}@COMMENT{Bibtex file generated on }