Show simple item record

dc.contributor.authorWongpiromsarn, Tichakorn
dc.contributor.authorKaraman, Sertac
dc.contributor.authorFrazzoli, Emilio
dc.date.accessioned2013-10-21T17:33:25Z
dc.date.available2013-10-21T17:33:25Z
dc.date.issued2011-10
dc.identifier.isbn978-1-4577-2197-7
dc.identifier.isbn978-1-4577-2198-4
dc.identifier.isbn978-1-4577-2196-0
dc.identifier.urihttp://hdl.handle.net/1721.1/81461
dc.description.abstractThis 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 and intersection precedence requirements in a formal specification language. Embedded control software synthesis is then applied to generate a controller that ensures that the vehicle obeys this set of traffic rules in any road and traffic conditions that satisfy certain assumptions.en_US
dc.language.isoen_US
dc.publisherInstitute of Electrical and Electronics Engineers (IEEE)en_US
dc.relation.isversionofhttp://dx.doi.org/10.1109/ITSC.2011.6083056en_US
dc.rightsCreative Commons Attribution-Noncommercial-Share Alike 3.0en_US
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/3.0/en_US
dc.sourceMIT Web domainen_US
dc.titleSynthesis of provably correct controllers for autonomous vehicles in urban environmentsen_US
dc.typeArticleen_US
dc.identifier.citationWongpiromsarn, Tichakorn, Sertac Karaman, and Emilio Frazzoli. “Synthesis of provably correct controllers for autonomous vehicles in urban environments.” In 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC), 1168-1173. Institute of Electrical and Electronics Engineers, 2011.en_US
dc.contributor.departmentMassachusetts Institute of Technology. Department of Aeronautics and Astronauticsen_US
dc.contributor.departmentMassachusetts Institute of Technology. Laboratory for Information and Decision Systemsen_US
dc.contributor.mitauthorKaraman, Sertacen_US
dc.contributor.mitauthorFrazzoli, Emilioen_US
dc.relation.journalProceedings of the 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC)en_US
dc.eprint.versionAuthor's final manuscripten_US
dc.type.urihttp://purl.org/eprint/type/ConferencePaperen_US
eprint.statushttp://purl.org/eprint/status/NonPeerRevieweden_US
dspace.orderedauthorsWongpiromsarn, Tichakorn; Karaman, Sertac; Frazzoli, Emilioen_US
dc.identifier.orcidhttps://orcid.org/0000-0002-0505-1400
dc.identifier.orcidhttps://orcid.org/0000-0002-2225-7275
mit.licenseOPEN_ACCESS_POLICYen_US
mit.metadata.statusComplete


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record