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

1–20 von 39 Ergebnissen
|

    An automated approach to designing real time systems

    Moore, M. / Tompkins, L.D. / Hendrickson, T. | Tema Archiv | 1988
    Schlagwörter: TEMPORALE LOGIK

    Plan Recognition for a Fighter Aircraft (Planigenkaenning foer Jaktfoeretag)

    D. Stroemberg / D. Driankov / N. Olander et al. | NTIS | 1989
    Schlagwörter: Temporal logic

    Temporal reasoning for airlift scheduling analysis

    Clay, J.D. / Wellman, M.P. / Bisbee, C.R. | Tema Archiv | 1990
    Schlagwörter: TEMPORALE LOGIK

    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)

    Generating MC/DC adequate test sequences through model checking

    Rayadurgam, S. / Heimdahl, M.P.E. | Tema Archiv | 2004
    Schlagwörter: temporale Logik

    Modeling and verification of train safety comprehensive monitoring system using temporal Petri nets

    Du, Yanhua / Ai, Lifeng / Liu, Chunhuang | Tema Archiv | 2005
    Schlagwörter: temporale Logik

    A coloured Petri net based solution for the generalized railway crossing problem

    Piotrowicz, M. / Slusarczyk, K. / Napieralski, A. | Tema Archiv | 2007
    Schlagwörter: temporale Logik

    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

    Semiformale Methoden für den automatisierten Test eingebetteter Systeme

    Deutschmann, Rocco | Tema Archiv | 2007
    Schlagwörter: temporale Logik

    Symbolic Abstraction of System Requirements

    Freier Zugriff
    Steinmetz, Joachim / Maibaum, Olaf / Gerndt, Andreas et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2010
    Schlagwörter: Temporal Logic

    Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme

    Trachtenherz, David | Tema Archiv | 2010
    Schlagwörter: temporale Logik

    Model Checking for Verification in UAV Cooperative Control Applications

    Humphrey, Laura R. | Springer Verlag | 2013
    Schlagwörter: Linear Temporal Logic , Linear Temporal Logic Formula

      Model Checking for Verification in UAV Cooperative Control Applications

      Humphrey, Laura R. | Tema Archiv | 2013
      Schlagwörter: temporale Logik , linear temporal logic

    Fuzzy Temporal Logic Based Railway Passenger Flow Forecast Model

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

    Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre

    Berthomieu, Bernard / Dal Zilio, Silvano / Fronc, Łukasz | Springer Verlag | 2014
    Schlagwörter: Linear Time Temporal Logic

    Hybrid Control of Multi-robot Systems under Complex Temporal Tasks

    Freier Zugriff
    Guo, Meng | BASE | 2015
    Schlagwörter: Linear 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

    LTL Motion Planning with Collision Avoidance for A Team of Quadrotors

    Freier Zugriff
    Xu, Ziwei | BASE | 2016
    Schlagwörter: Linear Temporal Logic(LTL) formula

    Temporal and Probabilistic Relationship between Lightning Jump Occurrence and Radar-Derived Thunderstorm Intensification

    C. J. Schultz / L. D. Carey / T. Chronis et al. | NTIS | 2016
    Schlagwörter: Temporal logic

    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

    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