2 citations · 4 across the 5 of their papers we have counts for
3 papers · 1 filter
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…
Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
Nicola Paoletti, Zhihao Jiang, Md Ariful Islam +5
An Implantable Cardioverter Defibrillator (ICD) is a medical device used for the detection of potentially fatal cardiac arrhythmia and their treatment through the delivery of elect…
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…