Technical Reports (CIS)
Document Type
Technical Report
Subject Area
GRASP
Date of this Version
January 2004
Abstract
In this paper, we present a computational framework for automatic generation of provably correct control laws for planar robots in polygonal environments. Using polygon triangulation and discrete abstractions, we map continuous motion planning and control problems specified in terms of triangles to computationally inexpensive finite state transition systems. In this framework, powerful discrete planning algorithms in complex environments can be seamlessly linked to automatic generation of feedback control laws for robots with under-actuation constraints and control bounds. We focus on fully-actuated kinematic robots with velocity bounds and (under-actuated) unicycles with forward and turning speed bounds.
Keywords
Motion planning, control, triangulation, discrete abstraction, hybrid system, bisimulation
Recommended Citation
Calin Belta, Volkan Isler, and George J. Pappas, "Discrete Abstractions for Robot Motion Planning and Control in Polygonal Environments", . January 2004.
Date Posted: 22 June 2005
Comments
University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-04-13.