Boston University

file

Visible to the public Efficient Traffic Management - A Formal Methods Approach

Submitted by arcak on Mon, 02/01/2016 - 2:50pm. Contributors:

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.

file

Visible to the public Efficient Control Synthesis and Learning in Distributed Cyber-Physical Systems

Submitted by Herbert Tanner on Mon, 02/01/2016 - 2:50pm. Contributors:

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?

file

Visible to the public Human-Machine Interaction with Mobility Enhancing Soft Exosuits

Submitted by walshharvard on Mon, 02/01/2016 - 5:36am. Contributors:

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.

file

Visible to the public A Multi-Resolution Approach for Discovery and 3D Modeling of Archaeological Site Imagery and a UAV-Borne Camera

Submitted by macschwager on Mon, 02/01/2016 - 4:25am. Contributors:

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.

file

Visible to the public Cyber-Physical Manipulation (CPM): Locating Manipulating and Retrieving Large Objects with Large Populations of Robots

Submitted by macschwager on Mon, 02/01/2016 - 4:06am. Contributors:

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.