Abstract: The goal of this project is to demonstrate that new cyber physical architectures will enable closed-­‐loop sensor networks to be shared among multiple applications and to dynamically allocate sensing and computing resources  necessary to analyze sensor data and perform sensor actuation.

Abstract: Optimization algorithms used in a real-time and safety-critical context offer the potential for considerably advancing robotic and autonomous systems by improving their ability to execute complex missions. However, this promise cannot happen without proper attention to the considerably stronger operational constraints that real time, safety-critical applications must meet, unlike their non-real-time, desktop counterparts.

Abstract: The objective of this project is to develop a science of integration for cyber physical systems (CPS). The proposed research program has three focus areas: (1) foundations,  (2) tools and tool architectures, (3) systems/experimental research. The project has pushed along several frontiers towards these overall objectives. In the following, we describe selected accomplishments:

Abstract: As part of our CPS project, we have focused on the problem of model repair for cyber-physical systems. This work involves identifying constraints caused due to physical components during revision. We consider four types of constraints cyber-cyber, cyber-physical, physical-cyber and  physical-physical. Based on the complexity limitations caused by these constraints we are developing efficient heuristics to mitigate the cost of model repair. We have also focused on extending revision to code level.

Abstract: Our objective is to engineer vehicles that can collaborate on the use of a  roadway.  The protocols that define the collaboration must be provably safe, and the implementations of the protocols by different manufacturers must be guaranteed to inter­‐operate. As an example we are using a collaborative merge protocol, that assists a driver merging between two vehicles in an adjacent lane.

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: 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: 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: Motivation: