Under the Hood of a Stand-Alone Lagrangian Reachability Tool

9 pages•Published: May 25, 2019

Sophie Gruenbacher, Jacek Cyranka, Md Ariful Islam, Max Tschaikowski, Scott Smolka and Radu Grosu

Abstract

Tool presentation: We present work in progress on a stand-alone implementation of Lagrangian reachability, a recently introduced over-approximation technique for nonlinear continuous systems. Unlike the previous prototype, the current implementation does not depend on the over-approximation tool CAPD, and invokes an improved Lohner’s QR method to tame the infamous wrapping effect.

Keyphrases: finite strain theory, interval arithmetic, lagrangian reachability, lagrangian reachtube, lohner qr method, reachability algorithm, reachtube tool

In: Goran Frehse and Matthias Althoff (editors). ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, vol 61, pages 211-219.

Links:	https://easychair.org/publications/paper/Rlw3
	https://doi.org/10.29007/ns8p

BibTeX entry

@inproceedings{ARCH19:Under_Hood_Stand_Alone,
  author    = {Sophie Gruenbacher and Jacek Cyranka and Md Ariful Islam and Max Tschaikowski and Scott Smolka and Radu Grosu},
  title     = {Under the Hood of a Stand-Alone Lagrangian Reachability Tool},
  booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {61},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Rlw3},
  doi       = {10.29007/ns8p},
  pages     = {211-219},
  year      = {2019}}

Download PDF Open PDF in browser