Cover Image

$k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Oumer, Mohammed Adib, Murali, Vishnu, Zamani, Majid
Format:	Preprint
Published:	2025
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

Vector Certificates for $ω$-regular Specifications
by: Oumer, Mohammed Adib, et al.
Published: (2026)

Interpolation-Inspired Closure Certificates
by: Oumer, Mohammed Adib, et al.
Published: (2026)

Control Closure Certificates
by: Murali, Vishnu, et al.
Published: (2025)

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
by: Oumer, Mohammed Adib, et al.
Published: (2025)

Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems
by: Murali, Vishnu, et al.
Published: (2023)

Closure Certificates
by: Murali, Vishnu, et al.
Published: (2023)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
by: Murali, Vishnu, et al.
Published: (2026)

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
by: Kordabad, Arash Bahari, et al.
Published: (2025)

Robust Adaptive Discrete-Time Control Barrier Certificate
by: Liu, Changrui, et al.
Published: (2025)

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

Monotone Neural Barrier Certificates
by: Jafarpour, Saber, et al.
Published: (2025)

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

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs
by: Nishimura, Yuki, et al.
Published: (2022)

Barrier Certificates for Uncertain Temporal Specifications
by: Mamduhi, Mohammad H., et al.
Published: (2026)

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

Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach
by: Zhong, Bingzhuo, et al.
Published: (2024)

Continuous Approximations of Projected Dynamical Systems via Control Barrier Functions
by: Delimpaltadakis, Giannis, et al.
Published: (2024)

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

On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares
by: Amorese, Peter, et al.
Published: (2025)

Natural Gradient Descent for Control
by: Esmzad, Ramin, et al.
Published: (2025)

Certificates of Nonexistence for Lyapunov-Based Stability, Stabilizability and Detectability of LPV Systems
by: Meijer, T. J., et al.
Published: (2023)

An Interpolation-based Scheme for Rapid Frequency-Domain System Identification
by: Jonas, Jared, et al.
Published: (2025)

Input-to-state stabilization of linear systems under data-rate constraints
by: Zamani, Mahmoud, et al.
Published: (2026)

Safety Control of Uncertain MIMO Systems Using Dynamic Output Feedback Barrier Pairs
by: He, Binghan, et al.
Published: (2023)

Second Moment Polytopic Systems: Generalization of Uncertain Stochastic Linear Dynamics
by: Ito, Yuji, et al.
Published: (2022)

Risk-Aware Control of Discrete-Time Stochastic Systems: Integrating Kalman Filter and Worst-case CVaR in Control Barrier Functions
by: Kishida, Masako
Published: (2023)

Converse Theorems for Certificates of Safety and Stability
by: Mestres, Pol, et al.
Published: (2024)

Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials
by: Wooding, Ben, et al.
Published: (2024)

k-Dimensional Agreement in Multiagent Systems
by: Bianchin, Gianluca, et al.
Published: (2022)

A Dynamically Weighted ADMM Framework for Byzantine Resilience
by: Vijay, Vishnu, et al.
Published: (2025)

Certified Inductive Synthesis for Online Mixed-Integer Optimization
by: Zamponi, Marco, et al.
Published: (2025)

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

Distributed Stability Certification and Control from Local Data
by: Malladi, Surya, et al.
Published: (2026)

Distance Between Stochastic Linear Systems
by: Renganathan, Venkatraman, et al.
Published: (2025)

Stabilizing Rate of Stochastic Control Systems
by: Jia, Hui, et al.
Published: (2025)

Diagnostic Certificates of Data Quality and Regression Identifiability for Koopman Identification
by: Wu, Yue
Published: (2026)

Probabilistic Reachability Analysis of Stochastic Control Systems
by: Jafarpour, Saber, et al.
Published: (2024)

Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order
by: Sivaramakrishnan, Vignesh, et al.
Published: (2024)

Symplectic Inductive Bias for Data-Driven Target Reachability in Hamiltonian Systems
by: Ouyang, Zhuo, et al.
Published: (2026)