Cover Image

Divide and Discard: Fast Tightening of Guaranteed State Bounds for Nonlinear Systems

Fuente: arXiv

Saved in:

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

Similar Items

A Comparison of Set-Based Observers for Nonlinear Systems
by: Holzinger, Nico, et al.
Published: (2026)

Reachset-Conformant System Identification
by: Lützow, Laura, et al.
Published: (2024)

Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation
by: Wetzlinger, Mark, et al.
Published: (2023)

Provably-Correct Safety Protocol for Cooperative Platooning
by: Mair, Sebastian, et al.
Published: (2023)

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

Dynamic Constraint Tightening for Nonlinear MPC for Autonomous Racing via Contraction Analysis
by: Bongard, Joscha F., et al.
Published: (2026)

Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks
by: Tang, Chencheng, et al.
Published: (2024)

Model Updating for Nonlinear Systems with Stability Guarantees
by: Ghanipoor, Farhad, et al.
Published: (2024)

Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea
by: Krasowski, Hanna, 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)

Incremental Policy Iteration for Unknown Nonlinear Systems with Stability and Performance Guarantees
by: Meng, Qingkai, et al.
Published: (2025)

Adaptive Economic Model Predictive Control: Performance Guarantees for Nonlinear Systems
by: Degner, Maximilian, et al.
Published: (2024)

Identification of Analytic Nonlinear Dynamical Systems with Non-asymptotic Guarantees
by: Musavi, Negin, et al.
Published: (2024)

Differential Privacy in Nonlinear Dynamical Systems with Tracking Performance Guarantees
by: Chowdhury, Dhrubajit, et al.
Published: (2024)

On Finite- and Fixed-Time Stabilization of Abstract Nonlinear Systems with Well-Posedness Guarantees
by: Fenza, Kamal, et al.
Published: (2025)

Provably Safe Control for Constrained Nonlinear Systems with Bounded Input
by: Kumar, Saurabh, et al.
Published: (2025)

Cooperative Nonlinear Guidance Strategies for Guaranteed Pursuit-Evasion
by: Kumar, Saurabh, et al.
Published: (2024)

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
by: Kranzlmüller, Miriam, et al.
Published: (2026)

Inverse Learning-Based Output Feedback Control of Nonlinear Systems with Verifiable Guarantees
by: Jang, Yeongjun, et al.
Published: (2026)

Model Predictive Control with High-Probability Safety Guarantee for Nonlinear Stochastic Systems
by: Liu, Zishun, et al.
Published: (2025)

Guaranteed Reachability on Riemannian Manifolds for Unknown Nonlinear Systems
by: Shafa, Taha, et al.
Published: (2024)

Towards Fast and Safety-Guaranteed Trajectory Planning and Tracking for Time-Varying Systems
by: Siriya, Seth, et al.
Published: (2024)

Deep Koopman Iterative Learning and Stability-Guaranteed Control for Unknown Nonlinear Time-Varying Systems
by: Zhang, Hengde, et al.
Published: (2026)

Tightening Quadratic Convex Relaxations for the AC Optimal Transmission Switching Problem
by: Guo, Cheng, et al.
Published: (2022)

Improving Stochastic Action-Constrained Reinforcement Learning via Truncated Distributions
by: Stolz, Roland, et al.
Published: (2025)

CommonPower: A Framework for Safe Data-Driven Smart Grid Control
by: Eichelbeck, Michael, et al.
Published: (2024)

Stochastic Reinforcement Learning with Stability Guarantees for Control of Unknown Nonlinear Systems
by: Quartz, Thanin, et al.
Published: (2024)

Analysis of the Unscented Transform Controller for Systems with Bounded Nonlinearities
by: Dinkar, Siddharth A., et al.
Published: (2025)

Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems
by: Li, Haoyu, et al.
Published: (2025)

Guaranteed Robust Nonlinear MPC via Disturbance Feedback
by: Leeman, Antoine P., et al.
Published: (2025)

Fast Fixed-time Convergence in Nonlinear Dynamical Systems
by: Furtat, Igor B.
Published: (2025)

Stability Guarantees for Data-Driven Predictive Control of Nonlinear Systems via Approximate Koopman Embeddings
by: Taghieh, Amin, et al.
Published: (2026)

A General Nonlinear Observer Design for Inertial Navigation Systems with Almost Global Stability Guarantees
by: Benahmed, Sifeddine, et al.
Published: (2024)

Optimal Interval Observers for Bounded Jacobian Nonlinear Dynamical Systems
by: Khajenejad, Mohammad, et al.
Published: (2024)

Intelligent Sailing Model for Open Sea Navigation
by: Krasowski, Hanna, et al.
Published: (2025)

Output Feedback Backup Control Barrier Functions: Safety Guarantees Under Input Bounds and State Estimation Error
by: van Wijk, David E. J., et al.
Published: (2026)

A Learning- and Scenario-based MPC Design for Nonlinear Systems in LPV Framework with Safety and Stability Guarantees
by: Bao, Yajie, et al.
Published: (2022)

Nonlinear Optimal Control of DC Microgrids with Safety and Stability Guarantees
by: Abdirash, Muratkhan, et al.
Published: (2025)

Beyond Bounded Noise: Stochastic Set-Membership Estimation for Nonlinear Systems
by: Brändle, Felix, et al.
Published: (2026)

Secondary Safety Control for Systems with Sector Bounded Nonlinearities [Extended Version]
by: Lin, Yankai, et al.
Published: (2025)