Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wetzlinger, Mark, Kochdumper, Niklas, Bak, Stanley, Althoff, Matthias
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Numerical Analysis Systems and Control 65L70 G.1.7
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

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)

An accelerated frequency-independent solver for oscillatory differential equations
di: Stojimirovic, Tara, et al.
Pubblicazione: (2024)

Structural schemes for hamiltonian systems
di: Clain, Stéphane, et al.
Pubblicazione: (2025)

High-order Gauss-Legendre methods admit a composition representation and a conjugate-symplectic counterpart
di: Iavernaro, Felice, et al.
Pubblicazione: (2025)

The structural method for Ordinary Differential Equations
di: Clain, S., et al.
Pubblicazione: (2025)

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

A Biologically Motivated Finite Difference Approach for Simulating Singularly Perturbed Vertical Motion in Human Gait
di: Gupta, Shubhangini, et al.
Pubblicazione: (2025)

Minimizing Residuals in ODE Integration Using Optimal Control
di: Corless, Robert M., et al.
Pubblicazione: (2025)

$hp$-version $C^1$-continuous Petrov-Galerkin method for nonlinear second-order initial value problems with application to wave equations
di: Wang, Lina, et al.
Pubblicazione: (2023)

Second-order robust parallel integrators for dynamical low-rank approximation
di: Kusch, Jonas
Pubblicazione: (2024)

A robust second-order low-rank BUG integrator based on the midpoint rule
di: Ceruti, Gianluca, et al.
Pubblicazione: (2024)

Data-Driven Reduced-Order Models for Port-Hamiltonian Systems with Operator Inference
di: Geng, Yuwei, et al.
Pubblicazione: (2025)

Improving the Accuracy of the Exponentially Fitted Scheme on Piecewise Uniform Meshes
di: Vulanović, Relja
Pubblicazione: (2026)

Splitting Schemes for ODEs with Goal-Oriented Error Estimation
di: Weyl, Erik, et al.
Pubblicazione: (2026)

Learn and Verify: A Framework for Rigorous Verification of Physics-Informed Neural Networks
di: Tanaka, Kazuaki, et al.
Pubblicazione: (2026)

The need for accuracy and smoothness in numerical simulations
di: Mikkelsen, Carl Christian Kjelgaard, et al.
Pubblicazione: (2024)

Multistep Methods for Floquet Multipliers and Subspaces
di: Zhang, Yehao, et al.
Pubblicazione: (2025)

Temporal-Stability-Enhanced and Energy-Stable Dynamical Low-Rank Approximation for Multiscale Linear Kinetic Transport Equations
di: Li, Shun, et al.
Pubblicazione: (2026)

A Priori Estimates for the Global Error Committed by Runge-Kutta Methods for a Nonlinear Oscillator
di: Niesen, Jitse
Pubblicazione: (2001)

Systematic construction of continuous-time neural networks for linear dynamical systems
di: Datar, Chinmay, et al.
Pubblicazione: (2024)

Multi-Order Runge-Kutta Methods or how to numerically solve initial value problems of any order
di: Petronijevic, Loris
Pubblicazione: (2025)

A Multi-Invariant Preserving Discrete Gradient Methods
di: Pu, Haodong, et al.
Pubblicazione: (2026)

A parallel Basis Update and Galerkin Integrator for Tree Tensor Networks
di: Ceruti, Gianluca, et al.
Pubblicazione: (2024)

Solving nonlinear Klein-Gordon equation with non-smooth solution by a geometric low-regularity integrator
di: Wang, Bin, et al.
Pubblicazione: (2023)

A third-order trigonometric integrator with low regularity for the semilinear Klein-Gordon equation
di: Wang, Bin, et al.
Pubblicazione: (2024)

Explicit symmetric low-regularity integrators for the semilinear Klein-Gordon equation
di: Shen, Zhirui, et al.
Pubblicazione: (2026)

Understanding the ultraspherical spectral method
di: Cheng, Lu, et al.
Pubblicazione: (2024)

Determining superconvergence points for $L2-1_σ$ scheme of variable-exponent subdiffusion and error estimate
di: Huang, Hongying, et al.
Pubblicazione: (2024)

Error estimation for numerical approximations of ODEs via composition techniques. Part II: BDF methods
di: Deeb, Ahmad, et al.
Pubblicazione: (2026)

Development and Analysis of Chien-Physics-Informed Neural Networks for Singular Perturbation Problems
di: Singh, Gautam, et al.
Pubblicazione: (2025)

Projected exponential methods for stiff dynamical low-rank approximation problems
di: Carrel, Benjamin, et al.
Pubblicazione: (2023)

Convergence and stability of randomized implicit two-stage Runge-Kutta schemes
di: Bochacik, Tomasz, et al.
Pubblicazione: (2024)

Discovery of interaction and diffusion kernels in particle-to-mean-field multi-agent systems
di: Albi, Giacomo, et al.
Pubblicazione: (2026)

Application of the Adams-Bashfort-Mowlton Method to the Numerical Study of Linear Fractional Oscillators Models
di: Parovik, Roman
Pubblicazione: (2021)

Maximum principle preserving time implicit DGSEM for nonlinear scalar conservation laws
di: Renac, Florent
Pubblicazione: (2024)

Invariant domain preserving limiting of time explicit and time implicit discretizations for systems of conservation laws
di: Fanizza, Bartolomeo, et al.
Pubblicazione: (2026)