2013

file

Visible to the public Cyber-physical Integration for Digital Microfluidic Biochips

Submitted by Kai Hu on Thu, 10/24/2013 - 3:23pm

Abstract:

The goal of this project is to integrate digital microfluidics systems with thin-film photodetectors in the top plate to realize biochemical target sensing using fluorescence. System control, adaptation, and reconfiguration through software will lead to a general-purpose lab-on-chip computing platform, in the same way as programmable computing devices allow multifunctional capabilities via software on a hardware platform.

file

Visible to the public Distributed Coordination of Agents For Air Traffic Flow Management

Submitted by Kagan Tumer on Thu, 10/24/2013 - 3:21pm. Contributors:

Abstract:

This project addresses the management of the air traffic system, a cyber-physical sys- tem where the need for a tight connection between the computational algorithms and the physical system is critical to safe, reliable and efficient performance. Indeed, the lack of this tight connection is one of the reasons current systems are overwhelmed by the ever increasing traffic and suffer when there is any deviation from the expected (e.g., changing weather).

file

Visible to the public Domain-Specific Modeling

Submitted by sprinkle on Thu, 10/24/2013 - 3:16pm. Contributors:

Abstract:

The objective of this research is an injection of new modeling techniques into the area of Cyber-Physical Systems (CPSs). The approach is to design new architectures for domain- specific modeling tools in order to permit feedback from analysis, validation, and verification engines to influence how CPSs are designed. This project outlines new research into the integration of existing, heterogeneous modeling languages in order to address problems in CPS design, rather than a single language used to design any CPS.

file

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

Submitted by John Stankovic on Thu, 10/24/2013 - 3:10pm. 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, and taxi networks. Researchers have accumulated abundant knowledge for designing cyber physical systems, such as military surveillance, infrastructure protection, scientific exploration, and smart environments, mostly in relatively stationary settings, i.e., where spatial diversity is limited.

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.