Abstract

file

Visible to the public Precise Piecewise Affine Models from Input Output Data

Submitted by Rajeev Alur on Mon, 11/10/2014 - 1:43pm. Contributors:

Abstract:

Formal design and analysis of embedded control software relies on mathematical models of dynamical systems, and such models can be hard to obtain. In this paper, we focus on automatic construction of piecewise affine models from input-output data.

file

Visible to the public Physically Informed Assertions for CPS Development and Debugging

Submitted by Raul Longoria on Mon, 11/10/2014 - 1:43pm. Contributors:

Abstract:

This project's overall objective is to enable assertion-driven development and debugging of cyberphysical systems (CPS). As opposed to traditional uses of assertions in software engineering, CPS demand a tight coupling of the cyber with the physical, especially to aid system validation. This project will show how physical system models can be used to create and apply assertions to help produce methods and tools that will facilitate verification and validation of cyberphysical systems.In the first year of this project, an emp

file

Visible to the public Optimal Resource Management in Wireless Control Systems

Submitted by kgatsis on Mon, 11/10/2014 - 1:43pm. Contributors:

Abstract:

Modern cyber-physical applications appearing in, e.g., industrial and building automation, often utilize wireless communication to transfer information between sensors, controllers, and actuators. The wireless devices used to carry out the communication, however, are characterized by resource constraints, e.g., limited battery power resources for transmission. To achieve a desirable balance between control application performance and resource utilization, efficient resource management mechanisms are necessary.

file

Visible to the public NSF Early Career Professionals Workshop on Exploring Frontiers in Cyber-Physical Systems

Submitted by AnnMajewicz on Mon, 11/10/2014 - 1:43pm. Contributors:

Abstract:

The community of early-career researchers has typically not been addressed by previous CPS workshops or PI meetings; engaging these individuals will foster new partnerships and collaborations, contribute to the growth of new and creative ideas that are foundational to CPS across multiple application domains, and will contribute to the nurturing of early-career PIs and prospective PIs in CPS.

file

Visible to the public Mutually Stabilized Correction in Physical Demonstration

Submitted by Todd Murphey on Mon, 11/10/2014 - 1:43pm. Contributors:

Abstract:

The goals of this project include the development of real-time control for human-machine co-control of highly dynamic and potentially dangerous systems. The work focuses on formalizing the automated assessment of trust, primarily focusing on the degree to which a computer should trust a human operator. We are focusing on two experimental tasks: a) a crane operation task, where control in automation settings requires a highly skilled operator, and b) rehabilitation and training tasks.

file

Visible to the public Multiple-Level Predictive Control of Mobile Cyber Physical Systems with Correlated Context

Submitted by John Stankovic on Mon, 11/10/2014 - 1:43pm. Contributors:

Abstract:

With the increasing popularity of mobile computing, cyber physical systems are merging into major mobile systems of our society, such as public transportation, supply chain systems, health and wellness, and taxi networks. Mobile CPSs interact with phenomena of interest at different locations and environments, and where the context information (e.g., network availability and connectivity) about these physical locations might not be available.

file

Visible to the public Multi-Robot Cyber-Physical System For Assisting Young Developmentally-Delayed Children in Learning to Walk

Submitted by GOLDFIELD on Mon, 11/10/2014 - 1:43pm. Contributors:

This project is a modular, computationally-distributed multi-robot cyberphysical system (CPS) for assisting young developmentally-delayed children in learning to walk. Three challenges are stabilizing medio-lateral body sway, developing gait that exploits energy exchange, and coordination of multiple degrees of freedom. Adults assisting children learning to walk provide a "scaffold" of postural supports that enables the child to safely explore the forces acting on its body.

file

Visible to the public Multi-Agent Control of Intelligent Power Distribution Systems

Submitted by anilpahwa on Mon, 11/10/2014 - 1:43pm. Contributors:

Abstract:

The project will demonstrate a Holonic Multi-agent System Architecture capable of adaptively controlling future electrical power distribution systems (PDS), which are expected to include a large number of renewable power generators, energy storage devices, and advanced metering and control devices. The project will produce a general, extensible, and secure cyber architecture based on holonic multi-agent principles to support adaptive PDS.

file

Visible to the public Monitoring Techniques for Safety Critical Cyber-Physical Systems

Submitted by ayavol2 on Mon, 11/10/2014 - 1:43pm. Contributors:

Abstract:

Correct functioning of cyber-physical systems is of critical importance. This is more so in the case of safety critical systems such as in medical or automotive applications.

file

Visible to the public Methodologies for Engineering with Plug-and-Learn Components: Synthesis and Analysis Across Abstraction Layers

Submitted by John Gallagher on Mon, 11/10/2014 - 1:43pm. Contributors:

Abstract:

CyberPhysical Systems (CPS) that self-modify to improve performance or repair damage often rewrite the modular relationships that make system modeling or Verification and Validation (V&V) possible. In this project, we are exploring methods to create self- modifying CPS systems that, in addition to self-improving or self-repairing, are also capable of maintaining system models that support the use of V&V techniques.