The need for computationally-efficient control methods of dynamical systems under temporal logic tasks has recently become more apparent. Existing methods are computationally demanding and hence often not applicable in practice. Especially with respect to multi-robot systems, these methods do not scale computationally. In this letter, we propose a framework that is based on control barrier functions and signal temporal logic. In particular, time-varying control barrier functions are considered where the temporal properties are used to satisfy signal temporal logic tasks. The resulting controller is given by a switching strategy between a computationally-efficient convex quadratic program and a local feedback control law. ; QC 20201117


    Access

    Download


    Export, share and cite



    Title :

    Control Barrier Functions for Signal Temporal Logic Tasks


    Contributors:

    Publication date :

    2019-01-01


    Remarks:

    Scopus 2-s2.0-85057636597



    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English



    Classification :

    DDC:    629



    Multi-Robot Motion Planning With Control Barrier Functions for Signal Temporal Logic Tasks

    Brage, Cecilia / Johansson, Johanna | BASE | 2021

    Free access

    Controlling Autonomous Baker Robot Using Signal Temporal Logic and Control Barrier Functions

    Bernpaintner, Gustav / Allen, Marcus | BASE | 2022

    Free access

    Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks

    Lindemann, Lars / Nowak, Jakub / Schonbachler, Lukas et al. | BASE | 2021

    Free access

    Cooperative Object Manipulation under Signal Temporal Logic Tasks and Uncertain Dynamics

    Swelia, Mayank / Verginis, Christos / Dimarogonas, Dimos | BASE | 2022

    Free access