Publications in Scientific Journals:
S. Grünbacher, J. Cyranka, A. Islam, M. Tschaikowski, S. Smolka, R. Grosu:
"Under the Hood of a Stand-Alone Lagrangian Reachability Tool";
EPiC Series in Computing,
.
(2019),
61;
211
- 219.
English 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.