Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets

Documenti analoghi

• Adaptive Parameter Tuning for Reachability Analysis of Linear Systems
  di: Wetzlinger, Mark, et al.
  Pubblicazione: (2020)
• Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation
  di: Wetzlinger, Mark, et al.
  Pubblicazione: (2023)
• On Runge-Kutta methods of order 10
  di: Stepanov, Misha
  Pubblicazione: (2025)
• A New Class of General Linear Method with Inherent Quadratic Stability for Solving Stiff Differential Systems
  di: Gautam, Sakshi, et al.
  Pubblicazione: (2025)
• Numerical methods for Chaotic ODE
  di: Corless, Robert M.
  Pubblicazione: (2025)