Under the hood of a stand-alone lagrangian reachability tool

S. Gruenbacher; J. Cyranka; M. A. Islam; M. Tschaikowski; S. A. Smolka; R. Grosu

doi:10.29007/ns8p

Under the hood of a stand-alone lagrangian reachability tool

S. Gruenbacher
, J. Cyranka
, M. A. Islam
, M. Tschaikowski
, S. A. Smolka
, R. Grosu

Computer Science

TU Wien
University of California at San Diego
Texas Tech University

Research output: Contribution to journal › Conference article › peer-review

4 Scopus citations

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.

Original language	English
Pages (from-to)	211-219
Number of pages	9
Journal	EPiC Series in Computing
Volume	61
DOIs	https://doi.org/10.29007/ns8p
State	Published - 2019
Event	6th International Workshop on Applied Verification for Continuous and Hybrid systems, ARCH 2019 - Montreal, Canada Duration: Apr 15 2019 → Apr 15 2019

Access to Document

10.29007/ns8p

Cite this

@article{13ec0911d418495f8d2464fd9eb00b28,

title = "Under the hood of a stand-alone lagrangian reachability tool",

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{\textquoteright}s QR method to tame the infamous wrapping effect.",

author = "S. Gruenbacher and J. Cyranka and Islam, \{M. A.\} and M. Tschaikowski and Smolka, \{S. A.\} and R. Grosu",

note = "Publisher Copyright: {\textcopyright} 2019, EasyChair. All rights reserved.; 6th International Workshop on Applied Verification for Continuous and Hybrid systems, ARCH 2019 ; Conference date: 15-04-2019 Through 15-04-2019",

year = "2019",

doi = "10.29007/ns8p",

language = "English",

volume = "61",

pages = "211--219",

journal = "EPiC Series in Computing",

issn = "2398-7340",

}

TY - JOUR

T1 - Under the hood of a stand-alone lagrangian reachability tool

AU - Gruenbacher, S.

AU - Cyranka, J.

AU - Islam, M. A.

AU - Tschaikowski, M.

AU - Smolka, S. A.

AU - Grosu, R.

PY - 2019

Y1 - 2019

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/85080039797

U2 - 10.29007/ns8p

DO - 10.29007/ns8p

M3 - Conference article

AN - SCOPUS:85080039797

SN - 2398-7340

VL - 61

SP - 211

EP - 219

JO - EPiC Series in Computing

JF - EPiC Series in Computing

T2 - 6th International Workshop on Applied Verification for Continuous and Hybrid systems, ARCH 2019

Y2 - 15 April 2019 through 15 April 2019

ER -

Under the hood of a stand-alone lagrangian reachability tool

Abstract

Access to Document

Other files and links

Fingerprint

Cite this