Cover Image

Convex Computations for Controlled Safety Invariant Sets of Black-box Discrete-time Dynamical Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wu, Taoran, Xue, Yiling, Pan, Jingduo, Ren, Dejin, Easwaran, Arvind, 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

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization
by: Wu, Taoran, et al.
Published: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Online Nonstochastic Control with Convex Safety Constraints
by: Jiang, Nanfei, et al.
Published: (2025)

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

On Robust Controlled Invariants for Continuous-time Monotone Systems
by: Wembe, Emmanuel Junior Wafo, et al.
Published: (2024)

Control Invariant Sets for Neural Network Dynamical Systems and Recursive Feasibility in Model Predictive Control
by: Li, Xiao, et al.
Published: (2025)

Computation of Maximal Admissible Robust Positive Invariant Sets for Linear Systems with Parametric and Additive Uncertainties
by: Dey, Anchita, et al.
Published: (2024)

Dynamics of Implicit Time-Invariant Max-Min-Plus-Scaling Discrete-Event Systems
by: Markkassery, Sreeshma, et al.
Published: (2026)

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
by: Mestres, Pol, 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)

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

Safety-Critical Control of Discontinuous Systems with Nonsmooth Safe Sets
by: Alyaseen, Mohammed, et al.
Published: (2024)

Safety-Critical Control for Discrete-time Stochastic Systems with Flexible Safe Bounds using Affine and Quadratic Control Barrier Functions
by: Fushimi, Sotaro, et al.
Published: (2025)

Collaborative Safety-Critical Control for Dynamically Coupled Networked Systems
by: Butler, Brooks A., et al.
Published: (2023)

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

Robust Data-Driven Invariant Sets for Nonlinear Systems
by: Kiani, Sahand, et al.
Published: (2025)

Set-Based Adaptive Safety Control
by: Akella, Prithvi, et al.
Published: (2019)

Parameter Dependent Robust Control Invariant Sets for LPV Systems with Bounded Parameter Variation Rate
by: Mulagaleti, Sampath Kumar, et al.
Published: (2023)

Invariant Set Estimation for Piecewise Affine Dynamical Systems Using Piecewise Affine Barrier Function
by: Samanipour, Pouya, et al.
Published: (2024)

Controlled Invariant Sets for Gaussian Process State Space Models
by: Griffioen, Paul, et al.
Published: (2024)

Minimally Conservative Controlled-Invariant Set Synthesis Using Control Barrier Certificates
by: Toulkani, Naeim Ebrahimi, et al.
Published: (2024)

Learning Quasi-LPV Models and Robust Control Invariant Sets with Reduced Conservativeness
by: Mulagaleti, Sampath Kumar, et al.
Published: (2025)

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

ReLU Barrier Functions for Nonlinear Systems with Constrained Control: A Union of Invariant Sets Approach
by: Samanipour, Pouya, et al.
Published: (2026)

Real-Time Systems Optimization with Black-box Constraints and Hybrid Variables
by: Wang, Sen, et al.
Published: (2024)

Safety-Constrained Optimal Control for Unknown System Dynamics
by: Kounatidis, Panagiotis, et al.
Published: (2026)

Finding Control Invariant Sets via Lipschitz Constants of Linear Programs
by: Vahs, Matti, et al.
Published: (2024)