„reachability analysis“

Suchergebnisse

1.000+ Treffer

• ZonoReach: A Reachability-Guided Controller Using Zonotopes and Local Hamilton–Jacobi Analysis
  El-Hajj, Isabelle ; van Beers, Jasper ; Solanki, Prashant
• 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
• Specification-Compliant Reachability Analysis for Motion Planning of Automated Vehicles
  Irani Liu, Edmond ; Althoff, Matthias ; Kowalewski, Stefan 2024 Universitätsbibliothek der TU München
• Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
  Mohr, Martin ; Snelting, Gregor ; Hammer, Christian 2023 KIT Scientific Publishing
• Safety Verification of Real-Time Control Systems with Flexible Timing
  Gaukler, Maximilian ; Roppenecker, Günter ; Ulbrich, Peter ; Konigorski, Ulrich 2023 FAU University Press
• Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
  Mohr, Martin ; Snelting, Gregor 2022 KIT-Bibliothek
• Using Reachability Analysis in Controller Synthesis for Safety-Critical Systems
  Schürmann, Bastian ; Althoff, Matthias ; Lohmann, Boris 2022 Universitätsbibliothek der TU München
• Using Reachability Analysis for Motion Planning of Autonomous Vehicles in Complex Traffic Situations
  Manzinger, Stefanie ; Althoff, Matthias ; Lienkamp, Markus 2021 Universitätsbibliothek der TU München
• State set representations and their usage in the reachability analysis of hybrid systems
  Schupp, Stefan ; Ábrahám, Erika ; Frehse, Goran 2019 Universitätsbibliothek der RWTH Aachen
• Reachability analysis of non-linear hybrid systems using Taylor Models
  Chen, Xin ; Ábrahám, Erika ; Sankaranarayanan, Sriram 2015 Universitätsbibliothek der RWTH Aachen
• Symbolic orthogonal projections – a new polyhedral representation for reachability analysis of hybrid systems
  Hagemann, Willem ; Weidenbach, Christoph 2015 Saarländische Universitäts- und Landesbibliothek
• Reachability analysis and its application to the safety assessment of autonomous cars
  Althoff, Matthias
• Reachability analysis of fault tolerant protocols
  Böhm, Sabine
• Formal Modeling and Analysis of Timed Systems – 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings
  Jurdziński, Marcin ; Nickovic, Dejan 2012 Springer Berlin Heidelberg
• Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis
  Schupp, Stefan ; Ábrahám, Erika 2018 Universitätsbibliothek der RWTH Aachen
• Multi-Cost-Bounded Reachability Analysis of POMDPs
  Bork, Alexander Nikolai ; Quatmann, Tim ; Katoen, Joost-Pieter ; Stein, Svenja Maria 2025 Universitätsbibliothek der RWTH Aachen
• Motion imitation and generation for mobile robotic systems
  Burget, Felix ; Burgard, Wolfram 2018 Universität
• Control and Stability of Power Systems using Reachability Analysis
  Elguindy, Ahmed ; Althoff, Matthias ; Zamani, Majid 2017 Universitätsbibliothek der TU München
• Development of a Reachability Analysis Algorithm for Space Applications
  Arslantas, Yunus Emre ; Braxmaier, Claus ; Büskens, Christof 2017 Staats- und Universitätsbibliothek Bremen
• Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems
  Ben Makhlouf, Ibtissem ; Kowalewski, Stefan ; Frehse, Goran 2016 Universitätsbibliothek der RWTH Aachen