cyber-physical systems

file

Visible to the public Compositional System Modeling with Interfaces - COSMOI

Submitted by tripakis on Mon, 11/10/2014 - 2:52pm. Contributors:

Abstract:

Design of cyber-physical systems today relies on executable models. Designers develop models, simulate them, find defects, and improve their designs before the system is built, thus greatly reducing the design costs.

file

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

Submitted by Mohamed Ibrahim on Mon, 11/10/2014 - 2: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 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 Generalized Synchronization Trees

Submitted by Rance Cleaveland on Mon, 11/10/2014 - 1:44pm. Contributors:

Abstract:

The PIs are developing their novel modeling paradigm, Generalized Synchronization Trees (GSTs), into a rich framework for both describing cyber-physical systems (CPSs) and studying their behavior under interconnection. GSTs were inspired by Milner's use of Synchronization Trees (STs) to model interconnected computing processes, but GSTs generalize the mathematical structure of their forebears in such a way as to encompass many classes of CPSs.

file

Visible to the public Foundations Of Resilient CybEr-physical Systems (FORCES)

Submitted by lrohrbough on Mon, 11/10/2014 - 1:44pm. Contributors:

Abstract:

Cyber-Physical Systems (CPS) are being increasingly deployed in critical infrastructures such as electric-power, water, transportation, and other networks. These deployments are facilitating real-time monitoring and closed-loop control by exploiting the advances in wireless sensor-actuator networks, the internet of "everything," data-driven analytics, and machine-to-machine interfaces. CPS operations depend on the synergy of computational and physical components.