Strategic decision-making for physical-world infrastructures is rapidly transitioning toward a pervasively cyber-enabled paradigm, in which human stakeholders and automation leverage the cyber-infrastructure at large (including on-line data sources, cloud computing, and handheld devices). This changing paradigm is leading to tight coupling of the cyber- infrastructure with multiple physical- world infrastructures, including air transportation and electric power systems. These management-coupled cyber- and physical- infrastructures (MCCPIs) are subject to complex threats from natural and sentient adversaries, which can enact complex propagative impacts across networked physical-, cyber-, and human elements. We propose here to develop a modeling framework and tool suite for threat assessment for MCCPIs. The proposed modeling framework for MCCPIs has three aspects: 1) a tractable moment-linear modeling paradigm for the hybrid, stochastic, and multi-layer dynamics of MCCPIs; 2) models for sentient and natural adversaries, that capture their measurement and actuation capabilities in the cyber- and physical- worlds, intelligence, and trust-level; and 3) formal definitions for information security and vulnerability. The attendant tool suite will provide situational awareness of the propagative impacts of threats. Specifically, three functionalities termed Target, Feature, and Defend will be developed, which exploit topological characteristics of an MCCPI to evaluate and mitigate threat impacts. We will then pursue analyses that tie special infrastructure-network features to security/vulnerability. As a central case study, the framework and tools will be used for threat assessment and risk analysis of strategic air traffic management. Three canonical types of threats will be addressed: environmental-to-physical threats, cyber-physical co-threats, and human-in-the-loop threats. This case study will include development and deployment of software decision aids for managing man-made disturbances to the air traffic system.

The project will produce breakthroughs in the science of human-machine interaction and will produce lasting impacts on exercise machine technologies. The proposed Cyber-Enabled Exercise Machines (CEEMs) adapt to their users, seeking to maximize the effectiveness of exercise while guaranteeing safety. CEEMs measure and process biomechanical variables and generate adjustments to its own resistance, and generate cues to be followed by the exerciser. CEEMs are reconfigurable by software, which permits a wide range of exercises with the same hardware. Two prototype machines will be field-tested with the student-athlete population and used to validate project goals. The prototypes will be a valuable instrument for dissemination and outreach, as well as for student engagement. The outcomes of this research have repercussions beyond athletic conditioning: the same foundations and methodologies can be followed to design machines for rehabilitation, exercise countermeasure devices for astronauts, and custom exercise devices for the elderly and persons with disabilities. Thus, the project has the potential to improve health of society members at various levels. This research will contribute to the foundations of cyber-physical system science in the following aspects: biomechanical modeling and real-time musculoskeletal state estimation; estimation theory and unscented H-infinity estimation; control theory and human-machine interaction dynamics, and micro-evolutionary optimization for real-time systems. The proposed Cyber-Enabled Exercise Machines (CEEMs) are highly reconfigurable devices which adapt to the user in pursuit of an optimization objective, namely maximal activation of target muscle groups. Machine adaptation occurs through port impedance modulation, and optimal cues are generated for the exerciser to follow. The goals of the project are threefold: i) development of foundational cyber-physical science and technology in the field of human-machine systems; ii) development of new approaches to modeling, design, control and optimization of advanced exercise machines, and iii) application of the above results to develop two custom-built CEEMs: a rowing ergometer and a 2-degree-of-freedom resistance machine.

In the United States, there is still a great disparity in medical care and most profoundly for emergency care, where limited facilities and remote location play a central role. Based on the Wessels Living History Farm report, the doctor to patient ratio in the United States is 30 to 10,000 in large metropolitan areas, only 5 to 10,000 in most rural areas; and the highest death rates are often found in the most rural counties. For emergency patient care, time to definitive treatment is critical. However, deciding the most effective care for an acute patient requires knowledge and experience. Though medical best practice guidelines exist and are in hospital handbooks, they are often lengthy and difficult to apply clinically. The challenges are exaggerated for doctors in rural areas and emergency medical technicians (EMT) during patient transport. This project's solution to transform emergency care at rural hospitals is to use innovative CPS technologies to help hospitals to improve their adherence to medical best practice. The key to assist medical staff with different levels of experience and skills to adhere to medical best practice is to transform required processes described in medical texts to an executable, adaptive, and distributed medical best practice guidance (EMBG) system. Compared to the computerized sepsis best practice protocol, the EMBG system faces a much bigger challenge as it has to adapt the best practice across rural hospitals, ambulances and center hospitals with different levels of staff expertise and equipment capabilities. Using a Global Positioning System analogy, a GPS leads drivers with different route familiarity to their destination through an optimal route based on the drivers' preferences, the EMBG system leads medical personnel to follow the best medical guideline path to provide emergency care and minimize the time to definitive treatment for acute patients. The project makes the following contributions: 1) The codification of complex medical knowledge is an important advancement in knowledge capture and representation; 2) Pathophysiological model driven communication in high speed ambulance advances life critical communication technology; and 3) Reduced complexity software architectures designed for formal verification bridges the gap between formal method research and system engineering.

Parking can take up a significant amount of the trip costs (time and money) in urban travel. As such, it can considerably influence travelers' choices of modes, locations, and time of travel. The advent of smart sensors, wireless communications, social media and big data analytics offers a unique opportunity to tap parking's influence on travel to make the transportation system more efficient, cleaner, and more resilient. A cyber-physical social system for parking is proposed to realize parking's potential in achieving the above goals. This cyber-physical system consists of smart parking sensors, a parking and traffic data repository, parking management systems, and dynamic traffic flow control. If successful, the results of the investigation will create a new paradigm for managing parking to reduce traffic congestion, emissions and fuel consumption and to enhance system resilience. These results will be disseminated broadly through publications, workshops and seminars. The research will provide interdisciplinary training to both graduate and undergraduate students. The results of this research also fills a void in our graduate transportation curriculum in which parking management gets little coverage. The investigators will organize an online short training course in Coursera and National Highway Institute to bring results to a broader audience. The investigators will also collaborate with Carnegie Museum of Natural History to develop an online digital map and related educational programs, which will be presented in the museum galleries during public events. Technically, new theories, algorithms and systems for efficient management of transportation infrastructure through parking will be developed in this research, leveraging cutting-edge sensing technology, communication technology, big data analytics and feedback control. The research probes massive individualized and infrastructure based traffic and parking data to gain a deeper understanding of travel and parking behavior, and develops a novel reservoir-based network flow model that lays the foundation for modeling the complex interactions between parking and traffic flow in large-scale transportation networks. The theory will be investigated at different levels of granularity to reveal how parking information and pricing mechanisms affect network flow in a competitive market of private and public parking. In addition, this research proposes closed-loop control mechanisms to enhance mobility and sustainability of urban networks. Prices, access and information of publicly owned on-street and off-street parking are dynamically controlled to: a) change day-to-day behavior of all commuters through day-to-day travel experience and/or online information systems; b) change travel behavior of a fraction of adaptive travelers on the fly who are aware of time-of-day parking information and comply to the recommendations; and c) influence the market prices of privately owned parking areas through a competitive parking market.

Cities provide ready and efficient access to facilities and amenities through shared civil infrastructures such as transportation and healthcare. Making such critical infrastructures resilient to sudden changes, e.g., caused by large-scale disasters, requires careful management of limited and varying resources. The rapidly growing big data from both physical sensors and social media in real-time suggest an unprecedented opportunity for information technology to enable increasing efficiency and effectiveness of adaptive resource management techniques in response to sharp changes in supply and/or demand on critical infrastructures. Within the general areas of resilient infrastructures and big data, this project will focus on the integration of heterogeneous Big Data and real-time analytics that will improve the adaptive management of resources when critical infrastructures are under stress. The integration of heterogeneous data sources is essential because many kinds of physical sensors and social media provide useful information on various critical infrastructures, particularly when they are under stress. This Research Coordination Network (RCN) will promote meetings and activities that stimulate and enable new research on integration of heterogeneous physical sensor data and social media for real-time big data analytics in support of resilient critical infrastructures such as transportation and healthcare in smart cities. As first example, the RCN will support participation from young faculty attending the Early Career Investigators' Workshop on Cyber-Physical Systems in Smart Cities (ECI-CPS) at CPSweek (April of each year) and young faculty attending the Workshop on Big Data Analytics for Cyber-physical Systems (BDACPS). As a second example, the RCN will support contributions to a Special Track on Big Data Analytics for Resilient Infrastructures at the IEEE Big Data Congress. As a third example, the RCN will support participation in International meetings organized by other countries, e.g., Japan's Big Data program by Japan Science and Technology Agency (JST). The project will also maintain a repository of research resources. Concretely, the RCN will actively collect and make readily available public data sets (e.g., physical and social sensor data) and software tools (e.g., to support real-time big data analytics). The technologies and tools that arise from RCN-enabled research will be applied to socially and economically impactful areas such as reducing congestion and personalized healthcare in smart cities.

This project aims to accelerate the deployment of security measures for cyber-physical systems (CPSs). A framework is proposed that combines anomaly identification approaches, which emphasizes on the development of decentralized cyber-attack monitoring and diagnostic-like components, with robust control countermeasure to improve reliability and maintain system functionality. Within this framework, the investigators will (1) implement hybrid observers and active attack detection methods exploiting system vulnerabilities; and (2) develop and integrate cyber-attack control countermeasure at the physical system level to guarantee functionality and resiliency in the presence of identified and unidentified threats. Specifically, this project focuses on applications to connected vehicle (CV) systems where vehicles are capable of sharing information via dedicated short range communication network, with the goal of improving fuel efficiency and avoiding collision. The project's final objective would be to create a cyber-secure vehicle connectivity paradigm that incorporates cyber-attack detection algorithms and executes integrated fault-tolerant countermeasures at the vehicle level to support vehicle system resiliency and accelerate the future commercialization of automated vehicles. The research solutions of this project will impact safety, security and reliability of networked CPSs by helping accelerate the adoption of threat identification and attack resilient control countermeasures at the system and network level. The specific application to connected and automated vehicles should lead to a future market acceptance of these vehicle technologies with a potential improvement in traffic conditions, vehicle and personal safety, and energy consumption. This project involves interdisciplinary research in cyber security for the development of more secure, scalable and reliable future networked CPSs. It proposes to conduct fundamental research on a model-based computational strategy that includes: 1) implement advanced threat models in a hybrid systems framework; 2) identify system and communication vulnerabilities especially in the dedicated short range communication network (DSRC) for CVs; 3) derive hybrid observer based cyber-attack detection algorithms based on stochastic quantized models and event triggered estimation; 4) establish active attack detection methods based on system vulnerabilities; 5) develop control counter measures for each CPS based on game theory and robust control methods; 6) derive control algorithms against malicious agents in the CV to avoid vehicle collisions; 7) develop computationally fast and distributed algorithms for the above six objectives; and 8) evaluate through simulation and experimental validation the capabilities and impact on the vehicle of the proposed strategies.

Part 1: Upper-limb motor impairments arise from a wide range of clinical conditions including amputations, spinal cord injury, or stroke. Addressing lost hand function, therefore, is a major focus of rehabilitation interventions; and research in robotic hands and hand exoskeletons aimed at restoring fine motor control functions gained significant speed recently. Integration of these robots with neural control mechanisms is also an ongoing research direction. We will develop prosthetic and wearable hands controlled via nested control that seamlessly blends neural control based on human brain activity and dynamic control based on sensors on robots. These Hand Augmentation using Nested Decision (HAND) systems will also provide rudimentary tactile feedback to the user. The HAND design framework will contribute to the assistive and augmentative robotics field. The resulting technology will improve the quality of life for individuals with lost limb function. The project will help train engineers skilled in addressing multidisciplinary challenges. Through outreach activities, STEM careers will be promoted at the K-12 level, individuals from underrepresented groups in engineering will be recruited to engage in this research project, which will contribute to the diversity of the STEM workforce. Part 2: The team previously introduced the concept of human-in-the-loop cyber-physical systems (HILCPS). Using the HILCPS hardware-software co-design and automatic synthesis infrastructure, we will develop prosthetic and wearable HAND systems that are robust to uncertainty in human intent inference from physiological signals. One challenge arises from the fact that the human and the cyber system jointly operate on the same physical element. Synthesis of networked real-time applications from algorithm design environments poses a framework challenge. These will be addressed by a tightly coupled optimal nested control strategy that relies on EEG-EMG-context fusion for human intent inference. Custom distributed embedded computational and robotic platforms will be built and iteratively refined. This work will enhance the HILCPS design framework, while simultaneously making novel contributions to body/brain interface technology and assistive/augmentative robot technology. Specifically we will (1) develop a theoretical EEG-EMG-context fusion framework for agile HILCPS application domains; (2) develop theory for and design novel control theoretic solutions to handle uncertainty, blend motion/force planning with high-level human intent and ambient intelligence to robustly execute daily manipulation activities; (3) further develop and refine the HILCPS domain-specific design framework to enable rapid deployment of HILCPS algorithms onto distributed embedded systems, empowering a new class of real-time algorithms that achieve distributed embedded sensing, analysis, and decision making; (4) develop new paradigms to replace, retrain or augment hand function via the prosthetic/wearable HAND by optimizing performance on a subject-by-subject basis.

The objective of this research is to design a semi-automated, efficient, and secure emergency response system to reduce the time it takes emergency vehicles to reach their destinations, while increasing the safety of non-emergency vehicles and emergency vehicles alike. Providing route and maneuver guidance to emergency vehicles and non-emergency vehicles will make emergency travel safer and enable police and other first responders to reach and transport those in need, in less time. This should reduce the number of crashes involving emergency vehicles and associated litigation costs while improving medical outcomes, reducing property damage, and instilling greater public confidence in emergency services. At the same time, non-emergency vehicles will also be offered increased safety and, with the reduction of long delays attributed to emergency vehicles, experience reduced incident-related travel time, which will increase productivity and quality of life for drivers. Incorporating connected vehicles into the emergency response system will also provide synergistic opportunities for non-emergency vehicles, including live updates on accident sites, areas to avoid, and information on emergency routes that can be incorporated into navigation software so drivers can avoid potential delays. While the proposed system will naturally advance the quality of transportation in smart cities, it will also provide a platform for future techniques to build upon. For example, the proposed system could be connected with emergency care facilities to balance the load of emergency patients at hospitals, and act as a catalyst toward the realization of a fully-automated emergency response system. New courses and course modules will be developed to recruit and better prepare a future workforce that is well versed in multi-disciplinary collaborations. Video demos and a testbed will be used to showcase the research to the public. The key research component will be the design of an emergency response system that (1) dynamically determines EV routes, (2) coordinates actions by non-emergency vehicles using connected vehicle technology to efficiently and effectively clear paths for emergency vehicles, (3) is able to adapt to uncertain traffic and network conditions, and (4) is difficult to abuse or compromise. The project will result in (1) algorithms that dynamically select EV routes based on uncertain or limited traffic data, (2) emergency protocols that exploit connected vehicle technology to facilitate emergency vehicles maneuvers, (3) an automation module to assist with decision making and maneuvers, and (4) an infrastructure and vehicle hardening framework that prevents cyber abuse. Experiments will be performed on a testbed and a real test track to validate the proposed research.

The goal of this project is to facilitate timely retrieval of dynamic situational awareness information from field-deployed nodes by an operational center in resource-constrained uncertain environments, such as those encountered in disaster recovery or search and rescue missions. This is an important cyber physical system problem with perspectives drawn at a system and platform level, as well as at the system of systems level. Technology advances allow the deployment of field nodes capable of returning rich content (e.g., video/images) that can significantly aid rescue and recovery. However, development of techniques for acquisition, processing and extraction of the content that is relevant to the operation under resource constraints poses significant interdisciplinary challenges, which this project will address. The focus of the project will be on the fundamental science behind these tasks, facilitated by validation via both in house experimentation, and field tests orchestrated based on input from domain experts. In order to realize the vision of this project, a set of algorithms and protocols will be developed to: (a) intelligently activate field sensors and acquire and process the data to extract semantically relevant information; (b) formulate expressive and effective queries that enable the near-real-time retrieval of relevant situational awareness information while adhering to resource constraints; and, (c) impose a network structure that facilitates cost-effective query propagation and response retrieval. The research brings together multiple sub-disciplines in computing sciences including computer vision, data mining, databases and networking, and understanding the scientific principles behind information management with compromised computation/communication resources. The project will have a significant broader impact in the delivery of effective situational awareness in applications like disaster response. The recent :World Disaster Report" states that there were more than 1 million deaths and $1.5 trillion in damage from disasters within the past decade; the research has the potential to drastically reduce these numbers. Other possible applications are law enforcement and environmental monitoring. The project will facilitate a strong inter-disciplinary education program and provide both undergraduate and graduate students experience with experimentation and prototype development. There will be a strong emphasis on engaging the broader community and partnering with programs that target under-represented students and minorities.

Many practical systems such as smart grid, unmanned aerial vehicles (UAVs) and robotic networks can be categorized as cyber physical systems (CPS). A typical CPS consists of physical dynamics, sensors, communication network and controllers. The communication network is of key importance in CPS, since it mimics the nerve system in the human body. Hence, it is critical to study how the communication network in CPS should be analyzed and designed. Essentially, communications stem from the uncertainty of system under consideration; random perturbations increase the system uncertainty, which is reduced by the control actions in CPS. It is well known that entropy is a measure of system uncertainty. A unified framework of entropy is used for CPS, in which random perturbations create entropy while communications and controls provide negative entropy to compensate the entropy generation. The intellectual merits are the novel framework of entropy for bridging the communications and control in CPS and the new design criterion based on the entropy of system state for CPS. The project's broader significance and importance are the education of various levels of students, the dissemination of results to public, and the impact on everyday life such as the improved agility and robustness of power grids. This project applies the framework of entropy to study the interdependencies of communications and control, thus facilitating the analysis and design of communications in CPS. The following tasks are tackled in the project: (a) Entropy Flow Based Communication Capacity Analysis in which communications in CPS is analyzed by studying the entropy fields in the physical dynamics, thus providing an estimation on the scale (bits/second) of communication capacity budget; (b) Communication Network Topology Design in which the design of the network topology (either physical or logical) is tackled through both optimization-based or heuristic approaches; (c) Online Network Resource Scheduling which refines the network resource scheduling during the operation using both optimization-based and heuristic approaches, within the framework of entropy fields; (d) Hardware Emulation Testbed which delivers a co-simulation testbed based on real time digital power simulator (RTDS) and a communication simulator, in the context of smart grids. Based on the research, new courses are developed. K-12 outreach and various levels of undergraduate/graduate educations are incorporated into the research.