CPS-PI Meeting 2018

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 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.

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 Reconciling Safety with the Internet for Cyber-Physical Systems

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

Overview. The Internet of Things (IoT) leverages Internet technology in cyber-physical systems, but the protocols and principles of the Internet were not designed for interacting with the physical world. For example, timeliness is not a factor in any widespread Internet technology, with Quality-of-Service (QoS) features having been routinely omitted for decades.

file

Visible to the public Real-Time Cyber-Human-Vehicle Systems for Driving Safety Enhancement

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

In this poster, we briefly present the overview of this CPS project and our research progress in its first two years. The overall goals of this project are to develop onboard-adaptable and personalizable human driver models, create revolutionary driver-specific and personalized vehicle active motion control systems, design dynamic onboard real-time computation task scheduling methods, and integrate real-time V2V communications with driver-vehicle-pair-specific inter-vehicle motion control methods.

file

Visible to the public Real-Time Computer Vision in Autonomous Vehicles: Real Fast Isn't Good Enough

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

A significant gap exists between how computer-vision software and embedded safety-critical software define the term real time. In computer vision, "real time" often means "real fast" and refers to high average throughput with low latency. In contrast, safety-critical embedded systems consider "real time" to be a statement about predictable timing under continuous performance. Put in a larger context, this disparity in definitions is merely a symptom of the fact that, historically, computer vision and embedded systems have evolved independently.