Cover Image

Algebraic Proofs of Path Disconnectedness using Time-Dependent Barrier Functions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Henrion, Didier, Miller, Jared, Din, Mohab Safey El
Format:	Preprint
Published:	2024
Subjects:	Optimization and Control Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Unsafe Probabilities and Risk Contours for Stochastic Processes using Convex Optimization
by: Miller, Jared, et al.
Published: (2024)

Peak Time-Windowed Risk Estimation of Stochastic Processes
by: Miller, Jared, et al.
Published: (2024)

Probabilistic algorithm for computing all local minimizers of Morse functions on a compact domain
by: Din, Mohab Safey El, et al.
Published: (2025)

Incremental Gain Computation and Regulation of Discrete-time Positive Luré Systems using Linear Programming
by: Miller, Jared
Published: (2025)

Convergence and Robustness Bounds for Distributed Asynchronous Shortest-Path
by: Miller, Jared, et al.
Published: (2025)

Peak Estimation of Rational Systems using Convex Optimization
by: Miller, Jared, et al.
Published: (2023)

Infinite-dimensional Christoffel-Darboux polynomial kernels on Hilbert spaces
by: Henrion, Didier
Published: (2024)

Maximal entropy in the moment body
by: Henrion, Didier
Published: (2025)

Density, Determinacy, Duality and a Regularized Moment-SOS Hierarchy
by: Henrion, Didier
Published: (2025)

Solving Stengle's Example in Rational Arithmetic: Exact Values of the Moment-SOS Relaxations
by: Henrion, Didier
Published: (2025)

Geometry of exactness of moment-SOS relaxations for polynomial optimization
by: Henrion, Didier
Published: (2023)

Positively not SOS: pseudo-moments and extreme rays in exact arithmetic
by: Henrion, Didier
Published: (2025)

On Uniformly Time-Varying Control Barrier Functions
by: Wiltz, Adrian, et al.
Published: (2025)

Verification and Synthesis of Discrete-Time Control Barrier Functions
by: Shakhesi, Erfan, et al.
Published: (2025)

Assessing the Quality of a Set of Basis Functions for Inverse Optimal Control via Projection onto Global Minimizers
by: Bečanović, Filip, et al.
Published: (2025)

Counterexample-Guided Synthesis of Robust Discrete-Time Control Barrier Functions
by: Shakhesi, Erfan, et al.
Published: (2025)

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions
by: Ghanbarpour, Masoumeh, et al.
Published: (2025)

Invariance Guarantees using Continuously Parametrized Control Barrier Functions
by: Jang, Inkyu, et al.
Published: (2025)

Data-Driven Superstabilizing Control under Quadratically-Bounded Errors-in-Variables Noise
by: Miller, Jared, et al.
Published: (2024)

Bounding the Minimal Current Harmonic Distortion in Optimal Modulation of Single-Phase Power Converters
by: Miller, Jared, et al.
Published: (2025)

Distributed Predictive Control Barrier Functions: Towards Scalable Safety Certification in Modular Multi-Agent Systems
by: Ohnemus, Jonas, et al.
Published: (2026)

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints
by: Wiltz, Adrian, et al.
Published: (2025)

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
by: Mestres, Pol, et al.
Published: (2025)

Converse Barrier Functions via Lyapunov Functions
by: Liu, Jun
Published: (2020)

Solving moment and polynomial optimization problems on Sobolev spaces
by: Henrion, Didier, et al.
Published: (2024)

Matrix Control Barrier Functions
by: Ong, Pio, et al.
Published: (2025)

Polyconvex double well functions
by: Henrion, Didier, et al.
Published: (2025)

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
by: Mazouz, Rayan, et al.
Published: (2026)

Data-Driven Structured Robust Control of Linear Systems
by: Miller, Jared, et al.
Published: (2024)

Analysis and Synthesis of Switched Optimization Algorithms
by: Miller, Jared, et al.
Published: (2025)

Real-time MPC with Control Barrier Functions for Autonomous Driving using Safety Enhanced Collocation
by: Allamaa, Jean Pierre, et al.
Published: (2024)

Probabilistic Safety under Arbitrary Disturbance Distributions using Piecewise-Affine Control Barrier Functions
by: Teuwen, Matisse, et al.
Published: (2025)

Topological Obstructions to the Existence of Control Barrier Functions
by: de Sa, Massimiliano, et al.
Published: (2026)

Predictive Control Barrier Functions for Discrete-Time Linear Systems with Unmodeled Delays
by: Salazar, Juan Augusto Paredes, et al.
Published: (2025)

Stabilization of Nonlinear Systems through Control Barrier Functions
by: Mestres, Pol, et al.
Published: (2024)

Safe Feedback Optimization through Control Barrier Functions
by: Delimpaltadakis, Giannis, et al.
Published: (2026)

Uniform Feasibility For Smoothed Backup Control Barrier Functions
by: Alan, Anil, et al.
Published: (2025)

A Spectral Perspective on Stochastic Control Barrier Functions
by: Jang, Inkyu, et al.
Published: (2026)

Proxy Control Barrier Functions: Integrating Barrier-Based and Lyapunov-Based Safety-Critical Control Design
by: Wang, Yujie, et al.
Published: (2025)

An infinite-dimensional Christoffel function and detection of abnormal trajectories
by: Henrion, Didier, et al.
Published: (2024)