National CPS PI Meeting 2015

file

Visible to the public Breakthrough: CPS-Security: Towards Provably Correct Distributed Attack-Resilient Control of Unmanned-Vehicle-Operator Networks

Abstract:

Inherent vulnerabilities of information and communication technology systems to cyber-attacks (e.g., malware) impose significant security risks to Cyber-Physical Systems (CPS). This is evidenced by a number of recent accidents. Noticeably, current distributed control of CPS is not really attack-resilient (ensuring task completion despite attacks). Although provable resilience would significantly lift the trustworthiness of CPS, existing defenses are rather ad-hoc and mainly focus on attack detection.

file

Visible to the public Dependable, Multi-Robot Cooperative Tasking in Uncertain and Dynamic Environments

Abstract:

This project focuses on fundamental theory studies so to enable a scalable, correct-by-construction formal design of multi-robot systems that can guarantee the accomplishment of high-level team missions through automatic synthesis of local coordination mechanisms and control laws.

file

Visible to the public Thermal Management of Cyber-Physical Systems

Abstract:

Modern cyber-physical systems are monitored and controlled by multi-core platforms, and thermal management of multi-core chips is critical as overheated cores thereon will suffer from exponentially decaying lifetime and unacceptable performance degradation. To meet the timing and system lifetime reliability requirements under dynamic workloads and operating environment, we need a real-time thermal management (RTM) scheme that predicts run-time temperature and actuates effective thermal control without compromising task deadlines.

file

Visible to the public Harnessing the Automotive Infoverse

Abstract:

Until now, the "cyber" component of automobiles has consisted of control algorithms and associated software for vehicular subsystems designed to achieve one or more performance, efficiency, reliability, comfort, or safety (PERCS) goals, primarily based on short-term intrinsic vehicle sensor data. However, there exist many extrinsic factors that can affect the degree to which these goals can be achieved.

file

Visible to the public Bringing the Multicore Revolution to Safety-Critical Cyber-Physical Systems

Abstract:

Shared hardware resources like caches and memory introduce timing unpredictability for real-time systems. Worst-case execution time (WCET) analysis with shared hardware resources is often so pessimistic that the extra processing capacity of multicore systems is negated. We propose techniques to improve performance and schedulability for multicore systems.

file

Visible to the public CAREER: Domain-Specific Modeling Techniques for Cyber-Physical Systems

The objective of this research is an injection of new modeling techniques into the area of Cyber-Physical Systems (CPSs). The approach is to design new architectures for domainspecific modeling tools in order to permit feedback from analysis, validation, and verification engines to influence how CPSs are designed. This project outlines new research into the integration of existing, heterogeneous modeling languages in order to address problems in CPS design, rather than a single language used to design any CPS.

file

Visible to the public Extracting Time-Critical Situational Awareness from Resource Constrained Networks

Abstract:

Overall Objective. The goal of this project is to facilitate the timely retrieval of dynamic situational awareness information from field deployed nodes by an operational center in disaster recovery or search and rescue missions, which are typically characterized by resource-constrained uncertain environments. Technology advances allow the deployment of field nodes capable of returning rich content (e.g., video/images) that can significantly aid rescue and recovery.

file

Visible to the public A Wireless, Smart EEG System for Volitional Control of Lower-Limb Prosthesis

Abstract:

Objective: A powered prosthesis is one of typical cyber-physical systems (CPS) with a human-in-the-loop. The human and prosthesis interaction is highly complicated; although the human user could learn to manipulate the prosthesis, increased effort from the user would be required. The prosthesis requires tuning to minimize the user's energy expenditure such that the user can use of and interact with the prosthesis effortlessly and with comfort.

file

Visible to the public CPS: Synergy: Plug-and-Play Cyber-Physical Systems to Enable Intelligent Buildings

Abstract:

Despite their importance within the energy sector, buildings have not kept pace with technological improvements and particularly the evolution of intelligent features. A primary obstacle in enabling intelligent buildings is their highly distributed and diverse nature.

file

Visible to the public Closed-Loop Formal Verification of ICDs using Cardiac Electrophysiological Models

Abstract:

Implantable Cardiac Defibrillators (ICDs) are at the forefront of preventing sudden death in patients suffering from ventricular arrhythmias. ICDs have evolved into complex Cyber-Physical Systems (CPS) which tightly sensing, hardware, and software to diagnose arrhythmias based on electrogram signals and control cardiac excitation. These devices are life-critical, yet the Verification and Validation (V&V) techniques used for establishing their safety have remained informal, and rely largely on extensive unit testing.