25 citations · 63 across the 13 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
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…
math.AP2017★ 25 cited
Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
Jacek Cyranka, Thomas Wanner
We present a computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model of diblock copolymers. The model is a fourth-order parabolic partial dif…