78 citations · 297 across the 42 of their papers we have counts for
7 papers · 1 filter
Causal Repair of Learning-enabled Cyber-physical Systems
Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland +2
Models of actual causality leverage domain knowledge to generate convincing diagnoses of events that caused an outcome. It is promising to apply these models to diagnose and repair…
Conformal Prediction Regions for Time Series using Linear Complementarity Programming
Matthew Cleaveland, Insup Lee, George J. Pappas +1
Conformal prediction is a statistical tool for producing prediction regions of machine learning models that are valid with high probability. However, applying conformal prediction…
A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems
Kaustubh Sridhar, Radoslav Ivanov, Vuk Lesi +6
This paper tackles the problem of making complex resource-constrained cyber-physical systems (CPS) resilient to sensor anomalies. In particular, we present a framework for checkpoi…
ModelGuard: Runtime Validation of Lipschitz-continuous Models
Taylor J. Carpenter, Radoslav Ivanov, Insup Lee +1
This paper presents ModelGuard, a sampling-based approach to runtime model validation for Lipschitz-continuous models. Although techniques exist for the validation of many classes…
Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller
Radoslav Ivanov, Taylor J. Carpenter, James Weimer +3
This paper describes a verification case study on an autonomous racing car with a neural network (NN) controller. Although several verification approaches have been proposed over t…
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency
Luan Viet Nguyen, Gautam Mohan, James Weimer +3
Model-based design offers a promising approach for assisting developers to build reliable and secure cyber-physical systems (CPSs) in a systematic manner. In this methodology, a de…
Verisig: verifying safety properties of hybrid systems with neural network controllers
Radoslav Ivanov, James Weimer, Rajeev Alur +2
This paper presents Verisig, a hybrid system approach to verifying safety properties of closed-loop systems using neural networks as controllers. Although techniques exist for veri…