37 citations · 57 across the 8 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
eess.SY2022
Risk Verification of Stochastic Systems with Neural Network Controllers
Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov +1
Motivated by the fragility of neural network (NN) controllers in safety-critical applications, we present a data-driven framework for verifying the risk of stochastic dynamical sys…
eess.SY2022★ 4 cited
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…