@inproceedings{502e50bdf67e457c92fc21a462a88107,
title = "Lagrangian reachabililty",
abstract = "We introduce LRT, a new Lagrangian-based ReachTube computation algorithm that conservatively approximates the set of reachable states of a nonlinear dynamical system. LRT makes use of the Cauchy-Green stretching factor (SF), which is derived from an over-approximation of the gradient of the solution-flows. The SF measures the discrepancy between two states propagated by the system solution from two initial states lying in a well-defined region, thereby allowing LRT to compute a reachtube with a ball-overestimate in a metric where the computed enclosure is as tight as possible. To evaluate its performance, we implemented a prototype of LRT in C++/Matlab, and ran it on a set of well-established benchmarks. Our results show that LRT compares very favorably with respect to the CAPD and Flow* tools.",
author = "Jacek Cyranka and Islam, {Md Ariful} and Greg Byrne and Paul Jones and Smolka, {Scott A.} and Radu Grosu",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2017.; 29th International Conference on Computer Aided Verification, CAV 2017 ; Conference date: 24-07-2017 Through 28-07-2017",
year = "2017",
doi = "10.1007/978-3-319-63387-9_19",
language = "English",
isbn = "9783319633862",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "379--400",
editor = "Viktor Kuncak and Rupak Majumdar",
booktitle = "Computer Aided Verification - 29th International Conference, CAV 2017, Proceedings",
}