• Make Your Robot Talk Correctly: Deriving Models of Hybrid System 

      Dantam, Neil; Stilman, Mike; Egerstedt, Magnus B. (Georgia Institute of Technology, 2011-07)
      Using both formal language and differential equations to model a robotic system, we introduce a calculus of transformation rules for the symbolic derivation of hybrid controllers. With a Context-Free Motion Grammar, we ...
    • Push Planning for Object Placement in Clutter Using the PR-2 

      Emeli, Victor; Kemp, Charles C.; Stilman, Mike (Georgia Institute of TechnologyInstitute of Electrical and Electronics Engineers, 2011-09)
      The goal of this project is to investigate the implementation of a planning algorithm for the problem of placing objects on a cluttered surface with a PR-2 mobile manipulator. The original push planning algorithm [1] ...