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 develop new models of computation for multi-robot systems. Algorithm execution proceeds in a cycle of communication, computation, and motion. Computation is inextricably linked to the physical configuration of the system. Current models cannot describe multi-robot systems at a level of abstraction that is both manageable and accurate. This project will combine ideas from distributed algorithms, computational geometry, and control theory to design new models for multi-robot systems that incorporate physical properties of the systems. The approach is to focus on the high-level problem of exploring an unknown environment while performing designated tasks, and the sub-problem of maintaining network connectivity. Key issues to be studied will include algorithmic techniques for handling ongoing discrete failures, and ways of understanding system capabilities as related to failure rates, geometric assumptions and physical parameters such as robot mobility and communication bandwidth. New metrics will be developed for error rates and robot mobility. Intellectual merit arises from the combination of techniques from distributed algorithms, computational geometry, and control theory to develop and analyze algorithms for multi-robot systems. The project will develop a new class of algorithms and techniques for their rigorous analysis, not only under ideal conditions, but under a variety of error assumptions. The project will test theoretical ideas empirically, on three different multi-robot systems. Broader impacts will include new algorithms for robot coordination, and rigorous understanding of the capabilities of different hardware platforms. Robots are an excellent outreach tool, and provide concrete examples of theory in action.

The objective of this inter-disciplinary research is to develop new technologies to transform the streets of a city into a hybrid transportation/communication system, called the Intelligent Road (iRoad), where autonomous wireless devices are co-located with traffic signals to form a wireless network that fuses real-time transportation data from all over the city to make a wide range of new applications possible. The approach is to build new capacities of quantitative bandwidth distribution, rate/delay assurance, and location-dependent security on a pervasive wireless platform through distributed queue management, adaptive rate control, and multi-layered trust. These new capacities lead to transformative changes in the way the transportation monitoring and control functions are designed and operated. Many technical challenges faced by the iRoad system are open problems. New theories/protocols developed in this project will support sophisticated bandwidth management, quality of service, multi-layered trust, and information fusion in a demanding environment where critical transportation functions are implemented. Solving these fundamental problems advances the state of the art in both wireless technologies and transportation engineering. The research outcome is likely to be broadly applicable in other wireless systems. The economic and societal impact of the iRoad system is tremendous at a time when the country is modernizing its ailing transportation infrastructure. It provides a pervasive communication infrastructure and engineering framework to build new applications such as real-time traffic map, online best-route query, intelligent fuel-efficient vehicles, etc. The research results will be disseminated through course materials, academic publication, industry connection, and presentations at the local transportation department.

The objective of this project is to investigate fundamental issues in network control and distributed coordination of wireless sensor and robotic networks. The study of these cyber-physical systems is important as they find wide applicability in several applications areas including environmental monitoring, search and rescue, and health care. The approach is to exploit intrinsic properties of such systems to ensure stability, high performance, scalability and modularity despite the deleterious network effects. With respect to intellectual merit, the proposed effort has the potential to lead to a transformational change in the understanding of the mechanisms for delay instability and spatio-temporal synchronization in cyber-physical systems. It is expected that this understanding will help in solving the delay-instability, synchronization, and coordination problems in wireless sensor and robotic networks without sacrificing the performance, scalability, or modularity of the system. Specific expected outcomes include a framework for designing control algorithms for robotic systems with input/output communication delays, a communication management module for addressing medium access delays and data losses, synchronization algorithms for real-time coordination between robotic systems, and a scheme for ensuring clock synchronization. With respect to broader impacts, the project has the potential to impact the broad area of wireless sensor and actuator networks that are important in several domains. One graduate student and an undergraduate student directly benefit from the research and it is expected that several undergraduate and graduate students will benefit from the enriched curricula at University of Maryland. High school students from underrepresented groups are included in the research effort through the University of Maryland's ESTEEM program.

The objective of this research project is to achieve fundamental advances in software technology that will enable building cyber-physical systems to allow citizens to see the environmental and health impacts of their daily activities through a citizen-driven body-worn mobile-phone-based commodity sensing platform. The approach is to create aspect-oriented extensions to a publish-subscribe architecture, called Open Rich Services (ORS), to provide a highly extensible and adaptive infrastructure. As one example, ORS will enable highly adaptive power management that not only adapts to current device conditions, but also the nature of the data, the data's application, and the presence and status of other sensors in the area. In this way, ORS will enable additional research advances in power management, algorithms, security and privacy during the project. A test-bed called CitiSense will be built, enabling in-the-world user and system studies for evaluating the approach and providing a glimpse of a future enhanced by cyber-physical systems. The research in this proposal will lead to fundamental advances in modularity techniques for composable adaptive systems, adaptive power management, cryptographic methods for open systems, interaction design for the mobile context, and statistical inference under multiple sources of noise. The scientific and engineering advances achieved through this proposal will advance our national capability to develop cyber-physical systems operating under decentralized control and severe resource constraints. The students trained under this project will become part of a new generation of researchers and practitioners prepared to advance the state of cyber-physical systems for the coming decades.

The objective of this research is the development of methods for the control of energy flow in buildings, as enabled by cyber infrastructure. The approach is inherently interdisciplinary, bringing together electrical and mechanical engineers alongside computer scientists to advance the state of the art in simulation, design, specification and control of buildings with multiple forms of energy systems, including generation and storage. A significant novelty of this project lies in a fundamental view of a building as a set of overlapping, interacting networks. These networks include the thermal network of the physical building, the energy distribution network, the sensing and control network, as well as the human network, which in the past have been considered only separately. This work thus seeks to develop methods for simulating, optimizing, modeling, and control of complex, heterogeneous networks, with specific application to energy efficient buildings. The advent of maturing distributed and renewable energy sources for on-site cooling, heating, and power production and the concomitant developments in the areas of cyberphysical and microgrid systems present an enormous opportunity to substantially increase energy efficiency and reduce energy-related emissions in the commercial building energy sector. In addition, there is a direct impact of the proposed work in training students with backgrounds in the unique blend of engineering and computer science that is needed for the study of cyber-enabled energy efficient management of structures, as well as planned interactions at the undergraduate and K-12 level.

The objective of this research is to study active sensing and adaptive fusion using vision and acoustic sensors for continuous, reliable fall detection and assessment of fall risk in dynamic and unstructured home environments. The approach is to incorporate active vision with infrared light sources and camera controls, an acoustic array that identifies the sound characteristics and location, and sensor fusion based on the Choquet integral and hierarchical fuzzy logic systems that supports uncertain heterogeneous sensor data at varying time scales, qualitative data, and risk factors. The project will advance the state of the art in (1) active vision sensing for human activity recognition in dynamic and unpredictable environments, (2) acoustic sensing in unstructured environments, (3) adaptive sensor fusion and decision making using heterogeneous sensor data in dynamic and unpredictable environments, (4) automatic fall detection and fall risk assessment using non-wearable sensors, and (5) algorithms for cyber physical systems that address the interplay of anomaly detection (falls) and risk factors affecting the likelihood of an anomaly event. The project will impact the health care and quality of life for older adults. New approaches will assist health care providers to identify potential health problems early, offering a model for eldercare technology that keeps seniors independent while reducing health care costs. The project will train the next generation of researchers to handle real, cyber-physical systems. Students will be mentored, and research outcomes will be integrated into the classroom. Novel outreach activities are planned to reach the elderly community and the general public

The objective of this research is to meet the urgent global need for improved safety and reduced maintenance costs of important infrastructures by developing a unified signal processing framework coupling spatiotemporal sensing data with physics-based and data-driven models. The approach is structured along the following thrusts: investigating the feasibility of statistical modeling of dynamic structures to address the spatiotemporal correlation of sensing data; developing efficient distributed damage detection and localization algorithms; investigating network enhancement through strategic sensor placement; addressing optimal sensor collaboration for recursive localized structural state estimation and prediction. Intellectual merit: This innovative unified framework approach has the potential of being more reliable and efficient with better scalability compared to the current state-of-the-art in structural health monitoring. The proposed research is also practical as it allows analysis of real-world data that accounts for structural properties, environmental noise, and loss of integrity over sensors. Probabilistic representation of significant damages allows more informative risk assessment. Broader impacts: The outcome of this project will provide an important step toward safety and reliability albeit increasing complexity in dynamic systems. New models and algorithms developed in this project are generic and can contribute in many other areas and applications that involve distributed recursive state estimation, distributed change detection and data fusion. This project will serve as an excellent educational platform to educate and train the next generation CPS researchers and engineers. Under-represented groups such as female students and Native American students will be supported in this project, at both the graduate and undergraduate levels.

The objective of this research is to scale up the capabilities of fully autonomous vehicles so that they are capable of operating in mixed-traffic urban environments (e.g., in a city such as Columbus or even New York or Istanbul). Such environments are realistic large-city driving situations involving many other vehicles, mostly human-driven. Moreover, such a car will be in a world where it interacts with other cars, humans, other external effects, and internal and external software modules. This is a prototypical CPS with which we have considerable experience over many years, including participation in the recent DARPA Urban Challenge. Even in the latter case, though, operation to date has been restricted to relatively “clean” environments (such as multi-lane highways and simpler intersections with a few other vehicles). The approach is to integrate multidisciplinary advances in software, sensing and control, and modeling to address current weaknesses in autonomous vehicle design for this complex mixed-traffic urban environment. All work will be done within a defined design-and-verification cycle. Theoretical advances and new models will be evaluated both by large-scale simulations, and by implementation on laboratory robots and road-worthy vehicles driven in real-world situations. The research address significant improvements to current methods and tools to enable a number of formal methods to move from use in limited, controlled environments to use in more complex and realistic environments. The theory, tools, and design methods that are investigated have potential application for a broad class of cyber-physical systems consisting of mobile entities operating in a semi-structured environment. This research has the potential to lead to safer autonomous vehicles and to improve economic competitiveness, the nation's transportation infrastructure, and energy efficiency. The richness of the domain means that expected research contributions can apply not only to autonomous vehicles but, also, to a variety of related cyber-physical systems such as service robots in hospitals and rescue robots used after natural disasters. The experimental research laboratory for the project is used for undergraduate and graduate courses and supports new summer outreach projects for high-school students. Research outcomes are integrated with undergraduate and graduate courses on component-based software.

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.