25 citations · 63 across the 13 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2020★ 2 cited
Lagrangian Reachtubes: The Next Generation
Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner +3
We introduce LRT-NG, a set of techniques and an associated toolset that computes a reachtube (an over-approximation of the set of reachable states over a given time horizon) of a n…
eess.SY2017
Lagrangian Reachabililty
Jacek Cyranka, Md. Ariful Islam, Greg Byrne +3
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…