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. In this research, a synergistic decision framework is established for temporally, spatially distributed building clusters to work as an adaptive and robust system within a smart grid. The framework includes innovative algorithms and tools for building energy modeling, intelligent data fusion, decentralized decisions and adaptive decisions to address theoretical and practical challenges in next-generation building systems. The research develops cyber-physical engineering tools for demand side load management which has been identified as a major challenge by energy industries. It fundamentally transforms the current centralized and uni-directional power distribution business model to a decentralized and multi-directional power sharing and distribution business model, reducing overall energy consumption and allowing for optimal decisions in changing operation environments. Education and outreach efforts include developing novel educational modules disseminated at the K-12 levels and through the ASEE eGFI repository. Further educational impact occurs through integration with multiple undergraduate and graduate courses at each institution, and with community service groups. Impact is also expanded to the broader energy industry and the operation of healthcare delivery and urban transportation systems through our industry collaborations.

This project develops an integrated framework of communications, computation and control for understanding wide-area power system performance in the face of unpredictable disturbances. The power system is chosen as a particularly challenging cyber physical system (CPS) due to its extreme dimension, geographic reach and high reliability requirements. The following tasks are studied in the proposed research: (a) a Partial Difference Equation (PdE) framework to model the impact of network topology on the power system stability; (b) the design of a communication network for CPS, based on the PdE modeling;(c) the design of a control system, which addresses the challenges such as fast response and resource constraints; (d) the design of a computing infrastructure, which addresses the computation for controlling the power network, in particular, the communication complexity for controlling the power network in both cases of one-snapshot computation and iterative computations; and (e) the test and evaluation for both small scale system models of several hundred buses and very large system models of ~50,000 buses. This work contributes to the broader understanding of CPS with high reliability requirements, particularly, critical infrastructures such as the power grid. Modern infrastructures are complex systems of communications and computation tied to the controls of the physical system. The proposed research contributes to improved reliability by addressing the propagation of disturbances and advancing the understanding of geographically distributed CPS. The PIs plan to open multiple courses on CPS related to the proposed research.

Data-driven intelligence is an essential foundation for physical systems in transportation safety and efficiency, area surveillance and security, as well as environmental sustainability. This project develops new computer system infrastructure and algorithms for self-sustainable data-driven systems in the field. Research outcomes of the project include (a) a low-maintenance, environmentally-friendly hardware platform with solar energy harvesting and super capacitor-based energy storage, (b) virtualization software infrastructure for low-power nodes to enable inter-operability among distributed field nodes and from/to the data center, and (c) new image and data processing approaches for resource-adaptive fidelity adjustment and function partitioning. The synergy between the self-sustainable hardware, system software support, wireless communications management, and application data processing manifests through global coordination for quality-of-service, energy efficiency, and data privacy. In broader impacts, this project enables data-driven intelligence in the field for important physical system domains. Integration of the technologies involved is accomplished through real-world system deployment and experimentation, including an intelligent campus traffic and parking management system and collaborative work with industry collaborators. The results of this project will further enhance the technological competitiveness for US industries in key areas such as intelligent transportation. The education component includes cross-disciplinary curriculum enhancements and the development of a new instructional platform for realistic experiments with cyber-physical systems. Within the scope of this project, the PIs perform mentoring and outreach activities to recruit/retain women and minorities in science and engineering.

Continuous real-time tracking of the eye and field-of-view of an individual is profoundly important to understanding how humans perceive and interact with the physical world. This work advances both the technology and engineering of cyber-physical systems by designing an innovative paradigm involving next-generation computational eyeglasses that interact with a user's mobile phone to provide the capability for real-time visual context sensing and inference. This research integrates novel research into low-power embedded systems, image representation, image processing and machine learning, and mobile sensing and inference, to advance the state-of-art in continuous sensing for CPS applications. The activity addresses several fundamental research challenges including: 1) design of novel, highly integrated, computational eyeglasses for tracking eye movements, the visual field of a user, and head movement patterns, all in real-time; 2) a unified compressive signal processing framework that optimizes sensing and estimation, while enabling re-targeting of the device to perform a broad range of tasks depending on the needs of an application; 3) design of a novel real-time visual context sensing system that extracts high-level contexts of interest from compressed data representations; and 4) a layer of intelligence that combines contexts extracted from the computational eyeglass together with contexts obtained from the mobile phone to improve energy-efficiency and sensing accuracy. This technology can revolutionize a range of disciplines including transportation, healthcare, behavioral science and market research. Continuous monitoring of the eye and field-of-view of an individual can enable detection of hazardous behaviors such as drowsiness while driving, mental health issues such as schizophrenia, addictive behavior and substance abuse, neurological disease progression, head injuries, and others. The research provides the foundations for such applications through the design of a prototype platform together with real-time sensor processing algorithms, and making these systems available through open source venues for broader use. Outreach for this project includes demonstrations of the device at science fairs for high-school students, and integration of the platform into undergraduate and graduate courses.

Effective engineering of complex devices often depends critically on the ability to encapsulate responsibility for tasks into modular agents and ensure those agents communicate with one another in well-defined and easily observable ways. When such conditions are followed, it becomes possible to detect where problems lie so they can be corrected. It also becomes possible to optimize the agents and their communications to improve performance. Cyber-physical systems (like robots, self-piloting aircraft, etc.) modify themselves to improve performance break those conditions in that some agent modules negotiate their own communications and decide their own actions, sometimes taking advantage of the physics of the world in ways we did not anticipate. This renders difficult application of standard engineering tools to accomplish critical fault diagnosis and design optimization. This project will produce analysis methods address the specific needs of cyber-physical systems that, by their natures, break the rules of convention. We will apply these new methods to the design and analysis of self-improving controllers for flapping-wing micro air vehicles. This work will provide advances in both model-checking related formal design methodologies and in module-based self-adaptive control in computationally resource constrained cyber-physical systems. The formal methods advances will significantly expand our ability to properly design and verify systems that tightly couple computation, sensors, and actuators. The specific test application addressed is significant to a number of nationally important security and defense efforts and will directly impact identified national priorities.

This project is to develop a dynamical systems model of distributed computation motivated from recent work on the distributed computation of averages. The key idea is that static optimization problems (particularly convex optimization problems) can be solved by designing a dynamic system that stabilizes around the optimal solution of the problem. Moreover, when the optimization problem is separable, then the designed dynamic system decomposes into a set of locally-interacting dynamic systems. This is expected to open a door to a host of new computational approaches that take advantage of recent developments in control engineering including robust control (providing a mechanism for errors introduced by discretization), Markovian Jump Linear Systems (providing a mechanism for random discretization time), event-driven control (providing a mechanism for assured asynchronous execution), control over networks (providing a mechanism for improved performance of distributed computational systems in general). The new approach is essential in emerging applications, where the optimization runs on physically separated agents, operating in a noisy environment and communicating over unreliable channels. As a test bed, the project will make use of a two-vehicle robotic system developed by the PI designed to monitor a crop of corn plants, where the dynamic systems perspective of this grant will, for example, allow for distributed optimal estimation toward the goal of optimal station-keeping. By studying how natural systems can collectively compute and optimize, this research has potential to impact many disciplines involving networked systems, from controlling the electric power grid, to modeling the behavior of social, biological or economic systems. It is directly applicable to cooperative networked multi-agent systems like robotic search and rescue missions and disaster-relief operations, distributed machine learning problems, and intelligent systems. An intriguing mix of motivating applications and theoretical problems offer a unique multidisciplinary educational opportunity to students who will be involved in the project, and provide exciting innovative material for courses and labs. Software developed will be distributed as open source via the CPS Virtual Organization.

The project aims at making cities "smarter" by engineering processes such as traffic control, efficient parking services, and new urban activities such as recharging electric vehicles. To that end, the research will study the components needed to establish a Cyber-Physical Infrastructure for urban environments and address fundamental problems that involve data collection, resource allocation, real-time decision making, safety, and security. Accordingly, the research is organized along two main directions: (i) Sensing and data acquisition using a new mobile sensor network paradigm designed for urban environments; and (ii) Decision Support for the "Smart City" relying on formal verification and certification methods coupled with innovative dynamic optimization techniques used for decision making and resource allocation. The work will bring together and build upon methodological advances in optimization under uncertainty, computer simulation, discrete event and hybrid systems, control and games, system security, and formal verification and safety. Target applications include: a "Smart Parking" system where parking spaces are optimally assigned and reserved, and vehicular traffic regulation. The research has the potential of revolutionizing the way cities are viewed: from a passive living and working environment to a highly dynamic one with new ways to deal with transportation, energy, and safety. Teaming up with stakeholders in the Boston Back Bay neighborhood, the City of Boston, and private industry, the research team expects to establish new collaborative models between universities and urban groups for cutting-edge research embedded in the deployment of an exciting technological, economic, and sociological development.

This grant provides funding for the development of Cyber Enabled Manufacturing (CeMs) process control for small lot manufacturing that incorporates a model of the process directly into the control algorithm. Such a model can be used to accommodate changes in the physical product and the manufacturing process and thus the manufacturing monitoring and control algorithm, so that changing conditions are easily accommodated without extensive additional experiments. A set of objectives of this physics and cyber-enabled manufacturing process control system are rational setting of manufacturing tolerances, real time prediction of manufacturing defects, real time control of process to eliminate defects, and real time monitoring and control for small lot manufacturing. The methodologies we propose to achieve these goals are high fidelity, physics based models including models of faults/defects, uncertainty quantification, reduced order models that run in real time, measurement, real time prediction, real time computer architecture, real time control with inverse solutions, and automating the CeMs process for generic manufacturing processes If successful, the results of this research will greatly reduce cycle time in producing new or modified products and improve the quality of manufacturing processes with accompanying reduction in waste, energy use, and cost. The development of such accurate control algorithms and their application to manufacturing processes can provide a competitive edge to US manufacturers. Perhaps more importantly, the education of engineers involved this research will supply US industry with employees who can apply this technology to many industrial processes.