2018

file

Visible to the public Safety-Aware Cyber-Molecular Systems

Submitted by Robyn.Lutz on Tue, 01/22/2019 - 7:57pm. Contributors:

Molecular programming uses the computational power of DNA and other biomolecules to create nanoscale systems. Many of these envisioned nano-systems are safety-critical, such as diagnostic biosensors that detect contam-inants, drug capsules that dispense medicine when they encounter diseased cells, and configurable nano-robots. Challenges to the safety engineering of the nano-systems include their probabilistic behavior, their very small size, the very large number of them that execute at once, and the dynamic envi-ronment in which they operate.

file

Visible to the public Scaling Cyber-Physical Systems to the Low-Power Internet of Things

Submitted by Fadel Adib on Tue, 01/22/2019 - 7:57pm. Contributor:

Battery-free sensors are annually attached to billions of items including pharmaceutical drugs, clothes, and manufacturing parts. The fundamental challenge with these sensors is that they are only reliable at short distances. As a result, today's systems for communicating with and localizing battery-free sensors are crippled by the limited range. This research proposes a cyber-physical system architecture that can overcome this challenge to enable sensing, communicating with, and localizing these sensors at an unprecedented scale.

file

Visible to the public Robustness Guided Testing and Verification for Cyber-Physical Systems

Submitted by fainekos on Tue, 01/22/2019 - 7:46pm. Contributor:

This project develops a theoretical framework as well as software tools to support testing and verification of a Cyber-Physical System (CPS) within a Model-Based Design (MBD) process. The theoretical bases of the framework are stochastic optimization methods, and robustness notions of formal specification languages.

file

Visible to the public Rethinking Communication and Control for Low-Latency, High Reliability IoT Devices

Submitted by pappasg on Tue, 01/22/2019 - 7:46pm. Contributors:

The internet-of-things (IoT) revolution is bringing millions of physical devices online (e.g. cars, UAVs, homes, medical devices), enabling them to connect to each other in real-time, as well as to cloud services. Wireless communication will be critical in providing IoT connectivity. This work focuses on low-latency and ultra-reliable communications and networking that is critical for latency-sensitive, closed-loop control applications, like vehicle to vehicle communications, collaborative swam planning, and industrial control.

file

Visible to the public Resilient Control Systems with respect to Instrumentation Attacks- Theory and Testbed Verification.pdf

Submitted by Liang Zhang on Tue, 01/22/2019 - 7:46pm. Contributor:

In a cyber-physical system, the operation of the physical plant is typically maintained by closed-loop control, which is intended to keep the plant process variables in a desired range. A major part of any control system is its instrumentation, i.e., sensors and actuators. Due to information exchange between the controller and the instrumentation, the control system performance may be compromised by attacks on its sensors and actuators.