Abstract: This project aims to develop the theory and technology for a new frontier in cyber-physical systems: cyber- physical manipulation. The ultimate goal of cyber-physical manipulation is to enable a group of hundreds or thousands of individual robotic agents to collaboratively explore an environment, manipulate objects in that environment, and transport those objects to desired locations.

Abstract: Many cyber-physical systems (CPS) deployed in a number of applications ranging from airport security systems and transportation systems to health-care and manufacturing rely on a wide variety of sensors for prediction and control. In many of these systems, acquisition of information requires the deployment and activation of physical sensors, which can result in increased expense or delay.

Abstract: The objective of this project is to develop a formal methods approach to traffic management. Formal methods is an area of computer science that develops efficient techniques for proving the correct operation of systems, such as computer programs and digital circuits, and for designing systems that are correct by construction.

Abstract: Scientific challenges: How can multiple cooperative cyber-physical systems communicate and coordinate to accomplish complex high-level tasks within unknown, dynamic and adversarial environments?

Abstract: Stroke is the leading cause of long-term disability in the US with approximately 7 million stroke survivors living in the US today and for patients with neurological disorders, it has been shown that limited gait velocity commonly results in walking that is predominantly restricted to the household. Unlike traditional exoskeletons, which contain rigid linkage elements, the vision for this work is for exosuits that use soft materials such as textiles to provide a more conformal, unobtrusive and compliant means to interface to the human body.

Abstract: The project aims 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.