Cover Image

Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wetzlinger, Mark, Althoff, Matthias
Format:	Preprint
Published:	2023
Subjects:	Numerical Analysis Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Adaptive Parameter Tuning for Reachability Analysis of Linear Systems
by: Wetzlinger, Mark, et al.
Published: (2020)

Efficient Simulation of Singularly Perturbed Systems Using a Stabilized Multirate Explicit Scheme
by: Shi, Yibo, et al.
Published: (2025)

Interpolatory $\mathcal{H}_2$-optimality Conditions for Structured Linear Time-invariant Systems
by: Mlinarić, Petar, et al.
Published: (2023)

Interpolatory Necessary Optimality Conditions for Reduced-order Modeling of Parametric Linear Time-invariant Systems
by: Mlinarić, Petar, et al.
Published: (2024)

Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
by: Kochdumper, Niklas, et al.
Published: (2019)

Linear Algebra Problems Solved by Using Damped Dynamical Systems on the Stiefel Manifold
by: Gulliksson, M, et al.
Published: (2025)

PI-Controlled Variable Time-Step Power System Simulation Using an Adaptive Order Differential Transformation Method
by: Huang, Kaiyang, et al.
Published: (2025)

A Framework for Solving Continuous Energy and Power System Problems using Adiabatic Quantum Computing
by: Kaseb, Zeynab, et al.
Published: (2025)

Performance Analysis of UAV-Assisted RF-UOWC Systems
by: Devaja, Tijana, et al.
Published: (2024)

Quantum Hardware-in-the-Loop for Optimal Power Flow in Renewable-Integrated Power Systems
by: Kaseb, Zeynab, et al.
Published: (2025)

On the Late-Time Instability of MOT solution to the Time-Domain PMCHWT Equation
by: Le, Van Chien, et al.
Published: (2025)

Accuracy of the Ensemble Kalman Filter in the Near-Linear Setting
by: Calvello, Edoardo, et al.
Published: (2024)

A Unified Low-rank ADI Framework with Shared Linear Solves for Simultaneously Solving Multiple Lyapunov, Sylvester, and Riccati Equations
by: Zulfiqar, Umair, et al.
Published: (2025)

The Python LevelSet Toolbox (LevelSetPy)
by: Molu, Lekan
Published: (2024)

On the Computation of Backward Reachable Sets for Max-Plus Linear Systems with Disturbances
by: Li, Yuda, et al.
Published: (2026)

Sundial: Using Sunlight to Reconstruct Global Timestamps
by: Gupchup, Jayant, et al.
Published: (2019)

Symplectic H2 Model Reduction for High-Dimensional Linear Quantum Systems
by: Borzi, Alfo, et al.
Published: (2026)

A Stable, Accurate and Well-Conditioned Time-Domain PMCHWT Formulation
by: Le, Van Chien, et al.
Published: (2025)

Matrix Pencil-Based Analysis of Multirate Simulation Schemes
by: Huang, Liya, et al.
Published: (2025)

Coverage Explorer: Coverage-guided Test Generation for Cyber Physical Systems
by: Sheikhi, Sanaz, et al.
Published: (2023)

Finding Unknown Unknowns using Cyber-Physical System Simulators (Extended Report)
by: Wehbe, Semaan Douglas, et al.
Published: (2025)

Structure-Preserving Discretization and Model Order Reduction of Boundary-Controlled 1D Port-Hamiltonian Systems
by: Toledo-Zucco, Jesus-Pablo, et al.
Published: (2024)

Numerical and Lyapunov-Based Investigation of the Effect of Stenosis on Blood Transport Stability Using a Control-Theoretic PDE Model of Cardiovascular Flow
by: Singh, Shantanu, et al.
Published: (2024)

Error Analysis of Sampling Algorithms for Approximating Stochastic Optimal Control
by: Joshi, Anant A., et al.
Published: (2025)

AW-EL-PINNs: A Multi-Task Learning Physics-Informed Neural Network for Euler-Lagrange Systems in Optimal Control Problems
by: Li, Chuandong, et al.
Published: (2025)

A Heterogeneous Multiscale Method for Efficient Simulation of Power Systems with Inverter-Based Resources
by: Huang, Kaiyang, et al.
Published: (2025)

On the Computation and Approximation of Backward Reachable Sets for Max-Plus Linear Systems using Polyhedras
by: Li, Yuda, et al.
Published: (2026)

Underapproximating Safe Domains of Attraction for Discrete-Time Systems Using Implicit Representations of Backward Reachable Sets
by: Serry, Mohamed, et al.
Published: (2024)

Continuity and approximability of competitive spectral radii
by: Akian, Marianne, et al.
Published: (2025)

Early-Terminable Energy-Safe Iterative Coupling for Parallel Simulation of Port-Hamiltonian Systems
by: Wei, Qi, et al.
Published: (2026)

Towards Universal Convergence of Backward Error in Linear System Solvers
by: Dereziński, Michał, et al.
Published: (2026)

On the Existence of Steady-State Solutions to the Equations Governing Fluid Flow in Networks
by: Srinivasan, Shriram, et al.
Published: (2023)

Finite element hybridization of port-Hamiltonian systems
by: Brugnoli, Andrea, et al.
Published: (2023)

The Traffic Reaction Model: A kinetic compartmental approach to road traffic modeling
by: Pereira, M., et al.
Published: (2021)

Performance Evaluation of Single-step Explicit Exponential Integration Methods on Stiff Ordinary Differential Equations
by: Fronk, Colby, et al.
Published: (2024)

Multi-Period Sparse Optimization for Proactive Grid Blackout Diagnosis
by: Ma, Qinghua, et al.
Published: (2025)

Implementing PID Controller on a hand follower robot using Numerical Methods
by: Mostafa, Mostafa A., et al.
Published: (2025)

Application of Kalman Filter in Stochastic Differential Equations
by: Bao, Wencheng, et al.
Published: (2024)

Improving Numerical Stability and Accuracy in Partitioned Methods with Algebraic Prediction
by: Ali, Ahmad, et al.
Published: (2024)