Abstract: This project is developing a formal methods approach to meet temporal logic specifications in traffic control. 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.  We have uncovered two key structural properties of traffic networks that make them amenable to this approach.

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 major cause of disability in adults in the western world, often resulting in hemiparesis and severe mobility impairments. Recently, rigid exoskeletons have been introduced for clinic-based gait rehabilitation: these systems can apply high levels of assistance, but also introduce kinematic restrictions and significant additional mass to the patient. As such, these devices are well suited to patients with little to no residual mobility (e.g.

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.

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: 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.