Filters








3 Hits in 0.67 sec

Lagrangian Reachabililty [chapter]

Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul Jones, Scott A. Smolka, Radu Grosu
2017 Lecture Notes in Computer Science  
We introduce LRT, a new Lagrangian-based ReachTube computation algorithm that conservatively approximates the set of reachable states of a nonlinear dynamical system.  ...  The Lagrangian coordinates depend on the initial (Eulerian) position, and the time t, so we use x(X, t) to denote the position of a particle in Lagrangian coordinates.  ...  FTLE are widely computed in e.g. climate research in order to detect Lagrangian coherent structures. We call this approach and its associated the LRT, for Lagrangian Reachtube computation.  ... 
doi:10.1007/978-3-319-63387-9_19 fatcat:ahezwhyfpjevfdunhgtnjzdrny

Lagrangian Reachabililty [article]

Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul Jones, Scott A. Smolka, Radu Grosu
2017 arXiv   pre-print
We introduce LRT, a new Lagrangian-based ReachTube computation algorithm that conservatively approximates the set of reachable states of a nonlinear dynamical system.  ...  The Lagrangian coordinates depend on the initial (Eulerian) position, and the time t, so we use x(X, t) to denote the position of a particle in Lagrangian coordinates.  ...  FTLE are widely computed in e.g. climate research in order to detect Lagrangian coherent structures. We call this approach and its associated the LRT, for Lagrangian Reachtube computation.  ... 
arXiv:1705.05927v4 fatcat:5cavfij6hzaz3ahmh6kc44icm4

Network Design for Controllability Metrics [article]

Cassiano O. Becker, Sérgio Pequito, George J. Pappas, Victor M. Preciado
2020 arXiv   pre-print
In (a,·), we consider the design for worst-case reachabililty problem, while in (b,·) we present results for the design for average reachability problem.  ...  For the case of design for worst-case reachabililty, we define the ratio of improvement ρ λ =λ 1 /λ 1 and fix target valuesρ low λ = 10.00 andρ high λ = 50.00.  ... 
arXiv:1902.04195v4 fatcat:4h4stayly5e73ozl2c7zx4lboy