We are currently experiencing intermittent issues impacting performance. We apologize for the inconvenience.
By Topic

Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE)

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

5 Author(s)
Lahijanian, M. ; Coll. of Eng., Boston Univ., Boston, MA, USA ; Kloetzer, M. ; Itani, S. ; Belta, C.
more authors

We present a computational framework and experimental setup for deployment of autonomous cars in a miniature Robotic Urban-Like Environment (RULE). The specifications are given in rich, human-like language as temporal logic statements about roads, intersections, and parking spaces. We use transition systems to model the motion and sensing capabilities of the robots and the topology of the environment and use tools resembling model checking to generate robot control strategies and to verify the correctness of the solution. The experimental setup is based on Khepera III robots, which move autonomously on streets while observing traffic rules.

Published in:

Robotics and Automation, 2009. ICRA '09. IEEE International Conference on

Date of Conference:

12-17 May 2009