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

1–9 von 9 Ergebnissen
|

    Fuzzy Temporal Logic Based Railway Passenger Flow Forecast Model

    Dou, Fei / Jia, Limin / Wang, Li et al. | Tema Archiv | 2014
    Schlagwörter: temporale Logik

    An extended system-theoretic hazard analysis method for the safety of high-speed railway train control systems

    Liu, Jin Tao / Tang, Tao / Zhu, Jie Bei et al. | SAGE Publications | 2017
    Schlagwörter: 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

    FADS: A framework for autonomous drone safety using temporal logic-based trajectory planning

    Pant, Yash Vardhan / Li, Max Z. / Rodionova, Alena et al. | Elsevier | 2021
    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

    Experimentation de contextes de preuve et d'observateurs temporises pour la validation d'un protocole avionique

    Dhaussy, Philippe / Roger, Jean-Charles / Bonnin, Hugues et al. | Tema Archiv | 2007
    Schlagwörter: temporale Logik

    Formal controller synthesis for wastewater systems with signal temporal logic constraints: the Barcelona case study

    Freier Zugriff
    Farahani, Samira S. / Zadeh Soudjani, Sadegh / Majumdar, Rupak et al. | BASE | 2018
    Schlagwörter: Signal Temporal Logic

    Control Barrier Functions for Signal Temporal Logic Tasks

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

    The building blocks for specifying communication behavior of complex objects: An activity-driven approach

    Ling Liu / Meersman, R. | Tema Archiv | 1996
    Schlagwörter: FOTL (first-order temporal logic)