2 citations · 4 across the 5 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
eess.SY2018★ 1 cited
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…
math.NA2018
Tight Continuous-Time Reachtubes for Lagrangian Reachability
Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka +2
We introduce continuous Lagrangian reachability (CLRT), a new algorithm for the computation of a tight and continuous-time reachtube for the solution flows of a nonlinear, time-var…