@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 }