2012

file

Visible to the public Safety-Oriented Hybrid Verification of Medical Robotics

Abstract:

Motivation and goal The whole-system design and modeling of complex medical robotics in- volves analog sensors and actuators; discrete software controllers; piecewise, non-linear, discon- tinuous biological tissues/media; and probabilistic human administrators.

file

Visible to the public The Fail Safe Operation of Collaborative Driving Systems

Abstract

Vehicle automation has progressed from systems that monitor the operation of a vehicle, such as antilock brakes and cruise control, to systems that sense adgacent vehicles, such as emergency braking and intelligent cruise control. The next generation of systems will share sensor readings and collaborate to control braking operations by looking several cars ahead or by creating safe gaps for merging vehicles.

file

Visible to the public Ant-Like Microrobots - Fast, Small, and Under Control

Abstract

The goal of this multidisciplinary project is to develop the first cooperative network of small robots. It involves the concurrent investigation of control and estimation algorithms, actuators, sensors and platforms that support mobility and collaboration subject to severe power, size and weight constraints.