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.

Children affected by neurological conditions (e.g., Cerebral Palsy, Muscular Atrophy, Spina Bifida and Severe head trauma) often develop significant disabilities including impaired motor control. In many cases, walking becomes a non-functional and exhausting skill that demands the use of the aids or the substitution of function, such as wheelchair. This usually cause these children not to acquire locomotion skills, and consequently to lose their independence. However, it is well understood that bipedal locomotion, an essential human characteristic, ensures the best physiological motor pattern acquisition. For this reason, in children with neurological and neuromuscular diseases, independent walking is a significant rehabilitation goal that must be pursued in a specific temporal window due to the plasticity of central nervous system. In other words, children with neurological conditions have a small window of time to acquire locomotion skills through assisted walking rehearsals. The objective of this research work is to create and experimentally validate a set of technologies that form the framework for the development of adaptive, self-balancing, and modular exoskeleton robotics systems for children with neurological disorders. It is our belief that the exoskeleton (and its associated infrastructure) resulting from this research will offer an effective tool to promote locomotion skill acquisition, and in general health, during a critical period in the early life of children with neurological conditions. This research proposal develops a data-driven human-machine modeling specific to physiological conditions. This creates regression models that predict the user behavior without explicit modeling the complex human musculoskeletal dynamics and motor control mechanism. Additionally this research project formulates a safe adaptive control problem as a model predictive control (MPC) problem. In this method, an optimal input sequence is computed by solving a constrained finite-time optimal control problem where exoskeleton intrusion (input from exoskeleton) is minimized to maximize the user's intent to promote learning. This project further develops a novel approach for stabilizing and preventing fall of the exoskeleton and the child as a whole. This method allows a child wearing an exoskeleton to learn locomotion skills described above with less likelihood of falls. This research project furthermore evaluates the developed technologies in terms of efficiency and efficacy and creates a novel fun game using exoskeleton for children to promote locomotion skills.

The project aims at making cities "smarter" by engineering processes such as traffic control, efficient parking services, and new urban activities such as recharging electric vehicles. To that end, the research will study the components needed to establish a Cyber-Physical Infrastructure for urban environments and address fundamental problems that involve data collection, resource allocation, real-time decision making, safety, and security. Accordingly, the research is organized along two main directions: (i) Sensing and data acquisition using a new mobile sensor network paradigm designed for urban environments; and (ii) Decision Support for the "Smart City" relying on formal verification and certification methods coupled with innovative dynamic optimization techniques used for decision making and resource allocation. The work will bring together and build upon methodological advances in optimization under uncertainty, computer simulation, discrete event and hybrid systems, control and games, system security, and formal verification and safety. Target applications include: a "Smart Parking" system where parking spaces are optimally assigned and reserved, and vehicular traffic regulation. The research has the potential of revolutionizing the way cities are viewed: from a passive living and working environment to a highly dynamic one with new ways to deal with transportation, energy, and safety. Teaming up with stakeholders in the Boston Back Bay neighborhood, the City of Boston, and private industry, the research team expects to establish new collaborative models between universities and urban groups for cutting-edge research embedded in the deployment of an exciting technological, economic, and sociological development.

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.