Synonyme wurden verwendet für: TEMPORALE LOGIK
Suche ohne Synonyme: keywords:("TEMPORALE LOGIK")

1–6 von 6 Ergebnissen
|

    Splitting and Merging Control of Multiple Platoons with Signal Temporal Logic

    Freier Zugriff
    Charitidou, Maria / Dimarogonas, Dimos V. | BASE | 2022
    Schlagwörter: Signal Temporal Logic

    Receding Horizon Control with Online Barrier Function Design under Signal Temporal Logic Specifications

    Freier Zugriff
    Charitidou, Maria / Dimarogonas, Dimos V. | BASE | 2023
    Schlagwörter: signal temporal logic

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

    Freier Zugriff
    Lindemann, Lars / Nowak, Jakub / Schonbachler, Lukas et al. | BASE | 2021
    Schlagwörter: linear temporal logic (LTL) , signal temporal logic (STL) , Linear temporal logic , Temporal logic

    Human-in-the-loop control synthesis for multi-agent systems under hard and soft metric interval temporal logic specifications∗

    Freier Zugriff
    Ahlberg, Sofie / Dimarogonas, Dimos V. | BASE | 2019
    Schlagwörter: Temporal logic , Interval temporal logic

    Hybrid control of multi-robot systems using embedded graph grammars

    Freier Zugriff
    Guo, Meng / Egerstedt, Magnus / Dimarogonas, Dimos V. | BASE | 2016
    Schlagwörter: Temporal logic , Linear temporal logic

    Control Barrier Functions for Signal Temporal Logic Tasks

    Freier Zugriff
    Lindemann, Lars / Dimarogonas, Dimos V. | BASE | 2019
    Schlagwörter: Temporal logic