Abstract

file

Visible to the public The Ektokernel Approach: A Composition Paradigm for Building Evolvable Safety-critical Systems from Unsafe Components

Submitted by Tarek Abdelzaher on Mon, 11/10/2014 - 3:16pm. Contributors:

Abstract:

The goal of this project is to develop a tool-chain for composition of safety-critical cyber-physical systems from a small code base of verified components and a large code base of unverified commercial off-the- shelf components. Unlike tool-chains that aim to deliver end-to-end verified component code, starting from formal languages, specifications, or models, an explicit goal of this project is to accommodate large amounts of legacy code that is typically too complex to verify.

file

Visible to the public Cyber-Physical Manipulation (CPM): Locating, Manipulating, and Retrieving Large Objects with Large Populations of Robots

Submitted by macschwager on Mon, 11/10/2014 - 3:16pm. Contributors:

Abstract:

This project aims to develop the theory and technology for a new frontier in cyber-physical systems: cyber- physical manipulation. The ultimate goal of cyber-physical manipulation is to enable a group of hundreds or thousands of individual robotic agents to collaboratively explore an environment, manipulate objects in that environment, and transport those objects to desired locations.

file

Visible to the public Human Control Strategies in Manual Pursuit Tracking of Sinusoidal Signals

Submitted by James Freudenberg on Mon, 11/10/2014 - 3:16pm. Contributors:

Abstract:

A more recent thrust of our work in this project focuses on continuous control tasks performed by a human operator. Tracking random-appearing and oscillatory signals is a human in the loop task that has been used in many areas such as piloting of vehicles, rehabilitation engineering, and neuroscience. Understanding the control strategies in a human operator for these tracking tasks is of great importance in these areas.

file

Visible to the public Data Driven Intelligent Controlled Sensing for Cyber Physical Systems

Submitted by macschwager on Mon, 11/10/2014 - 3:16pm. Contributors:

Abstract:

Many cyber-physical systems (CPS) deployed in a number of applications ranging from airport security systems and transportation systems to health-care and manufacturing rely on a wide variety of sensors for prediction and control. In many of these systems, acquisition of information requires the deployment and activation of physical sensors, which can result in increased expense or delay.

file

Visible to the public ActionWebs

Submitted by Claire Tomlin on Mon, 11/10/2014 - 3:16pm. Contributors:

Abstract:

The objective of this research is to develop a theory of "ActionWebs", that is, networked embedded sensor-rich systems, which can be tasked to coordinate multiple decision- makers. The approach is to first identify models of ActionWebs using stochastic hybrid systems, an interlinking of continuous dynamical physical models with discrete state representations of interconnection and computation. Second, algorithms will be designed for tasking individual sensors, based on information objectives for the entire system.

file

Visible to the public Safety-Feature Modeling and Adaptive Resource Management for Mixed-Criticality Cyber-Physical Systems

Submitted by sokolsky on Mon, 11/10/2014 - 3:16pm. Contributors:

Abstract:

This project is concerned with ensuring operational safety of complex cyber-physical systems such as automobiles, aircraft, and medical devices. Modern development techniques for such systems rely on independent implementation of safety features in software and subsequent integration of these features within system platform architectures . The current trend in developing these systems, driven by the need to reduce cost and energy consumption, is to share computational resources between different features .

file

Visible to the public Control-Theoretic Defense Strategies for Cyber-Physical Systems

Submitted by fabiopas on Mon, 11/10/2014 - 1:52pm. Contributors:

Abstract:

This project will design next--generation defense mechanisms to protect critical infrastructures, such as power grids, large industrial plants, and water distribution systems. These critical infrastructures are complex primarily due to the integration of cyber and physical components, the presence of high--order behaviors and functions, and an intricate and large interconnection pattern.

file

Visible to the public Compositional System Modeling with Interfaces - COSMOI

Submitted by tripakis on Mon, 11/10/2014 - 1:52pm. Contributors:

Abstract:

Design of cyber-physical systems today relies on executable models. Designers develop models, simulate them, find defects, and improve their designs before the system is built, thus greatly reducing the design costs.

file

Visible to the public Cognitive Green Building: A Holistic Cyber-Physical Analytic Paradigm for Energy Sustainability

Submitted by nshroff on Mon, 11/10/2014 - 1:52pm. Contributors:

Abstract:

Buildings in the U.S. contribute to 39% of energy use, consume approximately 70% of the electricity, and account for 39% of CO2 emissions. Hence, developing green building architec- tures is an extremely critical component in energy sustainability. The investigators will develop a unified analytical approach for green building design that comprehensively manages energy sustainability by taking into account the complex interactions between these systems of systems, providing a high degree of security, agility and robust to extreme events.