cyber-physical security

file

Visible to the public Control-Theoretic Defense Strategies for Cyber-Physical Systems

Submitted by fabiopas on Mon, 02/01/2016 - 4:37am. Contributors:

Abstract:

This project will design next-generation defense mechanisms to protect critical infrastructures, such as power grids, large industrial plants, and water distribution systems. These critical infrastructures are complex primarily due to the integration of cyber and physical components, the presence of high-order behaviors and functions, and an intricate and large interconnection pattern.

file

Visible to the public Secure, Open-Access Multi-Robot Systems

Submitted by Magnus Egerstedt on Mon, 02/01/2016 - 4:36am. Contributors:

Abstract:

This project addresses the safety and security issues that arise when giving users remote-access to a multi-robot research test-bed, where mobile robots can coordinate their behaviors in a collaborative manner. Through a public interface, users are able to schedule, and subsequently upload, their own code and run their experiments, while being provided with the scientific data produced through the experiment.

file

Visible to the public Controller Synthesis for Linear Time-varying Systems with Adversaries

Submitted by awhitesell on Wed, 01/13/2016 - 11:53am. Contributors:

We present a controller synthesis algorithm for a discrete time reach-avoid problem in the presence of adversaries. Our model of the adversary captures typical malicious attacks envisioned on cyber-physical systems such as sensor spoong, controller corruption, and actuator intrusion. After formulating the problem in a general setting, we present a sound and complete algorithm for the case with linear dynamics and an adversary with a budget on the total L2-norm of its actions.

file

Visible to the public A Secure, Open Access Multi-Robot Systems

Submitted by Magnus Egerstedt on Mon, 12/21/2015 - 3:56pm. Contributors:

Abstract:

This project addresses the safety and security issues that arise when giving users remote-access to a multi-robot research test-bed, where mobile robots can coordinate their behaviors in a collaborative manner. Through a public interface, users are able to schedule, and subsequently upload, their own code and run their experiements, while being provided with the scientific data produced through the experiment.

file

Visible to the public Control-Theoretic Defense Strategies for Cyber-Physical Systems

Submitted by fabiopas on Mon, 11/10/2014 - 1:52pm. Contributors:

Abstract:

This project will design next--generation defense mechanisms to protect critical infrastructures, such as power grids, large industrial plants, and water distribution systems. These critical infrastructures are complex primarily due to the integration of cyber and physical components, the presence of high--order behaviors and functions, and an intricate and large interconnection pattern.

file

Visible to the public Foundations of Secure Cyber Physical Systems

Submitted by suhas on Mon, 11/10/2014 - 12:44pm. Contributors:

Abstract:

Cyber-physical systems regulating critical infrastructures, such as electrical grids and water networks, are increasingly geographically distributed, necessitating communication between remote sensors, actuators and controllers. The combination of networked computational and physical sub- systems leads to new security vulnerabilities that adversaries can exploit with devastating consequences.