This project develops a framework for design automation of cyber-physical systems to augment human interaction with complex systems that integrate across computational and physical environments. As a design driver, the project develops a Body/Brain Computer Interface (BBCI) for the population of functionally locked-in individuals, who are unable to interact with the physical world through movement and speech. The BBCI will enable communication with other humans through expressive language generation and interaction with the environment through robotic manipulators. Utilizing advances in system-level design, this project develops a holistic framework for design and implementation of heterogeneous human-in-the-loop cyber-physical systems composed of physically distributed, networked components. It will advance BBCI technology by incorporating context aware inference and learning of task-specific human intent estimation in applications involving semi-autonomous robotic actuators and an efficient wireless communication framework. The results of this project are expected to significantly speed up the design of complex cyber-physical systems. By accelerating the path from idea to prototype, this work shortens the time frame of and cost of development for assistive technology to improve the quality-of-life for functionally locked-in individuals. This project establishes an open prototyping platform and a design framework for rapid exploration of other novel human-in-the-loop applications. The open platform will foster undergraduate involvement in cyber-physical systems research, building confidence and expertise. In addition, new activities at the Museum of Science in Boston will engage visitors to experiment with systematic design principles in context of a brain computer interface application, while offering learning opportunities about basic brain functions.

The objective of this research is to develop methods for the operation and design of cyber physical systems in general, and energy efficient buildings in particular. The approach is to use an integrated framework: create models of complex systems from data; then design the associated sensing-communication-computation-control system; and finally create distributed estimation and control algorithms, along with execution platforms to implement these algorithms. A special emphasis is placed on adaptation. In particular, buildings and their environments change with time, as does the way in which buildings are used. The system must be designed to detect and respond to such changes. The proposed research brings together ideas from control theory, dynamical systems, stochastic processes, and embedded systems to address design and operation of complex cyber physical systems that were previously thought to be intractable. These approaches provide qualitative understanding of system behavior, algorithms for control, and their implementation in a networked execution platform. Insights gained by the application of model reduction and adaptation techniques will lead to significant developments in the underlying theory of modeling and control of complex systems. The research is expected to directly impact US industry through the development of integrated software-hardware solutions for smart buildings. Collaborations with United Technologies Research Center are planned to enhance this impact. The techniques developed are expected to apply to other complex cyber-physical systems with uncertain dynamics, such as the electric power grid. The project will enhance engineering education through the introduction of cross-disciplinary courses.

The objective of this research is to understand how pervasive information changes energy production, distribution and use. The design of a more scalable and flexible electric infrastructure, encouraging efficient use, integrating local generation, and managing demand through awareness of energy availability and use over time, is investigated. The approach is to develop a cyber overlay on the energy distribution system in its physical manifestations: machine rooms, buildings, neighborhoods, isolated generation islands and regional grids. A scaled series of experimental energy networks will be constructed, to demonstrate monitoring, negotiation protocols, control algorithms and Intelligent Power Switches integrating information and energy flows in a datacenter, building, renewable energy: farm", and off-grid village. These will be generalized and validated through larger scale simulations. The proposal's intellectual merit is in understanding broadly how information enables energy efficiencies: through intelligent matching of loads to sources, via various levels of aggregation, and by managing how and when energy is delivered to demand, adapted in time and form to available supply. Bi-directional information exchange is integrated everywhere that power is transferred. Broader impacts include training diverse students, such as undergraduates and underrepresented groups, in a new interdisciplinary curriculum in information and energy technologies. Societal impact is achieved by demonstrating dramatic reductions in the carbon footprint of energy and its overall usage, greater penetration of renewables while avoiding additional fossil fuel plants, and shaping a new culture of energy awareness and management. The evolution of Computer Science will be accelerated to meet the challenges of cyber-physical information processing.

The objective of this research is to address issues related to the platform revolution leading to a third generation of networked control systems. The approach is to address four fundamental issues: (i) How to provide delay guarantees over communication networks to support networked control? (ii) How to synchronize clocks over networks so as to enable consistent and timely control actions? (iii) What is an appropriate architecture to support mechanisms for reliable yet flexible control system design? (iv) How to provide cross-domains proofs of proper performance in both cyber and physical domains? Intellectual Merit: Currently neither theory nor networking protocols provide solutions for communication with delay constraints. Coordination by time is fundamental to the next generation of event-cum-time-driven systems that cyber-physical systems constitute. Managing delays and timing in architecture is fundamental for cyberphysical systems. Broader Impact: Process, aerospace, and automotive industries rely critically on feedback control loops. Any platform revolution will have major consequences. Enabling control over networks will give rise to new large scale applications, e.g., the grand challenge of developing zero-fatality highway systems, by networking cars traveling on a highway. This research will train graduate students on this new technology of networked control. The Convergence Lab (i) has employed minority undergraduate students, including a Ron McNair Scholar, as well as other undergraduate and high school researchers, (ii) hosts hundreds of high/middle/elementary school students annually in Engineering Open House. The research results will be presented at conferences and published in open literature.

The goal of this project is to develop a semantic foundation, cross-layer system architecture and adaptation services to improve dependability in instrumented cyberphysical spaces (ICPS) based on the principles of "computation reflection". ICPSs integrate a variety of sensing devices to create a digital representation of the evolving physical world and its processes for use by applications such as critical infrastructure monitoring, surveillance and incident-site emergency response. This requires the underlying systems to be dependable despite disruptions caused by failures in sensing, communications, and computation. The digital state representation guides a range of adaptations at different layers of the ICPS (i.e. networking, sensing, applications, cross-layer) to achieve end-to-end dependability at both the infrastructure and information levels. Examples of techniques explored include mechanisms for reliable information delivery over multi-networks, quality aware data collection, semantic sensing and reconfiguration using overlapping capabilities of heterogeneous sensors. Such adaptations are driven by a formal-methods based runtime analysis of system components, resource availability and application dependability needs. Responsphere, a real-world ICPS infrastructure on the University of California at Irvine campus, will serve as a testbed for development and validation of the overall ?reflective? approach and the cross-layer adaptation techniques to achieve dependability. Students at different levels (graduate, undergraduate, K-12) will be given opportunities to gain experience with using and designing real-world applications in the Responsphere ICPS via courses, independent study projects and demonstration sessions. Students will benefit tremendously from exposure to new software development paradigms for the ICPSs that will be a part of the future living environments.

The objective of this research is to establish a foundational framework for smart grids that enables significant penetration of renewable DERs and facilitates flexible deployments of plug-and-play applications, similar to the way users connect to the Internet. The approach is to view the overall grid management as an adaptive optimizer to iteratively solve a system-wide optimization problem, where networked sensing, control and verification carry out distributed computation tasks to achieve reliability at all levels, particularly component-level, system-level, and application level. Intellectual merit. Under the common theme of reliability guarantees, distributed monitoring and inference algorithms will be developed to perform fault diagnosis and operate resiliently against all hazards. To attain high reliability, a trustworthy middleware will be used to shield the grid system design from the complexities of the underlying software world while providing services to grid applications through message passing and transactions. Further, selective load/generation control using Automatic Generation Control, based on multi-scale state estimation for energy supply and demand, will be carried out to guarantee that the load and generation in the system remain balanced. Broader impact. The envisioned architecture of the smart grid is an outstanding example of the CPS technology. Built on this critical application study, this collaborative effort will pursue a CPS architecture that enables embedding intelligent computation, communication and control mechanisms into physical systems with active and reconfigurable components. Close collaborations between this team and major EMS and SCADA vendors will pave the path for technology transfer via proof-of-concept demonstrations.

The objective of this research is to develop new foundations of composition in heterogeneous systems, to apply these foundations in a new generation of tools for system integration, and to validate the results in experiments using automotive and avionics System-of-Systems experimental platforms. The approach exploits simplification strategies: develop theories, methods, and tools to assist in inter-layer decoupling. The research program has three focus areas: (1) theory of compositionality in heterogeneous systems, (2) tools and tool architectures for system integration, and (3) systems/experimental research. The project develops and deploys theories and methods for inter-layer decoupling that prevent or decrease the formation of intractable system-wide interdependences and maintain compositionality at each layer for carefully selected, essential system properties. Compositionality in tools is sought by exploring semantic foundations for model-based design. Systems/experimental research is conducted in collaboration with General Motors Global R&D (GM) and focuses on electric car platforms. The project is contributing to the cost effective development and deployment of many safety and security-critical cyber-physical systems, ranging from medical devices to transportation, to defense and avionics. The participating institutions seek to complement the conventional curriculum in systems science with one that admits computation as a primary concept. The curriculum changes will be aggressively promoted through a process of workshops and textbook preparation.

Tens of thousands of the nation?s bridges are structurally deficient. This project proposes to design a self sustaining, wireless structural monitoring system. The novel low-power Flash FPGA-based hardware platform and the corresponding software architecture offer a radically new approach to CPS design. A soft multi-core platform where software modules that run in parallel will be guaranteed to have dedicated single-threaded soft processor cores enables flexible power management by running only the necessary cores at any given time at the slowest clock rate mandated by the observed/controlled physical phenomena. As bridges tend to vibrate due to wind and dynamic load conditions, we are developing a novel vibration-based energy harvesting device that is capable of automatically adjusting its resonant response in order to capture much more energy than the current techniques can. Moreover, the PIs are developing structural health assessment techniques involving quantitative analysis of signals to determine crack type, location and size. The technology will indicate structural problems before they become critical potentially saving human lives and averting late and extensive repairs. The impact of the vibration harvesting technique and the soft multi-core architecture will go beyond structural monitoring. A separate soft core dedicated to each software component that interacts with the physical world will make CPS more responsive while saving power at the same time. The education plan focuses on outreach toward underrepresented minorities by recruiting such undergraduates to participate in the research. To facilitate the dissemination of our results, all hardware designs and software developed under this project will be open source.

The objective of this research is to establish a foundational framework for smart grids that enables significant penetration of renewable DERs and facilitates flexible deployments of plug-and-play applications, similar to the way users connect to the Internet. The approach is to view the overall grid management as an adaptive optimizer to iteratively solve a system-wide optimization problem, where networked sensing, control and verification carry out distributed computation tasks to achieve reliability at all levels, particularly component-level, system-level, and application level. Intellectual merit. Under the common theme of reliability guarantees, distributed monitoring and inference algorithms will be developed to perform fault diagnosis and operate resiliently against all hazards. To attain high reliability, a trustworthy middleware will be used to shield the grid system design from the complexities of the underlying software world while providing services to grid applications through message passing and transactions. Further, selective load/generation control using Automatic Generation Control, based on multi-scale state estimation for energy supply and demand, will be carried out to guarantee that the load and generation in the system remain balanced. Broader impact. The envisioned architecture of the smart grid is an outstanding example of the CPS technology. Built on this critical application study, this collaborative effort will pursue a CPS architecture that enables embedding intelligent computation, communication and control mechanisms into physical systems with active and reconfigurable components. Close collaborations between this team and major EMS and SCADA vendors will pave the path for technology transfer via proof-of-concept demonstrations.