Software-Defined Control (SDC) is a revolutionary methodology for controlling manufacturing systems that uses a global view of the entire manufacturing system, including all of the physical components (machines, robots, and parts to be processed) as well as the cyber components (logic controllers, RFID readers, and networks). As manufacturing systems become more complex and more connected, they become more susceptible to small faults that could cascade into major failures or even cyber-attacks that enter the plant, such as, through the internet. In this project, models of both the cyber and physical components will be used to predict the expected behavior of the manufacturing system. Since the components of the manufacturing system are tightly coupled in both time and space, such a temporal-physical coupling, together with high-fidelity models of the system, allows any fault or attack that changes the behavior of the system to be detected and classified. Once detected and identified, the system will compute new routes for the physical parts through the plant, thus avoiding the affected locations. These new routes will be directly downloaded to the low-level controllers that communicate with the machines and robots, and will keep production operating (albeit at a reduced level), even in the face of an otherwise catastrophic fault. These algorithms will be inspired by the successful approach of Software-Defined Networking. Anomaly detection methods will be developed that can ascertain the difference between the expected (modeled) behavior of the system and the observed behavior (from sensors). Anomalies will be detected both at short time-scales, using high-fidelity models, and longer time-scales, using machine learning and statistical-based methods. The detection and classification of anomalies, whether they be random faults or cyber-attacks, will represent a significant contribution, and enable the re-programming of the control systems (through re-routing the parts) to continue production. The manufacturing industry represents a significant fraction of the US GDP, and each manufacturing plant represents a large capital investment. The ability to keep these plants running in the face of inevitable faults and even malicious attacks can improve productivity -- keeping costs low for both manufacturers and consumers. Importantly, these same algorithms can be used to redefine the production routes (and machine programs) when a new part is introduced, or the desired production volume is changed, to maximize profitability for the manufacturing operation .

Software-Defined Control (SDC) is a revolutionary methodology for controlling manufacturing systems that uses a global view of the entire manufacturing system, including all of the physical components (machines, robots, and parts to be processed) as well as the cyber components (logic controllers, RFID readers, and networks). As manufacturing systems become more complex and more connected, they become more susceptible to small faults that could cascade into major failures or even cyber-attacks that enter the plant, such as, through the internet. In this project, models of both the cyber and physical components will be used to predict the expected behavior of the manufacturing system. Since the components of the manufacturing system are tightly coupled in both time and space, such a temporal-physical coupling, together with high-fidelity models of the system, allows any fault or attack that changes the behavior of the system to be detected and classified. Once detected and identified, the system will compute new routes for the physical parts through the plant, thus avoiding the affected locations. These new routes will be directly downloaded to the low-level controllers that communicate with the machines and robots, and will keep production operating (albeit at a reduced level), even in the face of an otherwise catastrophic fault. These algorithms will be inspired by the successful approach of Software-Defined Networking. Anomaly detection methods will be developed that can ascertain the difference between the expected (modeled) behavior of the system and the observed behavior (from sensors). Anomalies will be detected both at short time-scales, using high-fidelity models, and longer time-scales, using machine learning and statistical-based methods. The detection and classification of anomalies, whether they be random faults or cyber-attacks, will represent a significant contribution, and enable the re-programming of the control systems (through re-routing the parts) to continue production. The manufacturing industry represents a significant fraction of the US GDP, and each manufacturing plant represents a large capital investment. The ability to keep these plants running in the face of inevitable faults and even malicious attacks can improve productivity -- keeping costs low for both manufacturers and consumers. Importantly, these same algorithms can be used to redefine the production routes (and machine programs) when a new part is introduced, or the desired production volume is changed, to maximize profitability for the manufacturing operation .

This Frontier award supports the SONYC project, a smart cities initiative focused on developing a cyber-physical system (CPS) for the monitoring, analysis and mitigation of urban noise pollution. Noise pollution is one of the topmost quality of life issues for urban residents in the U.S. with proven effects on health, education, the economy, and the environment. Yet, most cities lack the resources for continuously monitoring noise and understanding the contribution of individual sources, the tools to analyze patterns of noise pollution at city-scale, and the means to empower city agencies to take effective, data-driven action for noise mitigation. The SONYC project advances novel technological and socio-technical solutions that help address these needs. SONYC includes a distributed network of both sensors and people for large-scale noise monitoring. The sensors use low-cost, low-power technology, and cutting-edge machine listening techniques, to produce calibrated acoustic measurements and recognizing individual sound sources in real time. Citizen science methods are used to help urban residents connect to city agencies and each other, understand their noise footprint, and facilitate reporting and self-regulation. Crucially, SONYC utilizes big data solutions to analyze, retrieve and visualize information from sensors and citizens, creating a comprehensive acoustic model of the city that can be used to identify significant patterns of noise pollution. This data can in turn be used to drive the strategic application of noise code enforcement by city agencies, in a way that optimally reduces noise pollution. The entire system, integrating cyber, physical and social infrastructure, forms a closed loop of continuous sensing, analysis and actuation on the environment. SONYC is an interdisciplinary collaboration between researchers at New York University and Ohio State University. It provides multiple educational opportunities to students at all levels, including an outreach initiative for K-12 STEM education. The project uses New York City as its focal point, involving partnerships with the city's Department of Environmental Protection, Department of Health and Mental Hygiene, the business improvement district of Lower Manhattan, and ARUP, one of the world's leaders in environmental acoustics. SONYC is an innovative and high-impact application of cyber-physical systems to the realm of smart cities, and potentially a catalyst for new CPS research at the intersection of engineering, data science and the social sciences. It provides a blueprint for the mitigation of noise pollution that can be applied to cities in the US and abroad, potentially affecting the quality of life of millions of people.

The recent increase in the variety and usage of wearable sensing systems allows for the continuous monitoring of health and wellness of users. The output of these systems enable individuals to make changes to their personal routines in order to minimize exposures to pollutants and maintain healthy levels of exercise. Furthermore, medical practitioners are using these systems to monitor proper activity levels for rehabilitation purposes and to monitor threatening conditions such as heart arrhythmias. However, there is substantial work to be done to facilitate the processing and interpretation of such information in order to maximize impact. This proposal develops a computational framework that models the complex interactions between physiological and environmental factors contributing to an individual's health. The contributions of this award will facilitate the broad adoption of wearable sensing platforms and innovative analytical tools by individuals and medical practitioners. This award develops methodology for the estimation and prediction of physiological responses and environmental factors, with the objective of enabling users to efficiently change their behavior. To accomplish this objective, the framework will build on tools from statistical analysis, topological data analysis, optimization theory and human behavior analysis. This novel framework will not only develop new formal techniques, but it will also serve as a bridge between these cross-disciplinary fields. In particular, the proposed hierarchical computational framework has the potential of providing a trade-off between accuracy and computational flexibility based on the choice of granularity of the representation. This award will: (1) develop methodology for the concurrent representation of physiological, kinematic and environmental states for inference purposes; (2) develop techniques for mapping representations between different systems to enable information sharing; and (3) develop techniques to maximize the impact on the behavior of individuals by building on the proposed data representation. The algorithm development will be informed by integration of limitations on embedded platforms due to memory, computational and power capabilities, and transmission costs when off-board processing is required. The proposed techniques will empower users and medical practitioners to understand, analyze, and make decisions based on patterns in the data. The outcomes of this project will empower medical practitioners by providing innovative and effective tools for wearable sensing systems which enable efficient pattern identification, data representation and visualization. Besides training students directly working on this project, the data sets and algorithms developed will be incorporated into a new graduate course on computational techniques for physiological and environmental sensing. Undergraduate students will be engaged by participating in data collection experiments, REUs, and local demonstrations. Underrepresented undergraduate student communities will be exposed to the research at the national level by presenting demos at well-known diversity conferences in the STEM fields. Furthermore, K-12 local student communities will be engaged via summer workshops that will be prepared for students and educators.