Synthesis of provably correct controllers for autonomous vehicles in urban environments

Synthesis of provably correct controllers for autonomous vehicles in urban environments

This paper considers automatic synthesis of provably correct controllers for autonomous vehicles operating in an urban environment populated with static obstacles and live traffic. We express traffic rules such as collision avoidance, vehicle separation, speed limit, lane following, passing, merging...

Full description

Bibliographic Details
Main Authors: Wongpiromsarn, Tichakorn (Author), Karaman, Sertac (Contributor), Frazzoli, Emilio (Contributor)
Other Authors: Massachusetts Institute of Technology. Department of Aeronautics and Astronautics (Contributor), Massachusetts Institute of Technology. Laboratory for Information and Decision Systems (Contributor)
Format: Article
Language:English
Published: Institute of Electrical and Electronics Engineers (IEEE), 2013-10-21T17:33:25Z.
Subjects:
Article
Online Access:Get fulltext

Internet

Get fulltext

Similar Items