7 citations · 17 across the 7 of their papers we have counts for
9 papers
An Observer-based Switching Algorithm for Safety under Sensor Denial-of-Service Attacks
Santiago Jimenez Leudo, Kunal Garg, Ricardo G. Sanfelice +1
The design of safe-critical control algorithms for systems under Denial-of-Service (DoS) attacks on the system output is studied in this work. We aim to address scenarios where att…
Control Barrier Function based Attack-Recovery with Provable Guarantees
Kunal Garg, Ricardo G. Sanfelice, Alvaro A. Cardenas
This paper studies provable security guarantees for cyber-physical systems (CPS) under actuator attacks. In particular, we consider CPS safety and propose a new attack detection me…
Sampling based Computation of Viability Domain to Prevent Safety Violations by Attackers
Kunal Garg, Ricardo G. Sanfelice, Alvaro A. Cardenas
This paper studies the security of cyber-physical systems under attacks. Our goal is to design system parameters, such as a set of initial conditions and input bounds so that it is…
Temporal Phase Shifts in SCADA Networks
Chen Markman, Avishai Wool, Alvaro A. Cardenas
In Industrial Control Systems (ICS/SCADA), machine to machine data traffic is highly periodic. Previous work showed that in many cases, it is possible to create an automata-based m…
Constraining Attacker Capabilities Through Actuator Saturation
Sahand Hadizadeh Kafash, Jairo Giraldo, Carlos Murguia +2
For LTI control systems, we provide mathematical tools - in terms of Linear Matrix Inequalities - for computing outer ellipsoidal bounds on the reachable sets that attacks can indu…
Attenuating the Impact of Integrity Attacks on Real-Time Pricing in Smart Grids
Jairo Giraldo, Alvaro Cárdenas, Nicanor Quijano
The vulnerability of false data injection attacks on real-time electricity pricing for the power grid market has been recently explored. Previous work has focused on the impact cau…