Abstract

file

Visible to the public Differential Radical Invariants: Safety Verification and Design of Correct Hybrid Systems

Submitted by kghorbal on Mon, 11/10/2014 - 2:49pm. Contributors:

Abstract:

The verification of hybrid systems requires ways of handling both the discrete and continuous dynamics, e.g., by proofs, abstraction, or approximation. Fundamentally, however, the study of the safety of hybrid systems can be shown to reduce constructively to the problem of generating invariants for their differ- ential equations. We recently focused on this core problem. We study the case of algebraic invariant equation, i.e. invariants described by a polynomial equation of the form p = 0 for a polynomial p.

file

Visible to the public Diagnostics and Prognostics Using Temporal Causal Models for Cyber Physical Systems – A Case of Smart Electric Grid

Submitted by dabhishe on Mon, 11/10/2014 - 2:49pm. Contributors:

Abstract:

Understanding failure in protection system using Temporal Causal Diagrams Situational awareness in large electrical systems and eventual fault source identification and possibly prognostics is a very challenging problem. State of the art relies on a network of protection devices that include relays to detect anomalies and engage circuit breakers to isolate the faulty component(s) in the system.

file

Visible to the public Enabling and Advancing Human and Probabilistic Context Awareness for Smart Facilities and Elder Care

Submitted by Neal Patwari on Mon, 11/10/2014 - 2:49pm. Contributors:

Abstract:

We are at the end of a fouryear effort that has dramatically improved the capability of the use of RF sensors, particularly those that measure received signal strength (RSS) to sense the locations and context of people in buildings and homes. We have investigated both systems which use RFID tags to identify a person or object, and those which use a static deployed network of transceivers for devicefree localization, to locate people moving in the environment who do not carry any tag or device. Locating people who don't wear a de

file

Visible to the public Efficient Traffic Management: A Formal Methods Approach

Submitted by arcak on Mon, 11/10/2014 - 2:49pm. Contributors:

Abstract:

The objective of this project is to develop a formal methods approach to traffic management. Formal methods is an area of computer science that develops efficient techniques for proving the correct operation of systems, such as computer programs and digital circuits, and for designing systems that are correct by construction.

file

Visible to the public Efficient Mapping and Management of Applications onto Cyber-Physical Systems

Submitted by martonosi on Mon, 11/10/2014 - 2:49pm. Contributors:

Abstract:

Cyber-Physical Systems comprise richly heterogeneous collections of devices (mobile devices, home electronics, taxis, robotic drones, etc.) that together gather sensor data, analyze it, and coordinate large--scale actions in response to it.

file

Visible to the public Efficient Control Synthesis and Learning in Distributed Cyber-Physical Systems

Submitted by Herbert Tanner on Mon, 11/10/2014 - 2:49pm. Contributors:

Abstract:

Scientific challenges: How can multiple cooperative cyber-physical systems communicate and coordinate to accomplish complex high-level tasks within unknown, dynamic and adversarial environments?

file

Visible to the public Foundations for Understanding Volatility and Improving Operational Reliability

Submitted by mardavij on Mon, 11/10/2014 - 2:49pm. Contributors:

Abstract:

This project addresses the impact of the integration of renewable intermittent generation and the integration of sophisticated sensing, communication, and actuation capabilities into the grid on the system's reliability, volatility, and economic efficiency, and seeks to develop system architectures, along with associated optimization and control algorithms to balance such trade--offs. The high level goals of this project can be stated as follows:

file

Visible to the public Foundations for Flow-based Cyber-Physical Systems

Submitted by rstoleru on Mon, 11/10/2014 - 2:49pm. Contributor:

Abstract:

Recent developments in nanostructures manufacturing, sensing and wireless networking, will soon enable us to deploy Flow-based Cyber-Physical Systems equipped with sensing and actuation capabilities for a broad range of applications.

file

Visible to the public Formal Analysis of Human Machine Interactions for Cyber-Physical Systems

Submitted by srirams on Mon, 11/10/2014 - 2:06pm. Contributors:

Abstract:

Human users are integral to the operation of safety--critical CPS. The goal of this project is to model and analyze the actions of human users along with possible mistakes that may appear in these interactions. We seek to develop approaches that will help us understand the effect of human operator mistakes on the overall system correctness. Our focus is on medical infusion pumps used to deliver drugs to patients.

file

Visible to the public Exploration of the Cyber-Physical Design Space

Submitted by givargis on Mon, 11/10/2014 - 1:44pm. Contributor:

Abstract:

The overall objective of this project is to create a general CPS design-science that makes design of every CPS simpler, faster and more dependable, while at the same time reducing the cost and the required expertise level. In order to master this challenge, we address four fundamental and closely related issues: