Automatic deployment of autonomous cars in a robotic urban-like environment (rule)

Authors:
M. Lahijanian;M. Kloetzer;S. Itani;C. Belta;S. B. Andersson
Affiliations:
College of Engineering at Boston University;College of Engineering at Boston University;School of Engineering at Massachusetts Institute of Technology;College of Engineering at Boston University;College of Engineering at Boston University
Venue:
ICRA'09 Proceedings of the 2009 IEEE international conference on Robotics and Automation
Year:
2009

Citing 5
Cited 1

Finite transition systems: semantics of communicating systems

Finite transition systems: semantics of communicating systems
Model checking

Model checking
NuSMV 2: An OpenSource Tool for Symbolic Model Checking

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Model checking LTL over controllable linear systems is decidable

HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Synthesis of reactive(1) designs

VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation

An aircraft electric power testbed for validating automatically synthesized reactive control protocols

Proceedings of the 16th international conference on Hybrid systems: computation and control

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.