Buchumschlag

Adaptive Parameter Tuning for Reachability Analysis of Linear Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wetzlinger, Mark, Kochdumper, Niklas, Althoff, Matthias
Format:	Preprint
Veröffentlicht:	2020
Schlagworte:	Numerical Analysis
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets
von: Wetzlinger, Mark, et al.
Veröffentlicht: (2022)

Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation
von: Wetzlinger, Mark, et al.
Veröffentlicht: (2023)

Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
von: Kochdumper, Niklas, et al.
Veröffentlicht: (2019)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
von: Kochdumper, Niklas, et al.
Veröffentlicht: (2023)

Revisiting the Slip Boundary Condition: Surface Roughness as a Hidden Tuning Parameter
von: Maier, Matthias, et al.
Veröffentlicht: (2025)

Convergence Analysis of An Alternating Nonlinear GMRES on Linear Systems
von: He, Yunhui
Veröffentlicht: (2025)

Semi-Lagrangian Discontinuous Galerkin Method with Adaptive Mesh Refinement for the Vlasov--Poisson System in 1X+3V
von: Adams, Mark F.
Veröffentlicht: (2026)

An Efficient Approach to Fractional Analysis for Non-Linear Coupled Thermo-Elastic Systems
von: Khan, Qasim
Veröffentlicht: (2025)

The Linearized Vlasov-Maxwell System as a Hamiltonian System
von: Bell, Dominik, et al.
Veröffentlicht: (2025)

Completion of Linear Differential Systems to Involution
von: Gerdt, Vladimir P.
Veröffentlicht: (1999)

A Semi-Lagrangian Adaptive-Rank (SLAR) Method for Linear Advection and Nonlinear Vlasov-Poisson System
von: Zheng, Nanyi, et al.
Veröffentlicht: (2024)

Quantifying the Influence of Combined Lung and Kidney Support Using a Cardiovascular Model and Sensitivity Analysis-Informed Parameter Identification
von: Thiel, Jan-Niklas, et al.
Veröffentlicht: (2024)

Efficient Thermo-Viscoplastic Analysis Using a Multi-Level hp-Finite Cell Method with Non-Negative Moment Fitting
von: Schmäke, Jan Niklas, et al.
Veröffentlicht: (2026)

Numerical Analysis of Unsupervised Learning Approaches for Parameter Identification in PDEs
von: Cen, Siyu, et al.
Veröffentlicht: (2025)

Analytic Regularity for Linear Elliptic Systems in Polygons and Polyhedra
von: Costabel, Martin, et al.
Veröffentlicht: (2010)

Construction and Performance of Kinetic Schemes for Linear Systems of Conservation Laws
von: Audusse, Emmanuel, et al.
Veröffentlicht: (2025)

Adaptive Parameter Selection in Nudging Based Data Assimilation
von: Çıbık, Aytekin, et al.
Veröffentlicht: (2024)

Hybrid Adaptive Dual Reciprocity Method for Efficient Solution of Large-Scale Non-Linear Boundary Conditions
von: Santos, Rômulo Damasclin Chaves dos, et al.
Veröffentlicht: (2024)

ABS Algorithms for Linear Systems and Optimization
von: Spedicato, Emilio, et al.
Veröffentlicht: (2001)

An Integral Equation Method for Linear Two-Point Boundary Value Systems
von: Zhang, Tianze, et al.
Veröffentlicht: (2025)

Relative Entropy for the Numerical Diffusive Limit of the Linear Jin-Xin System
von: Bessemoulin-Chatard, Marianne, et al.
Veröffentlicht: (2024)

An Optimal Least-Square Solver For Scaled Partial-Isometric Linear Systems
von: Kar, Suvendu, et al.
Veröffentlicht: (2025)

On Quantile Randomized Kaczmarz for Linear Systems with Time-Varying Noise and Corruption
von: Coria, Nestor, et al.
Veröffentlicht: (2024)

Systems of ODEs Parameters Estimation by Using Stochastic Newton-Raphson and Gradient Descent Methods
von: Syafiie, S., et al.
Veröffentlicht: (2025)

Learning to Relax: Setting Solver Parameters Across a Sequence of Linear System Instances
von: Khodak, Mikhail, et al.
Veröffentlicht: (2023)

Stochastic Convergence Analysis for Large-Scale Linear Discrete Ill-posed Problems
von: Ling, Duan-Peng, et al.
Veröffentlicht: (2026)

DeepOnet Based Preconditioning Strategies For Solving Parametric Linear Systems of Equations
von: Kopaničáková, Alena, et al.
Veröffentlicht: (2024)

Adaptive Residual-Driven Newton Solver for Nonlinear Systems of Equations
von: Ding, Renjie, et al.
Veröffentlicht: (2025)

Accurate Error Estimates and Optimal Parameter Selection in Ewald Summation for Dielectrically Confined Coulomb Systems
von: Gao, Xuanzhao, et al.
Veröffentlicht: (2025)

Linear Reduction and Homotopy Control for Steady Drift-Diffusion Systems in Narrow Convex Domains
von: Jerome, Joseph W.
Veröffentlicht: (2024)

Geometrically Explicit Cosserat-Rod Modeling with Piecewise Linear Strain for Complex Rod Systems
von: Xun, Lingxiao, et al.
Veröffentlicht: (2026)

Hybrid-Precision Block-Jacobi Preconditioned GMRES Solver for Linear System in Circuit Simulation
von: Zhang, Zijian, et al.
Veröffentlicht: (2025)

Global Bounds for the Error in Solutions of Linear Hyperbolic Systems due to Inaccurate Boundary Geometry
von: Kopriva, David A., et al.
Veröffentlicht: (2025)

Linear Numerical Schemes for a $\textbf{Q}$-Tensor System for Nematic Liquid Crystals
von: Swain, Justin, et al.
Veröffentlicht: (2024)

Analysis and systematic discretization of a Fokker-Planck equation with Lorentz force
von: Bosboom, Vincent, et al.
Veröffentlicht: (2023)

Error Analysis of Parameter Prediction via Gaussian Process Regression and Its Application to Weighted Jacobi Iteration
von: Sun, Tiantian, et al.
Veröffentlicht: (2026)

Computational Experiments with Abs Algorithms for KKT Linear Systems
von: Bodon, E., et al.
Veröffentlicht: (2001)

Computational Experiments with Abs Algorithms for Overdetermined Linear Systems
von: Bodon, E., et al.
Veröffentlicht: (2001)

On General Linearly Implicit Quantized State System Methods
von: Bergonzi, Mariana, et al.
Veröffentlicht: (2025)

Adaptive-Growth Randomized Neural Networks for PDEs: Algorithms and Numerical Analysis
von: Dang, Haoning, et al.
Veröffentlicht: (2024)