Download PDFOpen PDF in browser

Verifying a PI Controller using SoapBox and Stabhyli

11 pagesPublished: February 1, 2017

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.

Keyphrases: control, experience report, liveness, safety, soapbox, stabhyli, verification

In: Goran Frehse and Matthias Althoff (editors). ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, vol 43, pages 115-125.

BibTeX entry
@inproceedings{ARCH16:Verifying_PI_Controller_using,
  author    = {Eike Möhlmann and Willem Hagemann and Astrid Rakow},
  title     = {Verifying a PI Controller using SoapBox and Stabhyli},
  booktitle = {ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {43},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/V8rV},
  doi       = {10.29007/h9hb},
  pages     = {115-125},
  year      = {2017}}
Download PDFOpen PDF in browser