Cyber-physical systems (CPS) encompass the next generation of computerized control for countless aspects of the physical world and interactions thereof. The typical engineering process for CPS reuses existing designs, models, components, and software from one version to the next. For example, in automotive engineering, it is common to reuse significant portions of existing model-year vehicle designs when developing the next model-year vehicle, and such practices are common across CPS industries, from aerospace to biomedical. While reuse drastically enhances efficiency and productivity, it leads to the possibility of introducing unintended mismatches between subcomponents' specifications. For example, a 2011 US National Highway Traffic Safety Administration (NHTSA) recall of over 1.5 million model-year 2005-2010 vehicles was due to the upgrade of a physical transmission component that was not appropriately addressed in software. A mismatch between cyber and physical specifications may occur when a software or hardware upgrade (in effect, a cyber or physical specification change) is not addressed by an update (in effect, a matching specification change) in the other domain. This research will develop new techniques and software tools to detect automatically if cyber-physical specification mismatches exist, and then mitigate the effects of such mismatches at runtime, with the overall goal to yield more reliable and safer CPS upon which society increasingly depends. The detection and mitigation methods developed will be evaluated in an energy CPS testbed. While the evaluation testbed is in the energy domain, the methods are applicable to other CPS domains such as automotive, aerospace, and biomedical. The educational goals will bridge gaps between computer science and electrical engineering, preparing a diverse set of next-generation CPS engineers by developing education platforms to enhance CPS engineering design and verification skills. The proposed research is to develop new techniques and tools to automatically identify and mitigate the effects of cyber-physical specification mismatches. There are three major research objectives. The first objective is to identify cyber-physical specification mismatches. To identify mismatches, a detection problem will be formalized using the framework of hybrid input/output automata (HIOA). Offline algorithms will be designed to find candidate specifications from models and implementations using static and dynamic analyses, and then identify candidate mismatches. The second objective is to monitor and assure safe CPS upgrades. As modern CPS designs are complex, it may be infeasible to determine all specifications and mismatches between all subcomponents at design time. Runtime monitoring and verification methods will be developed for inferred specifications to detect mismatches at runtime. When they are identified, a runtime assurance framework building on supervisory control and the Simplex architecture will assure safe CPS runtime operation. The third objective is to evaluate safe CPS upgrades in an example CPS. The results of the other objectives and their ability to ensure safe CPS upgrades will be evaluated in an energy CPS testbed, namely an AC electrical distribution microgrid that interfaces DC-producing renewables like photovoltaics to AC.

This project designs algorithms for the integration of plug-in hybrid electric vehicles (PEVs) into the power grid. Specifically, the project will formulate and solve optimization problems critical to various entities in the PEV ecosystem -- PEV owners, commercial charging station owners, aggregators, and distribution companies -- at the distribution / retail level. Charging at both commercial charging stations and at residences will be considered, for both the case when PEVs only function as loads, and the case when they can also function as sources, equipped with vehicle-to-home (V2H) or vehicle-to-grid (V2G) energy reinjection capability. The focus of the project is on distributed decision making by various individual players to achieve analytical system-level performance guarantees. Electrification of the transportation market offers revenue growth for utility companies and automobile manufacturers, lower operational costs for consumers, and benefits to the environment. By addressing problems that will arise as PEVs impose extra load on the grid, and by solving challenges that currently impede the use of PEVs as distributed storage resources, this research will directly impact the society. The design principles gained will also be applicable to other cyber-physical infrastructural systems. A close collaboration with industrial partners will ground the research in real problems and ensure quick dissemination of results to the marketplace. A strong educational component will integrate the proposed research into the classroom to allow better training of both undergraduate and graduate students.

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.

This project aims to design algorithmic techniques to perform activity discovery, recognition, and prediction from sensor data. These techniques will form the foundation for the science of Activity- Prediction Cyber-Physical Systems, including potential improvement in the responsiveness and adaptiveness of the systems. The outcome of this work is also anticipated to have important implications in the specific application areas of health care and sustainability, two priority areas of societal importance. The first application will allow for health interventions to be provided that adapt to an individual's daily routine and operate in that person's everyday environment. The second application will offer concrete tools for building automation that improve sustainability without disrupting an individual's current or upcoming activities. The project investigators will leverage existing training programs to involve students from underrepresented groups in this research. Bi-annual tours and a museum exhibit will reach K-12 teachers, students and visitors, and ongoing commercialization efforts will ensure that the designed technologies are made available for the public to use. Deploying activity-predictive cyber-physical systems "in the wild" requires a number of robust computational components for activity learning, knowledge transfer, and human-in- the-loop computing that are introduced as part of this project. These components then create cyber physical systems that funnel information from a sensed environment (the physical setting as well as humans in the environment), to activity models in the cloud, to mobile device interfaces, to the smart grid, and then back to the environment. The proposed research centers on defining the science of activity-predictive cyber-physical systems, organized around the following thrusts: (1) the design of scalable and generalizable algorithms for activity discovery, recognition, and prediction; (2) the design of transfer learning methods to increase the the ability to generalize activity-predictive cyber-physical systems; (3) the design of human-in-the-loop computing methods to increase the sensitivity of activity-predictive cyber-physical systems; (4) the introduction of evaluation metrics for activity-predictive cyber-physical systems; and (5) transition of activity-predictive cyber-physical systems to practical applications including health monitoring/intervention and smart/sustainable cities.

The timely and accurate in-service identification of faults in mechanical structures, such as airplanes, can play a vitally important role in avoiding catastrophes. One major challenge, however, is that the sensing system relies on high frequency signals, the coordination of which is difficult to achieve throughout a large structure. To tackle this fundamental issue, the research team will take advantage of 3D printing technology to fabricate integrated sensor-structure components. Specifically, the team plans to innovate a novel printing scheme that can embed piezoelectric transducers (namely, sensor/actuator coupled elements) into layered composites. As the transducers are densely distributed throughout the entire structure, they function like a nerve system embedded into the structure. Such a sensor nerve system, when combined with new control and command systems and advanced data and signal processing capability, can fully unleash the latest computing power to pinpoint the fault location. The new framework of utilizing emerging additive manufacturing technology to produce a structural system with integrated, densely distributed active sensing elements will potentially lead to paradigm-shifting progress in structural self-diagnosis. This advancement may allow the acquisition of high-quality, active interrogation data throughout the entire structure, which can then be used to facilitate highly accurate and robust decision-making. It will lead to intellectual contributions including: 1) development of a new sensing modality with mechanical-electrical dual-field adaptivity, that yields rich and high-quality data throughout the structure; 2) design of an additive manufacturing scheme that inserts piezoelectric micro transducer arrays throughout the structure to enable active interrogation; and 3) formulation of new data analytics and inverse analysis that can accurately identify the fault location/severity and guide the fine-tuning of the sensor system.

Recent progress in autonomous and connected vehicle technologies coupled with Federal and State initiatives to facilitate their widespread use provide significant opportunities in enhancing mobility and safety for highway transportation. This project develops signalized intersection control strategies and other enabling sensor mechanisms for jointly optimizing vehicle trajectories and signal control by taking advantage of existing advanced technologies (connected vehicles and vehicle to infrastructure communications, sensors, autonomous vehicle technologies, etc.) Traffic signal control is a critical component of the existing transportation infrastructure and it has a significant impact on transportation system efficiency, as well as energy consumption and environmental impacts. In addition to advanced vehicle technologies, the strategies developed consider the presence of conventional vehicles in the traffic stream to facilitate transition to these new strategies in a mixed vehicle environment. The project also develops and uses simulation tools to evaluate these strategies as well as to provide tools that can be used in practice to consider the impacts of automated and connected vehicles in arterial networks. The project involves two industry partners (ISS and Econolite) to help facilitate new product development in anticipation of increased market penetration of connected and autonomous vehicles. The approach will be tested through simulation at University of Florida, through field tests at the Turner Fairbank Highway Research Center (TFHRC) and through the control algorithms that also will be deployed and tested in the field. The project will support multiple graduate students and will support creation of on-line classes. The project is at the intersection of several different disciplines (optimization, sensors, automated vehicles, transportation engineering) required to produce a real-time engineered system that depends on the seamless integration of several components: sensor functionality, connected and autonomous vehicle information communication, signal control optimization strategy, missing and erroneous information, etc. The project develops and implements optimization processes and strategies considering a seamless fusion of multiple data sources, as well as a mixed vehicle stream (autonomous, connected, and conventional vehicles) under real-world conditions of uncertain and missing data. Since trajectories for connected and conventional vehicles cannot be optimized or guaranteed, the project examines the impacts of the presence of automated vehicles on the following vehicles in a queue. The project also integrates advanced sensing technology needed to control a mixed vehicle stream, as well as address malfunctioning communications in connected and autonomous vehicles.