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.

Created from the Publication Database of the Vienna University of Technology.