Abstract: Using a classic problem from robotics of a vertical hopping machine, we demonstrate an approach for investigating the safety of a hybrid discrete/continuous dynamic system operating in an uncertain ...

Abstract: Fabrication techniques like Solid Freeform Fabrication (SFF), or Layered Manufacturing, enable the manufacture of completely pre-assembled mechanisms (i.e. those that require no explicit component ...