The objective of this research is to check correct functioning of cyber-physical systems during their operation. The approach is to continuously monitor the system and raise an alarm when the system seems to exhibit an erroneous behavior. Correct functioning of cyber-physical systems is of critical importance. This is more so in safety critical systems like medical, automotive and other applications. The approach employs hybrid automata for specifying the property to be monitored and for modeling the system behavior. The system behavior is probabilistic in nature due to noise and other factors. Monitoring such systems is challenging since the monitor can only observe system outputs, but not it's state. Fundamental research, on defining and detecting whether a system is monitorable, is the focus of the work. The project proposes accuracy measures and cost based metrics for optimal monitoring. The project is developing efficient and effective monitoring techniques, based on product automata and Partially Observable Markov Decision Processes. The results of the project are expected to be transformative in ensuring correct operation of systems. The results will have impact in many areas of societal importance and utility for daily life, such as health care, nursing/rehabilitation, automotive systems, home appliances, and more. The benefits in nursing/rehabilitation emanate from the deployment of advanced technologies to assist caregivers. This can lead to improved health and quality of life of older patients at reduced costs. The project includes education and outreach in the form of K-12 outreach and involvement of undergraduate and graduate students in research. The project is committed to involving women and minorities in education and research.

The objective of this research is to study, develop and implement a comprehensive set of techniques that will eventually enable automobiles to be driven autonomously. The approach taken is to (a) address cyber-physical challenges of reliable, safe and timely operations inside the automobile, (b) tackle a range of physical conditions and uncertainties in the external environment, (c) enable real-time communications to and from the automobile to other vehicles and the infrastructure, and (d) study verification and validation technologies to ensure correct implementations. Intellectual Merits: The project seeks to make basic research contributions in the domains of safety-critical real-time fault-tolerant distributed cyber-physical platforms, end-to-end resource management, cooperative vehicular networks, cyber-physical system modeling and analysis tools, dynamic object detection/recognition, hybrid systems verification, safe dynamic behaviors under constantly changing operating conditions, and real-time perception and planning algorithms. Multiple intermediate capabilities in the form of active safety features will also be enabled. Broader Impacts: Automotive accidents result in about 40,000 fatalities and 3 million injuries every year in the USA. The global annual cost of road injuries is $518 billion. Many accidents are due to humans being distracted. Autonomous vehicles controlled by ever-vigilant cyber-physical systems can lead to significant declines in accidents, deaths and injuries. Autonomous vehicles can also offload driving chores from humans, and make time spent in automobiles more productive. Vehicular networks can help find the best possible routes to a destination in real-time. Broader impacts in this area are amplified by the project's partnerships with companies in the transportation and agricultural technology industries, and in information technology. Broader impacts are also sought through demonstrations and outreach to attract students into science and technology, and in particular to cyber-physical systems research.

The objective of this research is to develop advanced distributed monitoring and control systems for civil infrastructure. The approach uses a cyber-physical co-design of wireless sensor-actuator networks and structural monitoring and control algorithms. The unified cyber-physical system architecture and abstractions employ reusable middleware services to develop hierarchical structural monitoring and control systems. The intellectual merit of this multi-disciplinary research includes (1) a unified middleware architecture and abstractions for hierarchical sensing and control; (2) a reusable middleware service library for hierarchical structural monitoring and control; (3) customizable time synchronization and synchronized sensing routines; (4) a holistic energy management scheme that maps structural monitoring and control onto a distributed wireless sensor-actuator architecture; (5) dynamic sensor and actuator activation strategies to optimize for the requirements of monitoring, computing, and control; and (6) deployment and empirical validation of structural health monitoring and control systems on representative lab structures and in-service multi-span bridges. While the system constitutes a case study, it will enable the development of general principles that would be applicable to a broad range of engineering cyber-physical systems. This research will result in a reduction in the lifecycle costs and risks related to our civil infrastructure. The multi-disciplinary team will disseminate results throughout the international research community through open-source software and sensor board hardware. Education and outreach activities will be held in conjunction with the Asia-Pacific Summer School in Smart Structures Technology jointly hosted by the US, Japan, China, and Korea.

This project has two closely related objectives. The first is to design and evaluate new Cyber Transportation Systems (CTS) applications for improved traffic safety and traffic operations. The second is to design and develop an integrated traffic-driving-networking simulator. The project takes a multi-disciplinary approach that combines cyber technologies, transportation engineering and human factors. While transportation serves indispensible functions to society, it does have its own negative impacts in terms of accidents, congestion, pollution, and energy consumption. To improve traffic safety, the project will develop and evaluate novel algorithms and protocols for prioritization, delivery and fusion of various warning messages so as to reduce drivers? response time and workload, prevent conflicting warnings, and minimize false alarms. To improve traffic operations, the project will focus on the design of next generation traffic management and control algorithms for both normal and emergency operations (e.g. during inclement weather and evacuation scenarios). Both human performance modeling methods and human subjects? experimental methods will be used to address the human element in this research. As the design and evaluation of CTS applications requires an effective development and testing platform linking the human, transportation and cyber elements, the project will also design and develop a simulator that combines the main features of a traffic simulator, a networking simulator and a driving simulator. The integrated simulator will allow a human driver to control a subject vehicle in a virtual environment with realistic background traffic, which is capable of communicating with the driver and other vehicles with CTS messages. Background traffic will be controlled by a realistic driver model based on our human factors research that accounts for CTS messages? impact on driver behavior. Intellectual Merits: The project explicitly considers human factors in the design and evaluation of CTS safety and operations applications, a topic which has not received adequate attention. Moreover, the proposed integrated simulator represents a first-of-a-kind simulator with unique features that can reduce the design and evaluation costs of new CTS applications. Broader Impacts: The proposed research can improve the safety, efficiency and environmental-friendless of transportation systems, which serve as the very foundation of modern societies and directly affects the quality of life. The integrated simulator will be used as a tool for teenage and elderly driver education and training, and to inspire minority, middle and high school students to pursue careers in math, science, and computer-related fields

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 the research is to develop tools for comprehensive design and optimization of air traffic flow management capabilities at multiple spatial and temporal resolutions: a national airspace-wide scale and one-day time horizon (strategic time-frame); and at a regional scale (of one or a few Centers) and a two-hour time horizon (tactical time-frame). The approach is to develop a suite of tools for designing complex multi-scale dynamical networks, and in turn to use these tools to comprehensively address the strategic-to-tactical traffic flow management problem. The two directions in tool development include 1) the meshed modeling/design of flow- and queueing-networks under network topology variation for cyber- and physical- resource allocation, and 2) large-scale network simulation and numerical analysis. This research will yield aggregate modeling, management design, and validation tools for multi-scale dynamical infrastructure networks, and comprehensive solutions for national-wide strategic-to-tactical traffic flow management using these tools. The broader impact of the research lies in the significant improvement in cost and equity that may be achieved by the National Airspace System customers, and in the introduction of systematic tools for infrastructure-network design that will have impact not only in transportation but in fields such as electric power network control and health-infrastructure design. The development of an Infrastructure Network Ideas Cluster will enhance inter-disciplinary collaboration on the project topics and discussion of their potential societal impact. Activities of the cluster include cross-university undergraduate research training, seminars on technological and societal-impact aspects of the project, and new course development.

The objective of the research is to develop tools for comprehensive design and optimization of air traffic flow management capabilities at multiple spatial and temporal resolutions: a national airspace-wide scale and one-day time horizon (strategic time-frame); and at a regional scale (of one or a few Centers) and a two-hour time horizon (tactical time-frame). The approach is to develop a suite of tools for designing complex multi-scale dynamical networks, and in turn to use these tools to comprehensively address the strategic-to-tactical traffic flow management problem. The two directions in tool development include 1) the meshed modeling/design of flow- and queueing-networks under network topology variation for cyber- and physical- resource allocation, and 2) large-scale network simulation and numerical analysis. This research will yield aggregate modeling, management design, and validation tools for multi-scale dynamical infrastructure networks, and comprehensive solutions for national-wide strategic-to-tactical traffic flow management using these tools. The broader impact of the research lies in the significant improvement in cost and equity that may be achieved by the National Airspace System customers, and in the introduction of systematic tools for infrastructure-network design that will have impact not only in transportation but in fields such as electric power network control and health-infrastructure design. The development of an Infrastructure Network Ideas Cluster will enhance inter-disciplinary collaboration on the project topics and discussion of their potential societal impact. Activities of the cluster include cross-university undergraduate research training, seminars on technological and societal-impact aspects of the project, and new course development.