CPS-PI Meeting 2017

file

Visible to the public Towards a Science of Attack Composition, Mitigation and Verification in Cyber Physical Systems-A Passivity Based Approach

Submitted by poovendran on Wed, 11/29/2017 - 4:20pm. Contributors:

Cyber-physical systems (CPS) may be targeted by multiple simultaneous attacks, with the goal of disrupting availability, safety, and performance of the CPS. This project aims to develop a passivity-based framework for modeling, composing, and mitigating attacks on CPS, as well as verifying the models and mitigation. Passivity is an energy dissipation property of dynamical systems that provides basic rules for composition and analysis of interconnected systems.

file

Visible to the public Development of Novel Architectures for Control and Diagnosis of Safety-Critical Complex Cyber-Physical System

Submitted by Stephane Lafortune on Wed, 11/29/2017 - 4:20pm. Contributors:

The project is developing novel architectures for control and diagnosis of complex cyber--physical systems subject to stringent performance requirements in terms of safety, resilience, and adaptivity. These ever--increasing demands necessitate the use of formal model--based approaches to synthesize provably--correct feedback controllers.

file

Visible to the public CPS: Small: Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems

Submitted by Stephane Lafortune on Wed, 11/29/2017 - 4:20pm. Contributors:

This project is developing theoretical foundations and computational algorithms for synthesizing higher-level supervisory and information-acquisition control logic in cyber-physical systems that expend or replenish their resources while interacting with the environment. On the one hand, qualitative requirements capture the safety requirements that are imposed on the system as it operates. On the other hand, quantitative requirements capture resource constraints in the context of energy- aware systems.

file

Visible to the public CAREER- A Compositional Approach to Modular Cyber-Physical Control System Design

Submitted by necozay on Wed, 11/29/2017 - 4:20pm. Contributor:

Complex, networked, distributed cyber-physical systems (CPSs) are emerging in many safety-critical application domains such as aerospace and automotive. Design of such systems heavily relies on insights and experiences of engineers as principled design methodologies that can cope with the complexity of these systems are lacking. As a result, extensive testing and fine-tuning is required to ensure that the final product satisfies the design objectives.