Many safety-critical cyber-physical systems rely on advanced sensing capabilities to react to changing environmental conditions. One such domain is automotive systems. In this domain, a proliferation of advanced sensor technology is being fueled by an expanding range of autonomous capabilities (blind spot warnings, automatic lane-keeping, etc.). The limit of this expansion is full autonomy, which has been demonstrated in various one-off prototypes, but at the expensive of significant hardware over-provisioning that is not tenable for a consumer product. To enable features approaching full autonomy in a commercial vehicle, software infrastructure will be required that enables multiple sensor-processing streams to be multiplexed onto a common hardware platform at reasonable cost. This project is directed at the development of such infrastructure. The desired infrastructure will be developed by focusing on a particularly compelling challenge problem: enabling cost-effective driver-assist and autonomous-control automotive features that utilize vision-based sensing through cameras. This problem will be studied by (i) examining numerous multicore-based hardware configurations at various fixed price points based on realistic automotive use cases, and by (ii) characterizing the range of vision-based workloads that can be feasibly supported using the software infrastructure to be developed. The research to be conducted will be a collaboration involving academic researchers at UNC and engineers at General Motors Research. The collaborative nature of this effort increases the likelihood that the results obtained will have real impact in the U.S. automotive industry. Additionally, this project is expected to produce new open-source software and tools, new course content, public outreach through participation in UNC's demo program, and lectures and seminars by the investigators at national and international forums.

Modern medical devices increasingly incorporate connectivity mechanisms that offer the potential to integrate devices via network/middleware technology into larger systems of cooperating devices. Initial integration efforts in the industry are focused on streaming device data into electronic health records and integrating information from multiple devices into single customizable displays. This proposal provides a research foundation for engineering and verification of these safety critical systems through creating an open source Medical Device Coordination Framework (MDCF) which includes: 1)middleware for integrating medical devices and electronic health records, and 2) a model-based development environment that implements medical device coordination applications (apps for short), enabling a systems of systems paradigm for medical devices. The project has substantial broader impact via tools and techniques for verifying the integration of medical systems that are compatible with the Integrated Clinical Environment standard. In addition, the proposer includes extensive interaction with FDA specialists who are looking to transition these methods into their validation and verification processes for their regulatory mission.

Enhanced Structural Health Monitoring of Civil Infrastructure Systems by Observing and Controlling Loads using a Cyber-Physical System Framework The economic prosperity of the nation is dependent on vast networks of civil infrastructure systems. Unfortunately, large fractions of these infrastructure systems are rapidly approaching the end of their intended design lives. The national network of highway bridges is especially vulnerable to age-based deterioration as revealed by recent catastrophic bridge collapses in the United States. Two major bottlenecks currently exist that severely limit the effectiveness of existing bridge health management methods. First, the causal relationship between repeated truck loading and long-term structural deterioration is not well understood. Second, current management methods are reliant on visual inspections which only provide qualitative information regarding bridge health and introduce subjectivity in post-inspection decision making. This project aims to resolve these major bottlenecks by advancing a cyber-physical system (CPS) designed to monitor the health of highway bridges, control the loads imposed on bridges by heavy trucks, and provide visual inspectors with quantitative information for data-driven bridge health assessments. The CPS framework created will have enormous impact on the national economy by enhancing public safety while dramatically improving the cost-effectiveness of infrastructure management methods. The project will also create publically available graduate-level course curricula focused on CPS technology and engages inner-city middle-school students from underrepresented groups to prepare them to pursue careers in the science, technology, engineering, and mathematics (STEM) fields. The overarching goal of the research project is to create a scalable and robust CPS framework for the observation and control of mobile agents that asynchronously and transiently interact with a stationary physical system. While this class of problem is found throughout many engineering disciplines, the project focuses on the health management of highway bridges. The mobile agents relevant to bridge health are the trucks that load and introduce long-term damage in the bridge and inspectors who visually inspect the bridge. The task of devising a robust CPS framework will be challenged by the highly transient nature of the agents involved. Specifically, the compressed time of interaction between the truck and bridge results in tight time constraints on observation, quantification and control of the truck's loading. The project will rely on ad-hoc wireless communications to seamlessly integrate sensors embedded in the mobile agents (trucks and inspectors) with wireless sensors installed on the bridge and with servers dedicated to cloud-based analytics located on the Internet. The project will design the CPS framework to quantify in real-time truck loads based on sensor data streaming into the CPS framework. A distributed computing architecture will be created for the CPS framework to automate the decomposition of computational tasks in order to dramatically improve the speed and efficiency of the framework's data processing capabilities. Finally, the CPS framework will establish ad-hoc feedback control of the mobile agents in order to control mobile agent-stationary system interactions. In particular, feedback control of an instrumented truck allows the CPS framework to control the loads imposed on the bridge for improved health assessments. The CPS framework will be further extended to control visual inspection processes by providing inspectors with recommend inspection actions based on rigorous analysis of collected sensor data. The intellectual significance of the CPS framework is that it observes and controls truck loads on highway bridges for the first time while creating an entirely new data-driven paradigm for more accurate health assessment of infrastructure systems.

Large battery systems with 100s/1000s cells are being used to power various physical platforms. For example, automobiles are transitioning from conventional powertrains to (plug-in) hybrid and electric vehicles (EVs). To achieve the desired efficiency of EVs, significant improvements are needed in the architecture and algorithms of battery management. This project will develop a new comprehensive battery management architecture, called Smart Battery Management System (SBMS). The research is expected to bridge the wide gap existing between cyber-physical system (CPS) research and electrification industry communities, provide environment-friendly solutions, increase the awareness of CPS, and develop skilled human resources. This project will incorporate and enhance a battery management system (BMS) by including battery state-of-charge (SoC) and state-of-health (SoH) algorithms as well as power management strategies on both pack and cell levels. Specifically, it consists of five main research tasks: (i) design a dynamically reconfigurable energy storage system to tolerate harsh internal and external stresses; (ii) develop cell-level thermal management algorithms; (iii) develop efficient, dependable charge and discharge scheduling algorithms in hybrid energy storage systems; (iv) develop a comprehensive, diagnostic/prognostic (P/D) algorithm with system parameters adjusted for making optimal decisions; and (v) build a testbed and evaluate the proposed architecture and algorithms on the testbed. This research will advance the state-of-the-art in the management of large-scale energy storage systems, extending their life and operation-time significantly, which is key to a wide range of battery-powered physical platforms. That is, SBMS will enable batteries to withstand excessive stresses and power physical platforms for a much longer time, all at low costs. SBMS will also serve as a basic framework for various aspects of CPS research, integrating (cyber) dynamic control and P/D mechanisms, and (physical) energy storage system dynamics.

This project will design next-generation defense mechanisms to protect critical infrastructures, such as power grids, large industrial plants, and water distribution systems. These critical infrastructures are complex primarily due to the integration of cyber and physical components, the presence of high-order behaviors and functions, and an intricate and large interconnection pattern. Malicious attackers can exploit the complexity of the infrastructure, and compromise a system's functionality through cyber attacks (that is hacking into the computation and communication systems) and/or physical attacks (tampering with the actuators, sensors and the control system). This work will develop mathematical models of critical infrastructures and attacks, develop intelligent control-theoretic security mechanisms, and validate the findings on an industry-accredited simulation platform. This project will directly impact national security and economic competitiveness, and the results will be available and useful to utility companies. To accompany the scientific advances, the investigators will also engage in educational efforts to bring this research to the classroom at UCR, and will disseminate their results via scientific publications. The work will also create several opportunities for undergraduate and graduate students to engage in research at UCR, one of the nation's most ethnically diverse research-intensive institutions. This study encompasses theoretical, computational, and experimental research at UCR aimed at characterizing vulnerabilities of complex cyber-physical systems, with a focus on electric power networks, and control-theoretic defense mechanisms to ensure protection and graceful performance degradation against accidental faults and malicious attacks. This project proposes a transformative approach to cyber-physical security, which builds on a unified control-theoretic framework to model cyber-physical systems, attacks, and defense strategies. This project will undertake three main research initiatives ranging from fundamental scientific and engineering research to analysis using industry-accepted simulation tools: (1) modeling and analysis of cyber-physical attacks, and their impact on system stability and performance; (2) design of monitors to reveal and distinguish between accidental and malignant contingencies; and (3) synthesis of adaptive defense strategies for stochastic and highly dynamic cyber-physical systems. Results will first be characterized from a pure control-theoretic perspective with focus on stochastic, switching, and dynamic cyber-physical systems, so as to highlight fundamental research challenges, and then specialized for the case of smart grid, so as to clarify the implementation of monitors, attacks, and defense strategies. The findings and strategies will be validated for the case of power networks by using the RTDS simulation system, which is an industry-accredited tool for real-time tests of dynamic behavior, faults, attacks, monitoring systems, and defensive strategies.

This project develops the theory and technology for a new frontier in cyber-physical systems: cyber-physical manipulation. The goal of cyber-physical manipulation is to enable groups of hundreds or thousands of individual robotic agents to collaboratively explore an environment, manipulate objects in that environment, and transport those objects to desired locations. The project embraces realistic assumptions about the communication, computation, and sensing capabilities of simple individual robots, leading to algorithmic solutions that intrinsically leverage population size in favor of complex agents. Cyber-physical solutions for locating, grasping, and characterizing objects require tools based on distributed computational geometry, while the tasks of planning a path, initiating motion, and controlling the trajectory require tools from decentralized control and consensus. The project lays the theoretical and algorithmic foundations of cyber-physical manipulation, and proves the feasibility of the concept experimentally in hardware tests with up to 100 individual robots. The project uses the problem of manipulation as a stage on which to explore the deeper cyber-physical issue of information asymmetry; the difference in the state of the world as perceived by different agents in the system due to differences in their history of observations, and limitations in their communication capabilities. The object retrieval problem studied in this project is an elemental building block for enabling more complex cyber-physical manipulation tasks. It provides crucial algorithmic components for numerous applications of broad societal benefit, including automated construction (in which hundreds or thousands of robots fabricate large, complex structures), autonomous emergency response (in which large teams of robots find and retrieve incapacitated human survivors after a disaster), and automated environmental cleanup (in which robots secure a dangerous environment by removing debris or hazardous substances). Furthermore, distributed algorithms for multi-agent systems are of broad scientific relevance beyond the realm of cyberphysical systems. The natural world is, in its algorithmic essence, decentralized at many levels. Hence, any advancement in the understanding of how groups of individual agents collaborate to accomplish a coherent task will have broad scientific ramifications. The project has a robust educational and outreach program. One aspect is a hands-on curriculum for robotics outreach activities, called the 'Cyber-Physical Manipulation Lab.' Using a custom-designed robot platform, this educational module introduces the theory and practice of cyber-physical systems to young students to attract them to STEM subject areas at an early age. Results of the project are also incorporated into several graduate and undergraduate level courses at Rice University and Boston University.

This project investigates new reinforcement learning algorithms to enable long-term real-time autonomous learning by cyber-physical systems (CPS). The complexity of CPS makes hand-programming safe and efficient controllers for them difficult. For CPS to meet their potential, they need methods that enable them to learn and adapt to novel situations that they were not programmed for. Reinforcement learning (RL) is a paradigm for learning sequential decision making processes with potential for solving this problem. However, existing RL algorithms do not meet all of the requirements of learning in CPS. Efficacy of the new algorithms for CPS is evaluated in the context of smart buildings and autonomous vehicles. Cyber-physical systems (CPS) have the potential to revolutionize society by enabling smart buildings, transportation, medical technology, and electric grids. Success of this project could lead to a new generation of CPS that are capable of adapting to their situation and improving their performance autonomously over time. In addition to the traditional methods of dissemination, this project will develop and release open-source code implementing the new reinforcement learning algorithms. Education and outreach activities associated with the project include a Freshman Research Initiative course, participation in a UT Austin annual open house that draws in many underrepresented minorities to interest the public in computer science and science in general, and the department's annual summer school for high school girls called First Bytes.

This project develops the theory and technology for a new frontier in cyber-physical systems: cyber-physical manipulation. The goal of cyber-physical manipulation is to enable groups of hundreds or thousands of individual robotic agents to collaboratively explore an environment, manipulate objects in that environment, and transport those objects to desired locations. The project embraces realistic assumptions about the communication, computation, and sensing capabilities of simple individual robots, leading to algorithmic solutions that intrinsically leverage population size in favor of complex agents. Cyber-physical solutions for locating, grasping, and characterizing objects require tools based on distributed computational geometry, while the tasks of planning a path, initiating motion, and controlling the trajectory require tools from decentralized control and consensus. The project lays the theoretical and algorithmic foundations of cyber-physical manipulation, and proves the feasibility of the concept experimentally in hardware tests with up to 100 individual robots. The project uses the problem of manipulation as a stage on which to explore the deeper cyber-physical issue of information asymmetry; the difference in the state of the world as perceived by different agents in the system due to differences in their history of observations, and limitations in their communication capabilities. The object retrieval problem studied in this project is an elemental building block for enabling more complex cyber-physical manipulation tasks. It provides crucial algorithmic components for numerous applications of broad societal benefit, including automated construction (in which hundreds or thousands of robots fabricate large, complex structures), autonomous emergency response (in which large teams of robots find and retrieve incapacitated human survivors after a disaster), and automated environmental cleanup (in which robots secure a dangerous environment by removing debris or hazardous substances). Furthermore, distributed algorithms for multi-agent systems are of broad scientific relevance beyond the realm of cyberphysical systems. The natural world is, in its algorithmic essence, decentralized at many levels. Hence, any advancement in the understanding of how groups of individual agents collaborate to accomplish a coherent task will have broad scientific ramifications. The project has a robust educational and outreach program. One aspect is a hands-on curriculum for robotics outreach activities, called the 'Cyber-Physical Manipulation Lab.' Using a custom-designed robot platform, this educational module introduces the theory and practice of cyber-physical systems to young students to attract them to STEM subject areas at an early age. Results of the project are also incorporated into several graduate and undergraduate level courses at Rice University and Boston University.

To ensure operational safety of complex cyber-physical systems such as automobiles, aircraft, and medical devices, new models, analyses, platforms, and development techniques are needed that can predict, possible interactions between features, detect them in the features' concrete implementations, and either eliminate or mitigate such interactions through precise modeling and enforcement of mixed-criticality cyber-physical system semantics. This project is taking a novel approach to reasoning about and managing feature interactions in cyber-physical systems, which encompasses interactions within software, interactions through the physical dynamics of the system, and interactions via shared computational resources. The proposed approach consists of three tightly coupled research thrusts: (1) a novel way of modeling features as automata equipped with both physical dynamics of the feature environment, and an assigned criticality level in each state of an automaton, (2) new automata-theoretic and control-theoretic analysis techniques, enabled by the modeling approach, and (3) new algorithms for adaptive sharing of computational resources between individual features that are guaranteed to satisfy the assumptions made during analysis, realized within a novel mixed-criticality cyber-physical platform architecture. The modeling approach will introduce a new model for mixed-criticality cyber-physical components and will support modern development standards, such as AUTOSAR in the automotive industry, for assigning criticality levels to features. Component interfaces in this model will capture control modes and the associated physical dynamics, operating modes and the associated resource requirements and criticality level, as well as relationships between control modes and operating modes. Analysis of features expressed in the proposed model will include detection of interactions and exploration of their effect on safety properties of the composite system. The broader impacts of the proposed work are twofold. One impact lies in the pervasive use of cyber-physical systems in our society. If the developed results are adopted in industry, it may help to promote improved safety of such systems. Results of the proposed research will be used in courses offered at both University of Pennsylvania and Washington University at the graduate and undergraduate levels. The project will also provide students with opportunities to get involved in cutting edge research within their fields of study.

This grant provides funding for establishing the scientific foundations of a product innovation process that can engage a vastly larger pool of talent to generate new ideas and to create new cyber-physical products. The primary objective is to address fundamental issues pertaining to natural interfaces, behavioral modeling and secure knowledge sharing, with particular emphasis on their integration. This objective will be achieved by pursuing the following three aims: (1) reducing barriers to participation in product innovation through natural interfaces between physical and virtual domains, (2) reducing barriers to model-based engineering in community-based product development, (3) overcoming information-related impediments to collaboration and information sharing. The findings will be embodied in a proof-of-concept cyber-physical platform for creative design and prototyping. The results of this research hold promise for a new conceptualization of a cyber-physical infrastructure, building on the developments in natural interfaces and information security. The specific outcomes include: (a) well-founded methods for 3D design support of cyber-physical products, and their software embodiment in a natural user interface, (b) techniques and middleware to support model-based engineering in virtual community-based product development, and (c) techniques and protocols for minimum disclosure interactions, quality of inputs assurance, provenance and integrity, and usage control for virtual design and making of cyber-physical products. The proposed research will advance the state of the art in shape creation, product design and manufacturing, and secure design coordination. Validation of the concepts in an educational context will benefit the engineering curriculum by exposing students to emerging ways of designing and making cyber-physical products. Over the long term, the research, education, and dissemination efforts conducted in this project will facilitate a paradigm shift where cyber-physical design and manufacturing using natural interfaces, secure behavioral modeling and knowledge sharing in communities will become a part of our nation?s creative design and manufacturing capacity.