Manufacturing and production have been big contributors to improved quality and sustainability of human life. Current market trends, such as consumer demand for variety, short product life cycles, high product quality and low cost, have resulted in the need for efficient, responsive, robust and sustainable manufacturing and production paradigm. 3D printing technologies hold the merit of affordability and customizability, while the key challenge in applying 3D printing for mass customization in real life is how to reduce the lead time per unit. The lead time of 3D printing a product unit comes from two sources, i.e., the pre-fabrication computation and manufacturing process. The pre-fabrication computation is increasingly significant and becomes the bottleneck in the manufacturing flow of mass customization in 3D Printing. This EArly-concept Grant for Exploratory Research (EAGER) project looks to address this problem through new computational methods with potential for two orders of magnitude reduction in time for pre-facbrication computation. This project aims to develop a transformative computational paradigm of 3D printing in mass customization. The project will pursue two novel and complementary objectives: 1) design a suite of quality-guaranteed geometric algorithms for the scalable and time-efficient pre-fabrication computation framework.; and 2) develop a low-complexity and efficient computing system to facilitate and accelerate the use of these methods and algorithms in Objective1. This new computer system focuses on domain-specific computing platforms as the next disruptive technology for power-performance-runtime efficiency improvement. Specifically, the team will develop accelerator-based architectures for computing primitives of geometric algorithms. This new hardware architecture will exploit the parallelism and customization to improve the efficiency of the new computational paradigm in 3D printing with less delay, lower complexity and higher computing power.

The evolution of manufacturing systems from loose collections of cyber and physical components into true cyber-physical systems has expanded the opportunities for cyber-attacks against manufacturing. To ensure the continued production of high-quality parts in this new environment requires the development of novel security tools that transcend both the cyber and physical worlds. Potential cyber-attacks can cause undetectable changes in a manufacturing system that can adversely affect the product's design intent, performance, quality, or perceived quality. The result of this could be financially devastating by delaying a product's launch, ruining equipment, increasing warranty costs, or losing customer trust. More importantly, these attacks pose a risk to human safety, as operators and consumers could be using faulty equipment/products. New methods for detecting and diagnosing cyber-physical attacks will be studied and evaluated through our established industrial partners. The expected results of this project will contribute significantly in further securing our nation's manufacturing infrastructure. This project establishes a new vision for manufacturing cyber-security based upon modeling and understanding the correlation between cyber events that occur in a product/process development-cycle and the physical data generated during manufacturing. Specifically, the proposed research will take advantage of this correlation to characterize the relationships between cyber-attacks, process data, product quality observations, and side-channel impacts for the purpose of attack detection and diagnosis. These process characterizations will be coupled with new manufacturing specific cyber-attack taxonomies to provide a comprehensive understanding of attack surfaces for advanced manufacturing systems and their cyber-physical manifestations in manufacturing processes. This is a fundamental missing element in the manufacturing cyber-security body of knowledge. Finally, new forensic techniques, based on constraint optimization and machine learning, will be researched to differentiate process changes indicative of cyber-attacks from common variations in manufacturing due to inherent system variability.

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.

Legged robots have captured the imagination of society at large, through entertainment and through the dissemination of research findings. Yet, today's reality of what (bipedal) legged robots can do falls short of society's vision. A big part of the reason is that legged robots are viewed as surrogates for humans, able to go wherever humans can as aids or as assistants where it might also be too dangerous or risky. It is in the expectation of robustness and walking facility that today's research hits its limits, especially when the terrain has granular properties. Impeding progress is the lack of a holistic approach to the cyber-physical modeling and control of legged robots. The vision of this work is to unite experts in granular mechanics, optimal control, and learning theory in order to define a methodology for advancing cyber-physical systems (CPS) involving a tight coupling of the physical with the cyber through dynamic interactions that must be learned online. The proposed work will advance the science of cyber-physical systems by more explicitly tying sensing, perception, and computing to the optimization and control of physical systems whose properties are variable and uncertain. Achieving reliable, adaptive legged locomotion over terrain with arbitrary granular properties would transform several application domain areas of robotics; e.g., disaster response, agricultural and industrial robotics, and planetary robotics. More broadly, the same tools would apply to related CPS with regards to terrain aware exoskeleton and rehabilitation prosthetics for persons with missing, non-functional, or injured legs, as well as to energy networks with time-varying, nonlinear dynamics models. The CPS platform to be studied is that of a bipedal robot locomoting over granular ground material with uncertain physical properties (sand, gravel, dirt, etc.). The proposed work seeks to overcome current impediments to reliable legged locomotion over uncertain terrain type, which fundamentally relies on the controlled interaction of the robot's feet with the physical environment. The research goal is to improve the perception and control of legged locomotion over granular media for the express purpose of achieving robust, adaptive, terrain-aware locomotion. It revolves around the hypothesis that simple models with decent predictive performance and low computational overhead are sufficient for the optimal control formulations as the compute-constrained adaptive subsystem will both learn and classify the peculiarities of the terrain online. The main research objectives will involve: [1] a validated co-simulation platform for legged robot movement over granular media; [2] terrain-dependent, stable gait generation and gait transition strategies via optimal control; [3] online, compute-constrained learning of granular interactions for adaptation and terrain classification; and [4] validated contributions using experimental testbeds involving variable and unknown (to the robot) granular media. Given the high value of the robotic platforms and the research with regards to outreach and participation, they will be used as outreach tools and to create new educational modules for promotion of STEM fields. Further, the multi-disciplinary nature of the work will be highlighted in order to emphasize its importance.

The automotive industry finds itself at a cross-roads. Current advances in MEMS sensor technology, the emergence of embedded control software, the rapid progress in computer technology, digital image processing, machine learning and control algorithms, along with an ever increasing investment in vehicle-to-vehicle (V2V) and vehicle-to-infrastructure (V2I) technologies, are about to revolutionize the way we use vehicles and commute in everyday life. Automotive active safety systems, in particular, have been used with enormous success in the past 50 years and have helped keep traffic accidents in check. Still, more than 30,000 deaths and 2,000,000 injuries occur each year in the US alone, and many more worldwide. The impact of traffic accidents on the economy is estimated to be as high as $300B/yr in the US alone. Further improvement in terms of driving safety (and comfort) necessitates that the next generation of active safety systems are more proactive (as opposed to reactive) and can comprehend and interpret driver intent. Future active safety systems will have to account for the diversity of drivers' skills, the behavior of drivers in traffic, and the overall traffic conditions. This research aims at improving the current capabilities of automotive active safety control systems (ASCS) by taking into account the interactions between the driver, the vehicle, the ASCS and the environment. Beyond solving a fundamental problem in automotive industry, this research will have ramifications in other cyber-physical domains, where humans manually control vehicles or equipment including: flying, operation of heavy machinery, mining, tele-robotics, and robotic medicine. Making autonomous/automated systems that feel and behave "naturally" to human operators is not always easy. As these systems and machines participate more in everyday interactions with humans, the need to make them operate in a predictable manner is more urgent than ever. To achieve the goals of the proposed research, this project will use the estimation of the driver's cognitive state to adapt the ASCS accordingly, in order to achieve a seamless operation with the driver. Specifically, new methodologies will be developed to infer long-term and short-term behavior of drivers via the use of Bayesian networks and neuromorphic algorithms to estimate the driver's skills and current state of attention from eye movement data, together with dynamic motion cues obtained from steering and pedal inputs. This information will be injected into the ASCS operation in order to enhance its performance by taking advantage of recent results from the theory of adaptive and real-time, model-predictive optimal control. The correct level of autonomy and workload distribution between the driver and ASCS will ensure that no conflicts arise between the driver and the control system, and the safety and passenger comfort are not compromised. A comprehensive plan will be used to test and validate the developed theory by collecting measurements from several human subjects while operating a virtual reality-driving simulator.

The objective of this work is to generate new fundamental science that enables the operation of cyber-physical systems through complex environments. Predicting how a system will behave in the future requires more computing power if that system is complex. Navigating through environments with many obstacles could require significant computing time, which may delay the issue of decisions that have to be made by the on-board algorithms. Fortunately, systems do not always need the most accurate model to predict their behavior. This project develops new theory for deciding between the best model to use when making a decision in real time. The approach involves switching between different predictive models of the system, depending on the computational burden of the associated controller, and the accuracy that the predictive model provides. These tools will pave the way for more kinds of aircraft to navigate closely and safely with one another through the National Air Space (NAS), including Unmanned Air Systems (UAS). The results from this project will enable more accurate and faster trajectory synthesis for controllers with nonlinear plants, or nonlinear constraints that encode obstacles. The approach utilizes hybrid control to switch between models whose accuracy is normalized by their computational burden of predictive control methods. This synergistic approach enables computationally-aware cyber-physical systems (CPSs), in which model accuracy can be jointly considered with computational requirements. The project advances the knowledge on modeling, analysis, and design of CPSs that utilize predictive methods for trajectory synthesis under constraints in real-time cyber-physical systems. The results will include methods for the design of algorithms that adapt to the computational limitations of autonomous and semi-autonomous systems while satisfying stringent timing and safety requirements. With these methods come new tools to account for computational capabilities in real-time, and new hybrid feedback algorithms and prediction schemes that exploit computational capabilities to arrive at more accurate predictions within the time constraints. The algorithms will be modeled in terms of hybrid dynamical systems, to guarantee dynamical properties of interest. The problem space will draw from models of UAS in the NAS.

Security and privacy concerns in the increasingly interconnected world are receiving much attention from the research community, policymakers, and general public. However, much of the recent and on-going efforts concentrate on security of general-purpose computation and on privacy in communication and social interactions. The advent of cyber-physical systems (e.g., safety-critical IoT), which aim at tight integration between distributed computational intelligence, communication networks, physical world, and human actors, opens new horizons for intelligent systems with advanced capabilities. These systems may reduce number of accidents and increase throughput of transportation networks, improve patient safety, mitigate caregiver errors, enable personalized treatments, and allow older adults to age in their places. At the same time, cyber-physical systems introduce new challenges and concerns about safety, security, and privacy. The proposed project will lead to safer, more secure and privacy preserving CPS. As our lives depend more and more on these systems, specifically in automotive, medical, and Internet-of-Things domains, results obtained in this project will have a direct impact on the society at large. The study of emerging legal and ethical aspects of large-scale CPS deployments will inform future policy decision-making. The educational and outreach aspects of this project will help us build a workforce that is better prepared to address the security and privacy needs of the ever-more connected and technologically oriented society. Cyber-physical systems (CPS) involve tight integration of computational nodes, connected by one or more communication networks, the physical environment of these nodes, and human users of the system, who interact with both the computational part of the system and the physical environment. Attacks on a CPS system may affect all of its components: computational nodes and communication networks are subject to malicious intrusions, and physical environment may be maliciously altered. CPS-specific security challenges arise from two perspectives. On the one hand, conventional information security approaches can be used to prevent intrusions, but attackers can still affect the system via the physical environment. Resource constraints, inherent in many CPS domains, may prevent heavy-duty security approaches from being deployed. This proposal will develop a framework in which the mix of prevention, detection and recovery, and robust techniques work together to improve the security and privacy of CPS. Specific research products will include techniques providing: 1) accountability-based detection and bounded-time recovery from malicious attacks to CPS, complemented by novel preventive techniques based on lightweight cryptography; 2) security-aware control design based on attack resilient state estimator and sensor fusions; 3) privacy of data collected and used by CPS based on differential privacy; and, 4) evidence-based framework for CPS security and privacy assurance, taking into account the operating context of the system and human factors. Case studies will be performed in applications with autonomous features of vehicles, internal and external vehicle networks, medical device interoperability, and smart connected medical home.

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.

The objective of this work is to generate new fundamental science that enables the operation of cyber-physical systems through complex environments. Predicting how a system will behave in the future requires more computing power if that system is complex. Navigating through environments with many obstacles could require significant computing time, which may delay the issue of decisions that have to be made by the on-board algorithms. Fortunately, systems do not always need the most accurate model to predict their behavior. This project develops new theory for deciding between the best model to use when making a decision in real time. The approach involves switching between different predictive models of the system, depending on the computational burden of the associated controller, and the accuracy that the predictive model provides. These tools will pave the way for more kinds of aircraft to navigate closely and safely with one another through the National Air Space (NAS), including Unmanned Air Systems (UAS). The results from this project will enable more accurate and faster trajectory synthesis for controllers with nonlinear plants, or nonlinear constraints that encode obstacles. The approach utilizes hybrid control to switch between models whose accuracy is normalized by their computational burden of predictive control methods. This synergistic approach enables computationally-aware cyber-physical systems (CPSs), in which model accuracy can be jointly considered with computational requirements. The project advances the knowledge on modeling, analysis, and design of CPSs that utilize predictive methods for trajectory synthesis under constraints in real-time cyber-physical systems. 
 The results will include methods for the design of algorithms that adapt to the computational limitations of autonomous and semi-autonomous systems while satisfying stringent timing and safety requirements. With these methods come new tools to account for computational capabilities in real-time, and new hybrid feedback algorithms and prediction schemes that exploit computational capabilities to arrive at more accurate predictions within the time constraints. The algorithms will be modeled in terms of hybrid dynamical systems, to guarantee dynamical properties of interest. The problem space will draw from models of UAS in the NAS.

Cells, to carry out many important functions, employ an elaborate transport network with bio-molecular components forming roadways as well as vehicles. The transport is achieved with remarkable robustness under a very uncertain environment. The main goal of this proposal is to understand how biology achieves such functionality and leveraging the knowledge toward realizing effective engineered transport mechanisms for micron sized cargo. The realization of a robust infrastructure that enables simultaneous transport of many micron and smaller sized particles will have a transformative impact on a vast range of areas such as medicine, drug development, electronics, and bio-materials. A key challenge here is to probe the mechanisms often at the nanometer scale as the bio-molecular components are at tens of nanometer scale. The main tools for addressing these challenges come from an engineering perspective that is guided by existing insights from biology. The proposal will bring together researchers from engineering and biology and it provides an integrated environment for students. Moreover, it is known that an impaired transport mechanism can underlie many neurodegenerative maladies, and as the research here pertains to studying intracellular transport, discoveries hold the potential for shedding light on what causes the impaired transport. Robust infrastructure that enables simultaneous transport of many micron and smaller sized particles will have a transformative impact on a vast range of areas such as medicine, drug development, electronics, and bio-materials. Daunting challenges from the underlying highly uncertain and complex environments impede enabling robust and efficient transport systems at micro-scale. Motivated by transport in biological cells, this work proposes a robust and efficient engineered infrastructure for transporting micron/molecular scale cargo using biological constructs. For probing and manipulating the transport network, the proposal envisions strategies for coarse and fine resolution objectives at the global and local scales respectively. At the fine scale of monitoring and control, scarce and expensive physical resources such as high resolution sensors have to be shared for interrogation/control of multiple carriers. In this proposal, the principles for joint control, sensor allocation and scheduling of resources to achieve enhanced performance objectives of a high resolution probing tool, will be developed. A modern control perspective forms an essential strategy for managing multiple objectives. At the global scale, entire traffic will be monitored to arrive at real-time and off-line inferences on traffic modalities. Associated principles for dynamically identifying and tracking clusters of carriers and their importance will be built. This categorization of physical elements and their importance will determine the dynamic allocation of computational resources. Associated study of trade-offs will guide a combined strategy for allocation of computational resources and gathering of information on physical elements. Methods based on the reconstruction of graph topologies for reaching inferences that are suited to dynamically related time trajectories for the transportation infrastructure will be developed. The research proposed is transformative as it will enable a new transport paradigm at the cellular scale, which will also provide unique insights into intracellular transport where it will be possible to investigate multiple factors under the same experimental conditions.