Download PDFOpen PDF in browser

Under the Hood of a Stand-Alone Lagrangian Reachability Tool

9 pagesPublished: May 25, 2019

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:
BibTeX entry
@inproceedings{ARCH19:Under_Hood_of_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},
  pages     = {211--219},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Rlw3},
  doi       = {10.29007/ns8p}}
Download PDFOpen PDF in browser