215 citations · 275 across the 30 of their papers we have counts for
8 papers · 1 filter
A Modular Platform For Collaborative, Distributed Sensor Fusion
R. Spencer Hallyburton, Nate Zelter, David Hunt +2
Leading autonomous vehicle (AV) platforms and testing infrastructures are, unfortunately, proprietary and closed-source. Thus, it is difficult to evaluate how well safety-critical…
Attacks on Perception-Based Control Systems: Modeling and Fundamental Limits
Amir Khazraei, Henry Pfister, Miroslav Pajic
We study the performance of perception-based control systems in the presence of attacks, and provide methods for modeling and analysis of their resiliency to stealthy attacks on bo…
Resiliency of Nonlinear Control Systems to Stealthy Sensor Attacks
Amir Khazraei, Miroslav Pajic
In this work, we focus on analyzing vulnerability of nonlinear dynamical control systems to stealthy sensor attacks. We start by defining the notion of stealthy attacks in the most…
Optimal Myopic Attacks on Nonlinear Estimation
R. Spencer Hallyburton, Amir Khazraei, Miroslav Pajic
Recent high-profile incidents have exposed security risks in control systems. Particularly important and safety-critical modules for security analysis are estimation and control (E…
Formal Verification of Stochastic Systems with ReLU Neural Network Controllers
Shiqi Sun, Yan Zhang, Xusheng Luo +3
In this work, we address the problem of formal safety verification for stochastic cyber-physical systems (CPS) equipped with ReLU neural network (NN) controllers. Our goal is to fi…
Probabilistic Conformance for Cyber-Physical Systems
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpoor +1
In system analysis, conformance indicates that two systems simultaneously satisfy the same set of specifications of interest; thus, the results from analyzing one system automatica…
Security Analysis for Distributed IoT-Based Industrial Automation
Vuk Lesi, Zivana Jakovljevic, Miroslav Pajic
With ever-expanding computation and communication capabilities of modern embedded platforms, Internet of Things (IoT) technologies enable development of Reconfigurable Manufacturin…
Attack-Resilient State Estimation with Intermittent Data Authentication
Amir Khazraei, Miroslav Pajic
Network-based attacks on control systems may alter sensor data delivered to the controller, effectively causing degradation in control performance. As a result, having access to ac…