Cyber-physical systems (CPS) are characterized by extremely tight integration of and coordination between computational and physical resources. CPS integrate computation, communication, and storage capabilities through systems of systems that must interact with the physical world in real-time at multiple time scales and often at multiple spatial scales. The inherent heterogeneity and the non-deterministic operation of different components in these systems pose new challenges to traditional control, communication, real-time scheduling, and robotics disciplines. In conjunction with the IEEE Real-Time Systems Symposium in 2009 (RTSS 2009), this project helps to support a Ph.D. student forum to discuss (i) the set of interdisciplinary research problems that arise in the context of cyber-physical systems, (ii) novel applications that become possible thanks to the integration of computing, communication, and interaction with the physical world at scale, and (iii) initial system architecture that addresses some of these research problems. The primary goal is to help students (and the real-time community) recognize that cyberphysical systems are different from the over-engineered real-time embedded systems of the past, and to provide a forum by which students can discuss their proposal for addressing the complicated aggregate systems issues that arise in this context. As such, we need to encourage constructive debate on emerging research topics. A secondary goal is to encourage student involvement in new research directions and offer a channel to discuss and reward the most innovative student ideas in this exciting emerging research field. Advisors and students will be welcome to attend the forum, but the focus will be on training and motivating the next generation of researchers.

The objective of this research is to understand the complexities associated with integration between humans and cyber-physical systems (CPS) at large scales. For this purpose, the team will develop and demonstrate the application of Smart City Hubs focusing on intelligent transportation services in urban settings. Ultimately, this project will produce innovative tools and techniques to configure and deploy large-scale scale experiments enabling the study of how humans affect the control loops in large CPS such as smart cities. This work covers several design concerns that are specific to human-CPS such as human computer interfaces, decision support systems and incentives engineering to keep humans engaged with the system. The technology base will include a novel integration platform for allowing (1) integration of spatially and temporally distributed sensor streams; (2) integration of simulation-based decision support systems, (3) development and execution of experiments to understand how advanced decision support tools combined with incentive mechanisms improve the utilization of the transportation infrastructure and user experience. A key aspect of this research will be development of data-driven rider models that can be subsequently used by city engineers for planning purposes. The proposed system will enable a new generation of human-CPS systems where sensing, wireless communication, and data-driven predictive analytics is combined with human decision-making and human-driven actuation (driving and physical infrastructure utilization) to form a control loop. The Smart City Hub provides a generic platform for a number of other services beyond traffic and public transportation, including maps and way finding, municipal communication, emergency management and others. The tools that will be developed will allow researchers and practitioners to more quickly prototype, deploy and experiment with these CPS. To ensure these benefits, the research team will make its research infrastructure freely available as an open-source project. It will also develop educational materials focused on modeling, prototyping and evaluating these applications at scale. In addition, the studies the team will perform will provide new data and new scientific understanding of large-scale human interaction with CPS, which it expects will yield long-term benefits in the design and analysis of such applications.

Smart Cities are complex cyber-physical systems with large human populations adding additional complexity. Instrumentation and modeling are components of a smart city. Regardless, however, of the ubiquity of instrumentation and precision of models, in the end, humans and human teams will make decisions about citywide operations and management, especially in crisis. We contend that the hierarchical nature of contemporary command and control systems can create virtual blind spots in which opportunities or dangers may be invisible to the hierarchy because the necessary information is obscured as it moves between levels of abstraction in the hierarchy. This project will involve teaming with crisis management experts and researchers to develop intelligent agents designed to minimize cognitive load on decision makers, exploit semantic relationships in reports and sensor data to advise of otherwise invisible occurrences, and sequence the actions of ground-level assets to refine causal relationship models to better reflect ongoing developments during crisis and/or event management. This project addresses the following technology gap(s) as it translates from research discovery toward commercial application - a) demonstration of the effectiveness of information presentation and transparency in situations where agents can support and enhance human decision-making without increasing the cognitive workload of the human; b) transfer state-of-the-art foundational research in semantic data and information integration to the complex disaster scenario; c) development of model consistency maintenance tools for automatic update of causal models of various disaster and/or emergency situations. In addition, personnel involved in this project, e.g., graduate students, will receive innovation experiences through the design, development and testing of the model developed. This project will explore transferability of the research results into tools in other application areas such as Pararescuer training, AFRL disaster response system RIPPLE, and Clark County Emergency Management Agency. This project will also have outreach efforts with mentoring high school and undergraduate students at Discovery Lab, Tec^Edge through the Summer at the Edge/Year at the Edge Programs (SATE/YATE).

The electric power grid is a complex cyber-physical system (CPS) that forms the lifeline of modern society. Cybersecurity and resiliency of the power grid is of paramount importance to national security and economic well-being. CPS security testbeds are enabling technologies that provide realistic experimental platforms for the evaluation and validation of security technologies within controlled environments, and they also enable the exploration of robust security solutions. The project has two objectives: (a) to develop innovative architectures, abstractions, models, and algorithms for large-scale CPS security testbeds; and (b) to design and implement a high-fidelity, scalable, open-access CPS security testbed for the smart grid, and to conduct research experimentation. The testbed integrates appropriate cyber-control-physical hardware/software components, models, and algorithms in a modular design that enables federation of smaller testbeds to form a large-scale virtual experimental environment. The use cases for the testbed include vulnerability assessment, risk assessment, risk mitigation studies, and attack-defense exercises. The project also aims to develop standardized datasets, models, libraries, and use cases, and make the testbed available to a broader research community through an open-, remote-access model by leveraging collaboration from academic and industry partners. Besides contributing to research and technology that will enable a future electric power grid that is secure and resilient, this project develops and disseminates innovative curriculum modules including CPS Cyber Defense Competitions (CPS-CDC) for imparting security knowledge to students via an inquiry-based learning paradigm. The project also mentors students, including underrepresented minorities, in thesis work and Capstone projects, and exposes high-school students to cybersecurity concepts via testbed demonstrations.

The confluence of new networked sensing technologies (e.g., cameras), distributed computational resources (e.g., cloud computing), and algorithmic advances (e.g., computer vision) are offering new and exciting opportunities for solving a variety of new problems that are of societal importance including emergency response, disaster recovery, surveillance, and transportation. Solutions to this new class of problems, referred to as "situation awareness" applications, include surveillance via large-scale distributed camera networks and personalized traffic alerts in vehicular networks using road and traffic sensing. A breakthrough in system software technology is needed to meet the challenges posed by these applications since they are latency-sensitive, data intensive, involve heavy-duty processing, and must run 24x7 while dealing with the vagaries of the physical world. This project aims to make such a breakthrough, through new distributed programming idioms and resource allocation strategies. To better identify the challenges posed by situation awareness applications, the project includes experimental deployment of the new technologies in partnership with the City of Baton Rouge, Louisiana. The central activity is to develop appropriate system abstractions for design of situation awareness applications and encapsulate them in distributed programming idioms for domain experts (e.g., vision researchers). The resulting programming framework allows association of critical attributes such as location, time, and mobility with sensed data to reason about causal events along these axes. To meet the latency constraints of these applications, the project develops geospatial resource allocation mechanisms that complement and support the distributed programming idioms, extending the utility-computing model of cloud computing to the edge of the network. Since the applications often have to work with inexact knowledge of what is happening in the physical environment, owing to limitations of the distributed sensing sources, the project also investigates system support for application-specific information fusion and spatio-temporal analyses to increase the quality of results. Efforts toward development of a future cyber-physical systems workforce include creation of a new multidisciplinary curriculum around situation awareness, exploration of new immersive learning pedagogical styles, and mentoring and providing research experience to undergraduate students through research experiences and internships aimed at increasing participation of women and minorities.

One of the challenges for the future cyber-physical systems is the exploration of large design spaces. Evolutionary algorithms (EAs), which embody a simplified computational model of the mutation and selection mechanisms of natural evolution, are known to be effective for design optimization. However, the traditional formulations are limited to choosing values for a predetermined set of parameters within a given fixed architecture. This project explores techniques, based on the idea of hidden genes, which enable EAs to select a variable number of components, thereby expanding the explored design space to include selection of a system's architecture. Hidden genetic optimization algorithms have a broad range of potential applications in cyber-physical systems, including automated construction systems, transportation systems, micro-grid systems, and space systems. The project integrates education with research by involving students ranging from high school through graduate school in activities commensurate with their skills, and promotes dissemination of the research results through open source distribution of algorithm implementation code and participation in the worldwide Global Trajectory Optimization Competition. Instead of using a single layer of coding to represent the variables of the system in current EAs, this project investigates adding a second layer of coding to enable hiding some of the variables, as needed, during the search for the optimal system's architecture. This genetic hiding concept is found in nature and provides a natural way of handling system architectures covering a range of different sizes in the design space. In addition, the standard mutation and selection operations in EAs will be replaced by new operations that are intended to extract the full potential of the hidden gene model. Specific applications include space mission design, microgrid optimization, and traffic network signal coordinated planning.

Despite many advances in vehicle automation, much remains to be done: the best autonomous vehicle today still lags behind human drivers, and connected vehicle (V2V) and infrastructure (V2I) standards are only just emerging. In order for such cyber-physical systems to fully realize their potential, they must be capable of exploiting one of the richest and most complex abilities of humans, which we take for granted: seeing and understanding the visual world. If automated vehicles had this ability, they could drive more intelligently, and share information about road and environment conditions, events, and anomalies to improve situational awareness and safety for other automated vehicles as well as human drivers. That is the goal of this project, to achieve a synergy between computer vision, machine learning and cyber-physical systems that leads to a safer, cheaper and smarter transportation sector, and which has potential applications to other sectors including agriculture, food quality control and environment monitoring. To achieve this goal, this project brings together expertise in computer vision, sensing, embedded computing, machine learning, big data analytics and sensor networks to develop an integrated edge-cloud architecture for (1) "anytime scene understanding" to unify diverse scene understanding methods in computer vision, and (2) "cooperative scene understanding" that leverages vehicle-to-vehicle and vehicle-to-infrastructure protocols to coordinate with multiple systems, while (3) emphasizing how security and privacy should be managed at scale without impacting overall quality-of-service. This architecture can be used for autonomous driving and driver-assist systems, and can be embedded within infrastructure (digital signs, traffic lights) to avoid traffic congestion, reduce risk of pile-ups and improve situational awareness. Validation and transition of the research to practice are through integration within City of Pittsburgh public works department vehicles, Carnegie Mellon University NAVLAB autonomous vehicles, and across the smart road infrastructure corridor under development in Pittsburgh. The project also includes activities to foster development of a new cyber-physical systems workforce, though involvement of students in the research, co-taught multi-disciplinary courses, and co-organized workshops.