„Dynamic Verification“

Suchergebnisse

397 Treffer

• Theoretical analysis and verification of particles moving along the arc-shaped surface in vibration machinery
  Li, Lingxuan ; Zhang, Haonan ; Xing, Zhuang ; Ma, Zhenwei
• Experimental verification of dynamic behavior for multi-link press mechanism with 2D revolute joint considering dry friction clearances and lubricated clearances
  Chen, Xiulong ; Gao, Shun ; Wang, Tao
• Scour depth estimation in a balanced cantilever bridge with deteriorated central hinges based on natural frequencies: field measurements, methodology for estimation and verification
  Choudhury, M. S. I. ; Matsumoto, Y. ; Amin, A. F. M. S.
• Verification of the applicability of the Gaussian mixture modelling for damage identification in reinforced concrete structures using acoustic emission testing
  Vidya Sagar, R.
• Toward Automated Verification of Dynamical Systems Using Forward and Backward Reachability Analysis
  Wetzlinger, Mark Peter Christoph ; Althoff, Matthias ; Putot, Sylvie ; Frehse, Goran 2024 Universitätsbibliothek der TU München
• Computational efficiency in symbolic optimal control
  Macoveiciuc, Elisei ; Reißig, Gunther ; Moor, Thomas 2024 Universitätsbibliothek der Universität der Bundeswehr München
• Algorithmic verification of linear dynamical systems
  Karimov, Toghrul ; Ouaknine, Joël 2023 Saarländische Universitäts- und Landesbibliothek
• Safety Verification of Real-Time Control Systems with Flexible Timing
  Gaukler, Maximilian ; Roppenecker, Günter ; Ulbrich, Peter ; Konigorski, Ulrich 2023 FAU University Press
• Modelling and verification of helicopter multibody dynamics for different rotor configurations
  Leitner, Roland Martin ; Alles, Wolfgang ; Moormann, Dieter 2022 Universitätsbibliothek der RWTH Aachen
• Guaranteed Verification of Dynamic Systems
  Schwab, Stefan 2022 KIT Scientific Publishing
• Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
  Huster, Stefan 2020 Universitätsbibliothek Tübingen
• Fundamental algorithmic techniques for distributed computations in networks – : information dissemination and maximum matching
  Ahmadi, Mohamad ; Kuhn, Fabian 2021 Universität
• Combining Static and Dynamic Program Analysis Techniques for Checking Relational Properties
  Herda, Mihai ; Beckert, B. 2020 KIT-Bibliothek
• Guaranteed Verification of Dynamic Systems
  Schwab, Stefan ; Hohmann, S. 2019 KIT-Bibliothek
• Deductive verification of object-oriented software – dynamic frames, dynamic logic and predicate abstraction
  Weiß, Benjamin ; Schmitt, P. H. 2011 KIT Scientific Publishing
• Verification-based software-fault detection
  Gladisch, Christoph ; Beckert, B. 2011 KIT Scientific Publishing
• Pattern recognition with phase oscillator networks: Analysis and experimental verification of a novel architecture
  Heger, Daniel ; Krischer, Katharina ; Gerland, Ulrich 2018 Universitätsbibliothek der TU München
• Dynamic Logic for an Intermediate Language – Verification, Interaction and Refinement
  Ulbrich, Mattias 2014 epubli GmbH
• Recommendations for the Development of CFD Model to Assess the Thrombogenic Potential of Stents
  Stiehm, Michael ; Borowski, Finja ; Oldenburg, Jan ; Öner, Alper ; Schmitz, Klaus-Peter
• Graph Automata and Their Application to the Verification of Dynamic Systems
  Blume, Christoph 2014 Verlag Dr. Hut