Saved in:
| Main Authors: | Holzinger, Nico, Althoff, Matthias |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2602.03646 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Divide and Discard: Fast Tightening of Guaranteed State Bounds for Nonlinear Systems
by: Holzinger, Nico, et al.
Published: (2026)
by: Holzinger, Nico, et al.
Published: (2026)
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
by: Kochdumper, Niklas, et al.
Published: (2019)
by: Kochdumper, Niklas, et al.
Published: (2019)
Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation
by: Wetzlinger, Mark, et al.
Published: (2023)
by: Wetzlinger, Mark, et al.
Published: (2023)
Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
by: Kranzlmüller, Miriam, et al.
Published: (2026)
by: Kranzlmüller, Miriam, et al.
Published: (2026)
Reachset-Conformant System Identification
by: Lützow, Laura, et al.
Published: (2024)
by: Lützow, Laura, et al.
Published: (2024)
Training Verifiably Robust Agents Using Set-Based Reinforcement Learning
by: Wendl, Manuel, et al.
Published: (2024)
by: Wendl, Manuel, et al.
Published: (2024)
EDMD-Based Robust Observer Synthesis for Nonlinear Systems
by: Ye, Xiuzhen, et al.
Published: (2025)
by: Ye, Xiuzhen, et al.
Published: (2025)
Provably-Correct Safety Protocol for Cooperative Platooning
by: Mair, Sebastian, et al.
Published: (2023)
by: Mair, Sebastian, et al.
Published: (2023)
Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks
by: Tang, Chencheng, et al.
Published: (2024)
by: Tang, Chencheng, et al.
Published: (2024)
To Learn or Not to Learn: A Litmus Test for Using Reinforcement Learning in Control
by: Schulte, Victor, et al.
Published: (2026)
by: Schulte, Victor, et al.
Published: (2026)
Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea
by: Krasowski, Hanna, et al.
Published: (2024)
by: Krasowski, Hanna, et al.
Published: (2024)
Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets
by: Wetzlinger, Mark, et al.
Published: (2022)
by: Wetzlinger, Mark, et al.
Published: (2022)
Optimal Interval Observers for Bounded Jacobian Nonlinear Dynamical Systems
by: Khajenejad, Mohammad, et al.
Published: (2024)
by: Khajenejad, Mohammad, et al.
Published: (2024)
A Unified KKL-based Interval Observer for Nonlinear Discrete-time Systems
by: Dinh, Thach Ngoc, et al.
Published: (2024)
by: Dinh, Thach Ngoc, et al.
Published: (2024)
Distributed Prescribed-Time Observer for Nonlinear Systems in Block-Triangular Form
by: de Heij, Vincent, et al.
Published: (2025)
by: de Heij, Vincent, et al.
Published: (2025)
Distributed Resilient Interval Observer Synthesis for Nonlinear Discrete-Time Systems
by: Khajenejad, Mohammad, et al.
Published: (2024)
by: Khajenejad, Mohammad, et al.
Published: (2024)
CommonPower: A Framework for Safe Data-Driven Smart Grid Control
by: Eichelbeck, Michael, et al.
Published: (2024)
by: Eichelbeck, Michael, et al.
Published: (2024)
Observer-Based Safety Monitoring of Nonlinear Dynamical Systems with Neural Networks via Quadratic Constraint Approach
by: Wang, Tao, et al.
Published: (2024)
by: Wang, Tao, et al.
Published: (2024)
Nonlinear Observer Design for Visual-Inertial Odometry
by: Boughellaba, Mouaad, et al.
Published: (2026)
by: Boughellaba, Mouaad, et al.
Published: (2026)
On Functional Observability of Nonlinear Systems and the Design of Functional Observers with Assignable Error Dynamics
by: Kravaris, Costas
Published: (2024)
by: Kravaris, Costas
Published: (2024)
Nonlinear Observer Design in Discrete-time Systems: Incorporating LMI Relaxation Strategies
by: Mohite, Shivaraj
Published: (2024)
by: Mohite, Shivaraj
Published: (2024)
Homogeneous Distributed Observers for Quasilinear Systems
by: Li, Min, et al.
Published: (2024)
by: Li, Min, et al.
Published: (2024)
Observer-Based Data-Driven Consensus Control for Nonlinear Multi-Agent Systems against DoS and FDI attacks
by: Zhang, Yi, et al.
Published: (2025)
by: Zhang, Yi, et al.
Published: (2025)
Event-Triggered Observer-Based Fixed-Time Consensus Control for Uncertain Nonlinear Multiagent Systems with Unknown States
by: Zhou, Kewei, et al.
Published: (2024)
by: Zhou, Kewei, et al.
Published: (2024)
Improving Stochastic Action-Constrained Reinforcement Learning via Truncated Distributions
by: Stolz, Roland, et al.
Published: (2025)
by: Stolz, Roland, et al.
Published: (2025)
A General Nonlinear Observer Design for Inertial Navigation Systems with Almost Global Stability Guarantees
by: Benahmed, Sifeddine, et al.
Published: (2024)
by: Benahmed, Sifeddine, et al.
Published: (2024)
Stability-Certified Koopman Observer Design for Nonlinear Systems via Generalized Persidskii Dynamics
by: Pouladi, Syed
Published: (2026)
by: Pouladi, Syed
Published: (2026)
KKL Observer Synthesis for Nonlinear Systems via Physics-Informed Learning
by: Niazi, M. Umar B., et al.
Published: (2025)
by: Niazi, M. Umar B., et al.
Published: (2025)
Immersion of General Nonlinear Systems Into State-Affine Ones for the Design of Generalized Parameter Estimation-Based Observers: A Simple Algebraic Procedure
by: Ortega, Romeo, et al.
Published: (2024)
by: Ortega, Romeo, et al.
Published: (2024)
Intelligent Sailing Model for Open Sea Navigation
by: Krasowski, Hanna, et al.
Published: (2025)
by: Krasowski, Hanna, et al.
Published: (2025)
Contingency-constrained economic dispatch with safe reinforcement learning
by: Eichelbeck, Michael, et al.
Published: (2022)
by: Eichelbeck, Michael, et al.
Published: (2022)
HyperKKL: Learning KKL Observers for Non-Autonomous Nonlinear Systems via Hypernetwork-Based Input Conditioning
by: Shaaban, Yahia Salaheldin, et al.
Published: (2026)
by: Shaaban, Yahia Salaheldin, et al.
Published: (2026)
A General Safety Framework for Autonomous Manipulation in Human Environments
by: Thumm, Jakob, et al.
Published: (2024)
by: Thumm, Jakob, et al.
Published: (2024)
Zono-Conformal Prediction: Zonotope-Based Uncertainty Quantification for Regression and Classification Tasks
by: Lützow, Laura, et al.
Published: (2025)
by: Lützow, Laura, et al.
Published: (2025)
Adaptive Semiglobal Nonlinear Output Regulation:An Extended-State Observer Approach
by: Wang, Lei, et al.
Published: (2019)
by: Wang, Lei, et al.
Published: (2019)
Distributed Observer and Controller Design for Linear Systems: A Separation-Based Approach
by: Cao, Ganghui, et al.
Published: (2025)
by: Cao, Ganghui, et al.
Published: (2025)
Robust Data-Driven Invariant Sets for Nonlinear Systems
by: Kiani, Sahand, et al.
Published: (2025)
by: Kiani, Sahand, et al.
Published: (2025)
Boundary Feedback and Observer Synthesis for a Class of Nonlinear Parabolic--Elliptic PDE Systems
by: Fenza, Kamal, et al.
Published: (2025)
by: Fenza, Kamal, et al.
Published: (2025)
Nonlinear Observer Design for Landmark-Inertial Simultaneous Localization and Mapping
by: Boughellaba, Mouaad, et al.
Published: (2025)
by: Boughellaba, Mouaad, et al.
Published: (2025)
On the Boundary of the Robust Admissible Set in State and Input Constrained Nonlinear Systems
by: Rußwurm, Franz, et al.
Published: (2025)
by: Rußwurm, Franz, et al.
Published: (2025)
Similar Items
-
Divide and Discard: Fast Tightening of Guaranteed State Bounds for Nonlinear Systems
by: Holzinger, Nico, et al.
Published: (2026) -
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
by: Kochdumper, Niklas, et al.
Published: (2019) -
Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation
by: Wetzlinger, Mark, et al.
Published: (2023) -
Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
by: Kranzlmüller, Miriam, et al.
Published: (2026) -
Reachset-Conformant System Identification
by: Lützow, Laura, et al.
Published: (2024)