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.

Abstract: Growing demands on our civil infrastructure have heightened the need for smart structural components and systems whose behavior and performance can be controlled under a variety of loading scenarios such as high winds and earthquakes.

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.

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.

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.

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.