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 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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Synthesis of provably correct controllers for autonomous vehicles in urban environments


    Beteiligte:
    Wongpiromsarn, T. (Autor:in) / Karaman, S. (Autor:in) / Frazzoli, E. (Autor:in)


    Erscheinungsdatum :

    01.10.2011


    Format / Umfang :

    498562 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Synthesis of provably correct controllers for autonomous vehicles in urban environments

    Wongpiromsarn, Tichakorn / Karaman, Sertac / Frazzoli, Emilio | DSpace@MIT | 2011

    Freier Zugriff

    Provably-Correct Compositional Synthesis of Vehicle Safety Systems

    Nilsson, Petter / Ozay, Necmiye | Springer Verlag | 2018


    Provably Correct Safety Protocol for Cooperative Platooning

    Mair, Sebastian / Althoff, Matthias | IEEE | 2024


    Provably-Correct and Comfortable Adaptive Cruise Control

    Althoff, Matthias / Maierhofer, Sebastian / Pek, Christian | IEEE | 2021


    Provably correct reactive control from natural language

    Lignos, C. | British Library Online Contents | 2015