Valet Parking Without a Valet

David C. Conner, Hadas Kress-Gazit, Howie Choset, Alfred Rizzi and George J. Pappas
Conference Paper, Proceedings of 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2007), pp. 572-577, October, 2007

View Publication

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.


What would it be like if we could give our robot high level commands and it would automatically execute them in a verifiably correct fashion in dynamically changing environments? This work demonstrates a method for generating continuous feedback control inputs that satisfy high-level specifications. Using a collection of continuous local feedback control policies in concert with a synthesized discrete automaton, this paper demonstrates the approach on an Ackermann-steered vehicle that satisfies the command ?rive around until you find an empty parking space, then park.?The system reacts to changing environmental conditions using only local information, while guaranteeing the correct high level behavior. The local policies consider the vehicle body shape as well as bounds on drive and steering velocities. The discrete automaton that invokes the local policies guarantees executions that satisfy the high-level specification based only on information about the current availability of the nearest parking space. This paper also demonstrates coordination of two vehicles using the approach.

author = {David C. Conner and Hadas Kress-Gazit and Howie Choset and Alfred Rizzi and George J. Pappas},
title = {Valet Parking Without a Valet},
booktitle = {Proceedings of 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2007)},
year = {2007},
month = {October},
pages = {572-577},
publisher = {IEEE},
address = {San Diego, CA},
keywords = {Hybrid controls, mobile robots, symbolic planning},
} 2017-09-13T10:41:58-04:00