Cover Image

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wu, Taoran, Xue, Yiling, Ren, Dejin, Easwaran, Arvind, Fränzle, Martin, Xue, Bai
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Convex Computations for Controlled Safety Invariant Sets of Black-box Discrete-time Dynamical Systems
by: Wu, Taoran, et al.
Published: (2025)

Efficient Verification and Falsification of ReLU Neural Barrier Certificates
by: Ren, Dejin, et al.
Published: (2025)

Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
by: Xue, Bai
Published: (2024)

PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems
by: Wu, Taoran, et al.
Published: (2025)

Sufficient and Necessary Barrier-like Conditions for Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
by: Xue, Bai
Published: (2024)

Inner-approximate Reachability Computation via Zonotopic Boundary Analysis
by: Ren, Dejin, et al.
Published: (2024)

Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems
by: Li, Yonghan, et al.
Published: (2024)

Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems
by: Su, Han, et al.
Published: (2023)

Event-Driven Real-Time Multi-Objective Charging Schedule Optimization For Electric Vehicle Fleets
by: Raja, Jose Peeterson Emerson, et al.
Published: (2024)

A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems
by: Wu, Taoran, et al.
Published: (2024)

PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions
by: Wu, Taoran, et al.
Published: (2026)

Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems
by: Cao, Zhipeng, et al.
Published: (2025)

Exact Computation of LTI Reach Set from Integrator Reach Set with Bounded Input
by: Haddad, Shadi, et al.
Published: (2023)

Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems
by: Xue, Bai, et al.
Published: (2026)

Goal-Reaching Trajectory Design Near Danger with Piecewise Affine Reach-avoid Computation
by: Chung, Long Kiu, et al.
Published: (2024)

A New Framework for Bounding Reachability Probabilities of Continuous-time Stochastic Systems
by: Xue, Bai
Published: (2023)

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
by: Xue, Bai, et al.
Published: (2025)

Computing Safe Control Inputs using Discrete-Time Matrix Control Barrier Functions via Convex Optimization
by: Usevitch, James, et al.
Published: (2025)

A novel load distribution strategy for aggregators using IoT-enabled mobile devices
by: Shivaraman, Nitin, et al.
Published: (2024)

Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions
by: Feng, Shenghua, et al.
Published: (2025)

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees
by: Ding, Jianqiang, et al.
Published: (2025)

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming
by: Shakhesi, Erfan, et al.
Published: (2025)

Stochastic Minimum-Cost Reach-Avoid Reinforcement Learning
by: Pan, Jingduo, et al.
Published: (2026)

Reach-avoid games for players with damped double integrator dynamics
by: Lyu, Mengxin, et al.
Published: (2025)

Power-Duration Characterization of Aggregated Thermostatically Controlled Loads via Reach and Hold Sets
by: Elsaadany, Mazen, et al.
Published: (2024)

A Convex Optimization Approach to Compute Trapping Regions for Lossless Quadratic Systems
by: Liao, Shih-Chi, et al.
Published: (2024)

Quantitative Verification of Finite-Time Constrained Occupation Measures for Continuous-time Stochastic Systems
by: Xue, Bai, et al.
Published: (2026)

Aging-Aware Battery Control via Convex Optimization
by: Nnorom Jr., Obidike, et al.
Published: (2025)

Reach-Avoid-Stabilize Using Admissible Control Sets
by: Gong, Zheng, et al.
Published: (2025)

A Survey on Convex Optimization for Guidance and Control of Vehicular Systems
by: Wang, Zhenbo
Published: (2023)

Maximizing Reach-Avoid Probabilities for Linear Stochastic Systems via Control Architectures
by: Schmid, Niklas, et al.
Published: (2026)

Sinkhorn Ambiguity Sets for Distributionally Robust Control: Convexity, Weak Compactness, and Tractability
by: Cescon, Riccardo, et al.
Published: (2026)

Safe Reach Set Computation via Neural Barrier Certificates
by: Abate, Alessandro, et al.
Published: (2024)

From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems
by: Samari, Behrad, et al.
Published: (2024)

Methods for Mitigating Uncertainty in Real-Time Operations of a Connected Microgrid
by: Panda, Subrat Prasad, et al.
Published: (2024)

Switched Systems Control via Discreteness-Promoting Regularization
by: Nagahara, Masaaki, et al.
Published: (2025)

JuliaReach: a Toolbox for Set-Based Reachability
by: Bogomolov, Sergiy, et al.
Published: (2019)

Exploring Noncommutative Polynomial Equation Methods for Discrete-Time Quaternionic Control
by: Sebek, Michael
Published: (2025)

Enhancing the Performance of DeepReach on High-Dimensional Systems through Optimizing Activation Functions
by: Wang, Qian, et al.
Published: (2023)

Convex Pollution Control of Wastewater Treatment Systems
by: Taylor, Joshua
Published: (2025)