2015 CPS PI MTG Videos, Posters, and Abstracts

file

Visible to the public CRII: CPS: Safe Cyber-Physical Systems Upgrades

Abstract:

Cyber-physical systems (CPS) encompass the next generation of computerized control for countless aspects of the physical world and interactions thereof. The typical engineering process for CPS reuses existing designs, models, components, and software from one version to the next.

file

Visible to the public A Mathematical Theory of Cyber-Physical Systems

Abstract:

Overview. The fundamental challenge in cyber-physical systems is the confluence of distinct scientific and engineering models, methods, and tools for cyber and physical systems. Cyber systems are primarily about processing information, formally modeled as patterns of bits. Physical systems are primarily about structure and dynamics, the evolution of the state of the system in time. There are certainly connections between these models, methods, and tools.

file

Visible to the public A Unified System Theoretic Framework for Cyber Attack-Resilient Power Grid

Abstract:

We developed a systematic analytical and computational framework for the vulnerability analysis and mitigation of data integrity attacks on Phasor Measurement Units (PMUs) employed for wide area monitoring and control of power system. The analytical framework is based on the stability theory of stochastic dynamical system and it allows one to systematically determine the PMUs most critical to power network security.

file

Visible to the public CPS: Synergy: Integrated Modeling, Analysis and Synthesis of Miniature Medical Devices

Abstract:

This project develops an integrated design and simulation environment for the creation of miniature capsule robots (MCRs). An MCR is a biocompatible Cyber-Physical System (CPS) designed to operate in the human body to accomplish diagnostic or therapeutic tasks (e.g., colonoscopy, abdominal surgery, etc.). A typical MCR has to fulfill three main constraints: safety, low power operation and small size. Advances in miniaturization of electronic devices have made MCRs a reality.

file

Visible to the public Learning Control Sharing Strategies for Assistive Cyber-Physical Systems

Abstract:

People with upper extremity disabilities are gaining increased independence through the use of assistive robotic arms, but performing tasks that require many small precise movements remains difficult. In fact, a confounding factor is that the more severe a person's motor impairment, the more limited are the control interfaces available to them to operate the system.

file

Visible to the public Knowledge-Aware Cyber-Physical Systems

Abstract:

During the development process of CPS, an analysis of whether the system operates safely in its target environment is of utmost importance. For many applications of CPS research such as the transportation industry, this implies interconnected research in formal verification of CPS with research on knowledge representation and reasoning in multi-agent systems. The need for such research has become tragically clear in transportation accidents, one notorious case being the Air France 447 flight incident.

file

Visible to the public High-level Perception and Control for Autonomous Reconfigurable Modular Robots

Abstract:

The objective of this research is to develop the theory, hardware and computational infrastructure that will enable automatically transforming user-defined, high-level tasks into correct, low-level perception informed control and configurations for modular robots.

file

Visible to the public Boolean Microgrid

Abstract:

In this project, we are working on the broad problem of maximizing the penetration of renewables in smart grid. To that end, we are developing strategies for optimal demand response, operation, and real-time pricing. In particular, we propose theory for optimal operation for the independent system operator (ISO), and for the load serving entity (LSE).