Abstract: Central to the operation of cyber-physical systems (CPS) is accurate and reliable knowledge of time, both for meaningfully sensing and controlling the physical world state and for correct, high-performance and energy-efficient orchestration of computing and communication operations. Emerging applications that seek to control agile physical processes or depend on precise knowledge of time to infer location and coordinate communication, make use of time with diverse semantics and dynamic quality requirements.

Abstract: This project develops a theoretical framework as well as software tools to support testing and verification of a Cyber-Physical System (CPS) within a Model-Based Design (MBD) process. The theoretical bases of the framework are stochastic optimization methods, and robustness notions of                    formal specification languages.

Abstract: Modeling, analyzing and verifying real physical systems have long been a changeling task since the dynamics are usually nonlinear and the state spaces are always continuous. In this work, we use linear inequality LTL (iLTL), a temporal logic, to specify the behavior of nonlinear dynamical systems over time and propose a framework for statistical verification of temporal formulae on nonlinear systems using set oriented methods.

Abstract: The SDB project seeks to design, engineer, and evaluate the foundational information substrate for cyberphysical systems in a concrete, canonical form -  creation  of  efficient,  agile,  model- driven, human-centered building systems. Modern commercial buildings provide increasingly integrated Building Management Systems, but are typically closed or based on proprietary interfaces, are difficult to extend, and it is expensive to add new capabilities.

Abstract: Traditionally, buildings have been viewed as mere energy consumers; however, with the new power grid infrastructure and distributed energy resources, buildings can not only consume energy, but they can also output energy. As a result, this project removes traditional boundaries between buildings in the same cluster or between the cluster and power grids, transforming individual smart buildings into NetZero building clusters enabled by cyber-support tools.

Abstract: Our proposed research is motivated by two fundamental challenges that are traditionally studied in separate disciplines. The first key challenge is that in existing digital cameras, the functionalities of a camera are constrained by its size due to the optics and quantum nature of light. It remains a challenge to design a camera architecture that has both - a small form factor and has versatile functionalities, e.g.

Abstract: The project focuses on swarming cyber-physical systems (swarming CPS) consisting of a collection of mobile networked agents, each of which has sensing, computing, communication, and locomotion capabilities, and that have a wide range of civilian and military applications. Different from conventional static CPS, swarming CPS rely on mobile computing entities, e.g., robots, which collaboratively interact with phenomena of interest at different physical locations.

Abstract: The National Science Foundation established the Cyber-Physical Systems (CPS) program with the vision of developing a scientific and engineering foundation for routinely building cyber-enabled engineered systems in which cyber capability is deeply embedded at all scales, yet which remain safe, secure, and dependable -- "systems you can bet your life on." The CPS challenge spans essentially every engineering domain.

Abstract: Motivation:

This project has introduced a programming language, compiler, and runtime environment that enables software to control a “cyber-physical” microfluidic device in which integrated sensors and video monitoring equipment form a closed feedback loop (a). The technical contributions of the project include the design and implementation of the language, and a detailed description of the algorithms built into the compiler to enable fast decision-making in real-time in response to sensory feedback (b).