@inproceedings{ARCH16:Verifying_a_PI_Controller_using_SoapBox_and_Stabhyli,Author = {Eike Möhlmann and Willem Hagemann and Astrid Rakow},Title = {Verifying a PI Controller using SoapBox and Stabhyli},Year = {2017},Pages = {115-125},Editor = {Goran Frehse and Matthias Althoff},Publisher = {EasyChair},Series = {EPiC Series in Computing},Edition = {43},Booktitle = {ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems},Url = {http://easychair.org/publications/paper/Verifying_a_PI_Controller_using_SoapBox_and_Stabhyli},type = {inproceedings},note = {We describe practical experiences on verifying a steering controller specification. The hybrid automaton implements a PI control rule and considers the vehicle's velocity as input from the environment. By combining the tools Stabhyli and SoapBox, we estab},Abstract = {We describe practical experiences on verifying a steering controller specification. The hybrid automaton implements a PI control rule and considers the vehicle's velocity as input from the environment. By combining the tools Stabhyli and SoapBox, we establish several safety and liveness properties for the steering controller, including convergence towards an equilibrium.}}@COMMENT{Bibtex file generated on }