We present a hybrid agent framework to produce high-level autonomous behavior for unmanned vehicles based on formal specification. High level autonomous behavior is attractive due to minimum level of central control and support for verifiable behavior results such as safety assurance. The proposed framework use linear temporal logic (LTL) to express high level agent behavior to control search, tracking, and survival activities, which are executed at a rule-based reasoning engine. The low level search and team tracking behaviors are implemented by a policy network trained with Reinforcement Learning (RL). The behavior controller is evaluated in a simulated envrionment with single-agent and multi-agent search and tracking scenarios.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Towards high-level, verifiable autonomous behaviors with temporal specifications


    Beteiligte:
    Wang, Ju (Autor:in) / Pandit, Sagar (Autor:in)


    Erscheinungsdatum :

    01.07.2019


    Format / Umfang :

    1186159 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    A verifiable, autonomous satellite control system

    Andert, E.P. / Frasher, C. | Tema Archiv | 1989


    State-Estimation-Aware Planning for Autonomous Systems with Temporal Logic Specifications

    Büyükkoçak, Ali Tevfik / Hu, Yingjie / Taheri, Azizollah et al. | TIBKAT | 2023


    State-Estimation-Aware Planning for Autonomous Systems with Temporal Logic Specifications

    Büyükkoçak, Ali Tevfik / Hu, Yingjie / Taheri, Azizollah et al. | AIAA | 2023


    Towards an effective and adequately verifiable PPWT

    Su, Jinyuan | Online Contents | 2010


    Satisfiability Checking of LTL Specifications for Verifiable UAV Mission Planning (AIAA 2014-0793)

    Kim, B.U. / Humphrey, L.R. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2014