@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 = "Funding Information: Research supported in part by the following grants: NSF IIS-1447549, NSF CPS-1446832, NSF CPS-1446725, NSF CNS-1445770, NSF CNS-1430010, AFOSR FA9550-14-1-0261 and ONR N00014-13-1-0090. Publisher Copyright: {\textcopyright} Springer International Publishing AG 2017.; null ; 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",

}