CPS PI Poster Session

file

Visible to the public Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms

Submitted by John Hatcliff on Thu, 10/24/2013 - 3:06pm. Contributors:

Abstract:

Medical devices are typically developed as stand-alone units. Current industrial Verification and Validation (V&V) tech- niques primarily target stand-alone systems. Moreover, the US Food and Drug Administration's (FDA) regulatory clearance processes are designed to approve such devices that are integrated by a single manufacturer with complete control over all components.

file

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

Submitted by John Gallagher on Thu, 10/24/2013 - 3:01pm. Contributors:

Abstract:

Effective engineering of complex devices often depends on the ability to encapsulate responsibility for tasks into modular components with specific responsibilities and clearly defined lines of communication. Under such conditions, one can determine what components or lines of communication are at fault for poor system performance because the system can be checked against modularized model specifications.

file

Visible to the public Foundations of Cyber-Physical Infrastructure for Creative Design and Making of Cyber-physical Products

Submitted by Jitesh Panchal on Thu, 10/24/2013 - 2:57pm. Contributors:

Abstract:

This grant provides funding for establishing the scientific foundations of a product innovation process that can engage a vastly larger pool of talent to generate new ideas and to create new cyber-physical products. The primary objective is to address fundamental issues pertaining to natural interfaces, behavioral modeling and secure knowledge sharing, with particular emphasis on their integration.

file

Visible to the public Foundations of Cyber-Physical Networks

Submitted by Jiawei Han on Thu, 10/24/2013 - 2:51pm. Contributors:

Abstract:

Cyber Physical Systems (CPSs) integrate physical devices (e.g., sensors, cameras) with cyber components to form a situation-aware analytical system. The overall research objective of the project is to reveal cross-cutting fundamental scientific and engineering principles that underpin the integration of cyber and physical elements across all application sectors. Here we provide an overview of our recent research achievements:

file

Visible to the public Plug-and-Play Cyber-Physical Systems to Enable Intelligent Buildings

Submitted by jianghai on Thu, 10/24/2013 - 2:35pm. Contributors:

Abstract:

Despite their importance within the energy sector, buildings have not kept pace with technological improvements and particularly the evolution of intelligent features. A primary obstacle in enabling intelligent buildings is their highly distributed and diverse nature.

file

Visible to the public Digital Control of Hybrid Systems via Simulation and Bisimulation

Submitted by jiwoong on Thu, 10/24/2013 - 2:27pm. Contributors:

Abstract:

A hybrid system is a dynamical model that describes the coupled evolution of both continuous- valued variables and discrete patterns. A prime example of such a system is a power electronic circuit, where the semiconductor transistors behave as ideal switches whose switching actions effectively change the circuit topology (i.e., the discrete pattern) that in turn defines the dynamics of currents and voltages (i.e., the continuous variables) and hence the switching actions.

file

Visible to the public Identification of Human Feedforward Control in a Cyber Grasp and Twist Task

Submitted by James Freudenberg on Thu, 10/24/2013 - 2:13pm. Contributors:

Abstract:

When mechanical linkages are replaced by electronic communication and control systems, certain undesirable phenomena can arise that may be difficult to anticipate. In simple cases the lack of dissipativity in the cyber link unmasks instabilities that were present but suppressed in the system with a mechanical (physical) link. In more complex cases, there may be no simple physical equivalent to the system containing the cyber link, and a damping coefficient or dissipative element may not be identifiable.

file

Visible to the public An Architectural Approach to Heterogeneous Modeling and Verification of CPS

Submitted by ivan on Thu, 10/24/2013 - 1:59pm. Contributors:

Abstract:

Current methods for design and verification of cyber-physical systems (CPS) lack a unifying framework due to the complexity and heterogeneity of the constituent elements and their interactions. Heterogeneous models describe different aspects of a CPS at varying levels of abstraction and using different formal languages. This prevents engineers from detecting inconsistencies among models and reasoning at the system level to verify specifications at design time.