Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Wu, Taoran, Xue, Yiling, Pan, Jingduo, Ren, Dejin, Easwaran, Arvind, Xue, Bai
Format:	Preprint
Publié:	2025
Sujets:	Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization
par: Wu, Taoran, et autres
Publié: (2025)

PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems
par: Wu, Taoran, et autres
Publié: (2025)

Efficient Verification and Falsification of ReLU Neural Barrier Certificates
par: Ren, Dejin, et autres
Publié: (2025)

Inner-approximate Reachability Computation via Zonotopic Boundary Analysis
par: Ren, Dejin, et autres
Publié: (2024)

Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
par: Xue, Bai
Publié: (2024)

Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems
par: Li, Yonghan, et autres
Publié: (2024)

Stochastic Minimum-Cost Reach-Avoid Reinforcement Learning
par: Pan, Jingduo, et autres
Publié: (2026)

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

PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions
par: Wu, Taoran, et autres
Publié: (2026)

A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems
par: Wu, Taoran, et autres
Publié: (2024)

Event-Driven Real-Time Multi-Objective Charging Schedule Optimization For Electric Vehicle Fleets
par: Raja, Jose Peeterson Emerson, et autres
Publié: (2024)

Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems
par: Xue, Bai, et autres
Publié: (2026)

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

A novel load distribution strategy for aggregators using IoT-enabled mobile devices
par: Shivaraman, Nitin, et autres
Publié: (2024)

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
par: Xue, Bai, et autres
Publié: (2025)

Online Nonstochastic Control with Convex Safety Constraints
par: Jiang, Nanfei, et autres
Publié: (2025)

Quantitative Verification of Finite-Time Constrained Occupation Measures for Continuous-time Stochastic Systems
par: Xue, Bai, et autres
Publié: (2026)

On Robust Controlled Invariants for Continuous-time Monotone Systems
par: Wembe, Emmanuel Junior Wafo, et autres
Publié: (2024)

Control Invariant Sets for Neural Network Dynamical Systems and Recursive Feasibility in Model Predictive Control
par: Li, Xiao, et autres
Publié: (2025)

Computation of Maximal Admissible Robust Positive Invariant Sets for Linear Systems with Parametric and Additive Uncertainties
par: Dey, Anchita, et autres
Publié: (2024)

Dynamics of Implicit Time-Invariant Max-Min-Plus-Scaling Discrete-Event Systems
par: Markkassery, Sreeshma, et autres
Publié: (2026)

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
par: Mestres, Pol, et autres
Publié: (2025)

Computing Safe Control Inputs using Discrete-Time Matrix Control Barrier Functions via Convex Optimization
par: Usevitch, James, et autres
Publié: (2025)

Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems
par: Cao, Zhipeng, et autres
Publié: (2025)

Safety-Critical Control of Discontinuous Systems with Nonsmooth Safe Sets
par: Alyaseen, Mohammed, et autres
Publié: (2024)

Safety-Critical Control for Discrete-time Stochastic Systems with Flexible Safe Bounds using Affine and Quadratic Control Barrier Functions
par: Fushimi, Sotaro, et autres
Publié: (2025)

Collaborative Safety-Critical Control for Dynamically Coupled Networked Systems
par: Butler, Brooks A., et autres
Publié: (2023)

Methods for Mitigating Uncertainty in Real-Time Operations of a Connected Microgrid
par: Panda, Subrat Prasad, et autres
Publié: (2024)

Robust Data-Driven Invariant Sets for Nonlinear Systems
par: Kiani, Sahand, et autres
Publié: (2025)

Set-Based Adaptive Safety Control
par: Akella, Prithvi, et autres
Publié: (2019)

Parameter Dependent Robust Control Invariant Sets for LPV Systems with Bounded Parameter Variation Rate
par: Mulagaleti, Sampath Kumar, et autres
Publié: (2023)

Invariant Set Estimation for Piecewise Affine Dynamical Systems Using Piecewise Affine Barrier Function
par: Samanipour, Pouya, et autres
Publié: (2024)

Controlled Invariant Sets for Gaussian Process State Space Models
par: Griffioen, Paul, et autres
Publié: (2024)

Minimally Conservative Controlled-Invariant Set Synthesis Using Control Barrier Certificates
par: Toulkani, Naeim Ebrahimi, et autres
Publié: (2024)

Learning Quasi-LPV Models and Robust Control Invariant Sets with Reduced Conservativeness
par: Mulagaleti, Sampath Kumar, et autres
Publié: (2025)

Convex Pollution Control of Wastewater Treatment Systems
par: Taylor, Joshua
Publié: (2025)

ReLU Barrier Functions for Nonlinear Systems with Constrained Control: A Union of Invariant Sets Approach
par: Samanipour, Pouya, et autres
Publié: (2026)

Real-Time Systems Optimization with Black-box Constraints and Hybrid Variables
par: Wang, Sen, et autres
Publié: (2024)

Safety-Constrained Optimal Control for Unknown System Dynamics
par: Kounatidis, Panagiotis, et autres
Publié: (2026)

Finding Control Invariant Sets via Lipschitz Constants of Linear Programs
par: Vahs, Matti, et autres
Publié: (2024)