This project is a modular, computationally-distributed multi-robot cyberphysical system (CPS) for assisting young developmentally-delayed children in learning to walk. The multi-robot CPS is designed to function in the same way as an adult assisting a child in learning to walk (addressing the research target area of a science of CPS by introducing developmental rehabilitation robotics). It addresses the research target area of new CPS technology by introducing a multi-robot system: 1) a multi-cable scaffold robot that continuously modulates the stabilization of medio-lateral and anterior-posterior sway, and 2) a soft, wearable, exosuit robot with embedded sensing and actuation, which assists with stance push off and swing flexion. The objective is to build a prototype multi-robot CPS and perform tests with human subjects to evaluate the CPS functionality, safety, and interoperability (addressing the research target area of engineering CPS). Longitudinal tests of typically developing and developmentally delayed children learning to walk with or without assistance of the multi-robot CPS are conducted in a motion capture laboratory. Body center of mass behavior as well as gait parameters of walking are measured as the two robots work together to assist the child in maintaining balance and propelling the body forward with each step. This exosuit/scaffolding multi-robot technology will advance knowledge within engineering with bio-inspired soft components, including miniature pneumatic artificial muscle actuators with embedded sensors that enable the control of the muscles in real time. The bio-inspired architecture and material components of the exosuit will make possible a new generation of ?smart fabric? that acts in concert with the body for efficient energy use. The exosuit is part of a larger modular design that makes it possible to couple it to additional assistive robots via a modular communications network. Together, the exosuit, scaffold robot, and wireless communications network for modular CPS, will advance knowledge for the engineering of other CPS that require high levels of interoperability and safety, such as medical CPS. The multi-robot CPS is designed for children who are developmentally delayed as a result of early brain injury. The long term consequences of early brain injury, e.g., in children born prematurely, constitute a major health problem and a significant emotional and financial burden for families and society. The use of a multi-robot cyberphysical system as part of a rehabilitation program may be able to harness the potential of the nervous system for plasticity, the ability to re-organize its structure, function, and connections. The focus is on young children with a history of early brain injury due to prematurity. However, this new cyberphysical system will have a much broader impact in restoring function throughout the life span. Neuroplasticity is not just an immediate response to injury, but occurs throughout the developmental period, providing an opportunity to promote repair and re-education, and restore function. A key to this broad application is the developmentally-motivated, modular structure and interoperability of the exosuit.

The objective of this research is to develop a comprehensive theoretical and experimental cyber-physical framework to enable intelligent human-environment interaction capabilities by a synergistic combination of computer vision and robotics. Specifically, the approach is applied to examine individualized remote rehabilitation with an intelligent, articulated, and adjustable lower limb orthotic brace to manage Knee Osteoarthritis, where a visual-sensing/dynamical-systems perspective is adopted to: (1) track and record patient/device interactions with internet-enabled commercial-off-the-shelf computer-vision-devices; (2) abstract the interactions into parametric and composable low-dimensional manifold representations; (3) link to quantitative biomechanical assessment of the individual patients; (4) facilitate development of individualized user models and exercise regimen; and (5) aid the progressive parametric refinement of exercises and adjustment of bracing devices. This research and its results will enable us to understand underlying human neuro-musculo-skeletal and locomotion principles by merging notions of quantitative data acquisition, and lower-order modeling coupled with individualized feedback. Beyond efficient representation, the quantitative visual models offer the potential to capture fundamental underlying physical, physiological, and behavioral mechanisms grounded on biomechanical assessments, and thereby afford insights into the generative hypotheses of human actions. Knee osteoarthritis is an important public health issue, because of high costs associated with treatments. The ability to leverage a quantitative paradigm, both in terms of diagnosis and prescription, to improve mobility and reduce pain in patients would be a significant benefit. Moreover, the home-based rehabilitation setting offers not only immense flexibility, but also access to a significantly greater portion of the patient population. The project is also integrated with extensive educational and outreach activities to serve a variety of communities.

This project's objective is to enable assertion-driven development and debugging of cyber-physical systems (CPS), in which required conditions are formalized as part of the design. In contrast with traditional uses of assertions in software engineering, CPS demand a tight coupling of the cyber with the physical, including in system validation. This project uses mathematical models of key physical attributes to guide creation of assertions, to identify inconsistent or infeasible assertions, and to localize potential causes for CPS failures. The goal is to produce methods and tools that use physical models to guide assertion-based verification of cyber-physical systems. An assertion language is being developed that is founded in mathematical logic while providing the familiarity of commonly used programming languages. This foundation enables new automated debugging techniques for CPS. By leveraging models that encode laws of physics and an automated decision procedure, the techniques being developed help identify causes of CPS failures by distinguishing inconsistent or infeasible physical states from valid ones. This model-based approach incorporates means to assess these physical states using both probabilistic and non-probabilistic measures. Two safety-critical applications guide the research and demonstrate the impact on the development of CPS: coordinated control of autonomous vehicles and monitoring and control of left-ventricular assist devices (LVADs). The focus on these safety-critical applications are motivational for recruiting and educating engineering students who have high expectations for how their lives should be enabled by computing advances. Further, this research advances methods needed to validate safe and effective CPS, promoting the public's confidence in their application to safety-critical systems.

Autonomous navigation in unknown and dynamic environments has been a major challenge for synthetic mobile robotic agents. On the other hand, insects can easily solve such complex navigational problems and demonstrate remarkably stable and optimized locomotion skills in almost any environment. This project aims to develop a mobile sensor network where insects are used as mobile biological-robotic (biobotic) nodes. Insects, in fact, build a "natural" sensor network through the use of their biological sensing organs and release of chemical, mechanical and optical cues to communicate the information to the rest of the group. In the scope of this project, a novel cyber-physical communication network will be established among the individual insect in addition to the aforementioned natural one. For this, insects will be equipped with synthetic electronic sensors to sense additional cues, neuromuscular stimulation systems to direct the control of the insect and microcontrollers with radios to establish an RF link between the insects. This novel network will enable operation of insect biobots in complicated and uncertain dynamic environments for applications such as environmental sensing and search-and-rescue operations after natural disasters. The unique interdisciplinary nature of this project will help engineers to reach to younger generations and train them to be able to look at engineering problems from a cyberphysical systems point of view. Planned activities include development of lab modules and demos by undergraduate and graduate students to teach K-12 students and their teachers through our on-going collaborations with educational partners. These demos will also be instrumental during nation level efforts to promote graduate education to underrepresented minority students.

This CPS Frontiers project addresses highly dynamic Cyber-Physical Systems (CPSs), understood as systems where a computing delay of a few milliseconds or an incorrectly computed response to a disturbance can lead to catastrophic consequences. Such is the case of cars losing traction when cornering at high speed, unmanned air vehicles performing critical maneuvers such as landing, or disaster and rescue response bipedal robots rushing through the rubble to collect information or save human lives. The preceding examples currently share a common element: the design of their control software is made possible by extensive experience, laborious testing and fine tuning of parameters, and yet, the resulting closed-loop system has no formal guarantees of meeting specifications. The vision of the project is to provide a methodology that allows for complex and dynamic CPSs to meet real-world requirements in an efficient and robust way through the formal synthesis of control software. The research is developing a formal framework for correct-by-construction control software synthesis for highly dynamic CPSs with broad applications to automotive safety systems, prostheses, exoskeletons, aerospace systems, manufacturing, and legged robotics. The design methodology developed here will improve the competitiveness of segments of industry that require a tight integration between hardware and highly advanced control software such as: automotive (dynamic stability and control), aerospace (UAVs), medical (prosthetics, orthotics, and exoskeleton design) and robotics (legged locomotion). To enhance the impact of these efforts, the PIs are developing interdisciplinary teaching materials to be made freely available and disseminating their work to a broad audience.

This CPS Frontiers project addresses highly dynamic Cyber-Physical Systems (CPSs), understood as systems where a computing delay of a few milliseconds or an incorrectly computed response to a disturbance can lead to catastrophic consequences. Such is the case of cars losing traction when cornering at high speed, unmanned air vehicles performing critical maneuvers such as landing, or disaster and rescue response bipedal robots rushing through the rubble to collect information or save human lives. The preceding examples currently share a common element: the design of their control software is made possible by extensive experience, laborious testing and fine tuning of parameters, and yet, the resulting closed-loop system has no formal guarantees of meeting specifications. The vision of the project is to provide a methodology that allows for complex and dynamic CPSs to meet real-world requirements in an efficient and robust way through the formal synthesis of control software. The research is developing a formal framework for correct-by-construction control software synthesis for highly dynamic CPSs with broad applications to automotive safety systems, prostheses, exoskeletons, aerospace systems, manufacturing, and legged robotics. The design methodology developed here will improve the competitiveness of segments of industry that require a tight integration between hardware and highly advanced control software such as: automotive (dynamic stability and control), aerospace (UAVs), medical (prosthetics, orthotics, and exoskeleton design) and robotics (legged locomotion). To enhance the impact of these efforts, the PIs are developing interdisciplinary teaching materials to be made freely available and disseminating their work to a broad audience.

This CPS Frontiers project addresses highly dynamic Cyber-Physical Systems (CPSs), understood as systems where a computing delay of a few milliseconds or an incorrectly computed response to a disturbance can lead to catastrophic consequences. Such is the case of cars losing traction when cornering at high speed, unmanned air vehicles performing critical maneuvers such as landing, or disaster and rescue response bipedal robots rushing through the rubble to collect information or save human lives. The preceding examples currently share a common element: the design of their control software is made possible by extensive experience, laborious testing and fine tuning of parameters, and yet, the resulting closed-loop system has no formal guarantees of meeting specifications. The vision of the project is to provide a methodology that allows for complex and dynamic CPSs to meet real-world requirements in an efficient and robust way through the formal synthesis of control software. The research is developing a formal framework for correct-by-construction control software synthesis for highly dynamic CPSs with broad applications to automotive safety systems, prostheses, exoskeletons, aerospace systems, manufacturing, and legged robotics. The design methodology developed here will improve the competitiveness of segments of industry that require a tight integration between hardware and highly advanced control software such as: automotive (dynamic stability and control), aerospace (UAVs), medical (prosthetics, orthotics, and exoskeleton design) and robotics (legged locomotion). To enhance the impact of these efforts, the PIs are developing interdisciplinary teaching materials to be made freely available and disseminating their work to a broad audience. Continued on award #1562236: http://cps-vo.org/node/24060

This CPS Frontiers project addresses highly dynamic Cyber-Physical Systems (CPSs), understood as systems where a computing delay of a few milliseconds or an incorrectly computed response to a disturbance can lead to catastrophic consequences. Such is the case of cars losing traction when cornering at high speed, unmanned air vehicles performing critical maneuvers such as landing, or disaster and rescue response bipedal robots rushing through the rubble to collect information or save human lives. The preceding examples currently share a common element: the design of their control software is made possible by extensive experience, laborious testing and fine tuning of parameters, and yet, the resulting closed-loop system has no formal guarantees of meeting specifications. The vision of the project is to provide a methodology that allows for complex and dynamic CPSs to meet real-world requirements in an efficient and robust way through the formal synthesis of control software. The research is developing a formal framework for correct-by-construction control software synthesis for highly dynamic CPSs with broad applications to automotive safety systems, prostheses, exoskeletons, aerospace systems, manufacturing, and legged robotics. The design methodology developed here will improve the competitiveness of segments of industry that require a tight integration between hardware and highly advanced control software such as: automotive (dynamic stability and control), aerospace (UAVs), medical (prosthetics, orthotics, and exoskeleton design) and robotics (legged locomotion). To enhance the impact of these efforts, the PIs are developing interdisciplinary teaching materials to be made freely available and disseminating their work to a broad audience.

This project, investigating formal languages as a general methodology for task transfer between distinct cyber-physical systems such as humans and robots, aims to expand the science of cyber physical systems by developing Motion Grammars that will enable task transfer between distinct systems. Formal languages are tools for encoding, describing and transferring structured knowledge. In natural language, the latter process is called communication. Similarly, we will develop a formal language through which arbitrary cyber-physical systems communicate tasks via structured actions. This investigation of Motion Grammars will contribute to the science of human cognition and the engineering of cyber-physical algorithms. By observing human activities during manipulation we will develop a novel class of hybrid control algorithms based on linguistic representations of task execution. These algorithms will broaden the capabilities of man-made systems and provide the infrastructure for motion transfer between humans, robots and broader systems in a generic context. Furthermore, the representation in a rigorous grammatical context will enable formal verification and validation in future work. Broader Impacts: The proposed research has direct applications to new solutions for manufacturing, medical treatments such as surgery, logistics and food processing. In turn, each of these areas has a significant impact on the efficiency and convenience of our daily lives. The PIs serve as coordinators of graduate/undergraduate programs and mentors to community schools. In order to guarantee that women and minorities have a significant role in the research, the PIs will annually invite K-12 students from Atlanta schools with primarily African American populations to the laboratories. One-day robot classes will be conducted that engage students in the excitement of hands-on science by interactively using lab equipment to transfer their manipulation skills to a robot arm.

This project, generalizing mean-field approaches from physics and chemistry for integrated design of scalable, network resource aware, distributed control strategies for multi-agent robotic systems, aims to develop macroscopic models that retain salient features of the underlying multi-agent robotic system and use these models in the design of distributed control strategies. For complex cyber physical systems, this promises to provide a novel design methodology that is potentially applicable to a large class of systems and, therefore, will result in foundational knowledge of use to the community at large. This high-risk, high-reward project integrates ideas from physics, chemistry, control theory, and robotics to develop new theoretical foundations for the design, validation, and improvement of coordination strategies for multi-agent robotic systems. The project's intellectual merit lies in the ensemble approach towards the design, validation, and improvement of cyber physical systems. Mean-field methods provide a system-level abstraction of the underlying distributed system while retaining the salient features of the various agent-level interactions. The generalization of these models to ensembles of interacting engineered systems provides new methods for designing distributed controllers that are sensitive to changing network resources and whose performance can be predicted and adjusted to achieve both the desired short-term and long-term performance specifications. Broader Impacts: The broader impacts of this project are twofold. First, the mean-field approach takes into account network resource usage and management, providing an integrated strategy for designing scalable decentralized control and coordination strategies. Second, different from biologically-inspired approaches, the mean-field approach enables the design of distributed coordination strategies whose performance can be systematically predicted and tuned to meet detailed performance specifications. This has the potential to unify various existing multi-agent coordination approaches. The research outcomes will be disseminated through publications in technical conferences and journals and incorporated into the PI's existing undergraduate and graduate curriculum and K-12 outreach efforts targeted at increasing female participation in STEM fields.