14 citations · 17 across the 5 of their papers we have counts for
5 papers
An STREL-based Formulation of Spatial Resilience in Cyber-Physical Systems
Zeyu Zhang, Hongkai Chen, Nicola Paoletti +2
Resiliency is the ability of a system to quickly recover from a violation (recoverability) and avoid future violations for as long as possible (durability). In the spatial setting,…
MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas
Hongkai Chen, Nicola Paoletti, Scott A. Smolka +1
Even though model predictive control (MPC) is currently the main algorithm for insulin control in the artificial pancreas (AP), it usually requires complex online optimizations, wh…
Generalization Bounds for Convolutional Neural Networks
Shan Lin, Jingwei Zhang
Convolutional neural networks (CNNs) have achieved breakthrough performances in a wide range of applications including image classification, semantic segmentation, and object detec…
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…
Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems
Fedor Shmarov, Nicola Paoletti, Ezio Bartocci +3
We present a new method for the automated synthesis of safe and robust Proportional-Integral-Derivative (PID) controllers for stochastic hybrid systems. Despite their widespread us…