2014

file

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

Submitted by Mohamed Ibrahim on Mon, 11/10/2014 - 1:49pm. Contributors:

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 Cyber-Physical Cloud Computing

Submitted by Raja Sengupta on Mon, 11/10/2014 - 1:49pm. Contributor:

Abstract:

Computation advances in physical time, but embedded computing has found value in logical time programming. Likewise, robotic systems can be simplified by programming in logical space, even though robots live and move in physical space. Our tools ask the roboticist to program on a logical abstraction of the physical. The principal new products are two drivers. One handles the problem of keeping the logical model consistent with physical data. The other enables logical control actions to have physical effect.

file

Visible to the public Credible Autocoding and Verification of Embedded Software (CrAVES)

Submitted by rjobredeaux3 on Mon, 11/10/2014 - 1:49pm. Contributors:

Abstract:

The CrAVES project seeks to lay down intellectual foundations for credible autocoding of embedded systems, by which graphical control system specifications that satisfy given open-loop and closed-loop properties are automatically transformed into source code guaranteed to satisfy the same properties. The goal is that the correctness of these codes can be easily and independently verified by dedicated proof checking systems.

file

Visible to the public CrAVES : Credible Autocoding and Verification of Embedded Software

Submitted by lememta on Mon, 11/10/2014 - 1:49pm. Contributor:

Abstract:

The CrAVES project seeks to lay down intellectual foundations for credible autocoding of embedded systems, by which model-level control system specifications that satisfy given open-loop and closed-loop properties are automatically transformed into source code guaranteed to satisfy the same properties. The goal is that the correctness of these codes can be easily and independently verified by dedicated proof checking systems.

file

Visible to the public CPS: Synergy: A Novel Biomechatronic Interface Based on Wearable Dynamic Imaging Sensors

Submitted by ssikdar on Mon, 11/10/2014 - 1:49pm. Contributors:

The problem of controlling biomechatronic systems, such as multiarticulating prosthetic hands, involves unique challenges in the science and engineering of Cyber Physical Systems (CPS), requiring integration between computational systems for recognizing human functional activity and intent and controlling prosthetic devices to interact with the physical world. Research on this problem has been limited by the difficulties in noninvasively acquiring robust biosignals that allow intuitive and reliable control of multiple degrees of freedom (DoF).

file

Visible to the public Dynamical-Network Evaluation and Design Tools for Strategic-to-Tactical Air Traffic Flow Management

Submitted by Yan Wan on Mon, 11/10/2014 - 1:49pm. Contributors:

Abstract:

The objective of this research is to develop tools for comprehensive design and optimization of air traffic flow management capabilities at multiple spatial and temporal resolutions: at a national airspace-wide scale and one-day time horizon (strategic time- frame); and at a regional scale (of one or a few Centers) and a two-hour time horizon (tactical time-frame).

The following results were obtained in Year 4 of the project:

file

Visible to the public Dynamic Routing and Robotic Coordination for Oceanographic Adaptive Sampling

Submitted by Subhash Suri on Mon, 11/10/2014 - 1:49pm. Contributors:

Abstract:

Networks of autonomous coordinated robots areprototypical examples of cyber-physical systems. Already today and increasingly in the near future, robotic systems will perform a broad range of environmental monitoring and logistic tasks. Aquatic robots will monitor oceanic life and conditions. Teams of vehicles will perform exploration, firefighting and search and rescue operations.

file

Visible to the public Distributed Sensing Collective to Capture 3D Soundscapes

Submitted by Curt Schurgers on Mon, 11/10/2014 - 1:49pm. Contributors:

Abstract:

Oceans are drivers of global climate; they are home to some of our most important and diverse ecosystems; and they provide a substantial amount to the world's economy as a major source of food and employment. Sound plays a vital role in the ocean ecosystem, as many organisms rely on the acoustic environment for navigation, communication, detecting predators and finding food.

file

Visible to the public Distributed Just-Ahead-Of-Time Verification of Cyber-Physical Critical Infrastructures

Submitted by shossai2 on Mon, 11/10/2014 - 1:49pm. Contributors:

Abstract:

Trustworthy operation of next-generation complex power grid critical infrastructures requires mathematical and practical verification solutions to guarantee the correct infrastructural functionalities. This project develops the foundations of theoretical modeling, synthesis and real-world deployment of a formal and scalable controller code verifier for programmable logic controllers (PLCs) in cyber-physical settings. PLCs are widely used for control automation in industrial control systems.

file

Visible to the public Distributed Asynchronous Algorithms & Software Systems For Wide-Area Monitoring of Power Systems

Submitted by Nitin Vaidya on Mon, 11/10/2014 - 1:49pm. Contributors:

Abstract:

The objective of this project is to develop a distributed algorithmic framework, supported by a highly fault-tolerant software system, for executing critical transmission-level operations of the North American power grid using gigantic volumes of Synchrophasor data.