Cover Image

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kordabad, Arash Bahari, Majumdar, Rupak, Soudjani, Sadegh
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

Almost Sure Reachability in Continuous-time Stochastic Systems
by: Kordabad, Arash Bahari, et al.
Published: (2026)

On Certificates for Almost Sure Reachability in Stochastic Systems
by: Kordabad, Arash Bahari, et al.
Published: (2025)

Robust Model Predictive Control for Aircraft Intent-Aware Collision Avoidance
by: Kordabad, Arash Bahari, et al.
Published: (2024)

Quasi-Newton Compatible Actor-Critic for Deterministic Policies
by: Kordabad, Arash Bahari, et al.
Published: (2025)

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
by: Kordabad, Arash Bahari, et al.
Published: (2024)

Data-Driven Distributionally Robust Control for Interacting Agents under Logical Constraints
by: Kordabad, Arash Bahari, et al.
Published: (2025)

Second-Order Policy Gradient Methods for the Linear Quadratic Regulator
by: Valaei, Amirreza, et al.
Published: (2025)

Intent-Aware MPC for Aircraft Detect-and-Avoid with Response Delay: A Comparative Study with ACAS Xu
by: Kordabad, Arash Bahari, et al.
Published: (2025)

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

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

Robust Control of Uncertain Switched Affine Systems via Scenario Optimization
by: Monir, Negar, 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)

Almost Surely $\sqrt{T}$ Regret for Adaptive LQR
by: Lu, Yiwen, et al.
Published: (2023)

Kernel-Based Safe Exploration in Deep Reinforcement Learning
by: Majumdar, Rupak, et al.
Published: (2026)

Optimality Conditions for Model Predictive Control: Rethinking Predictive Model Design
by: Anand, Akhil S, et al.
Published: (2024)

Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization
by: Vlahakis, Eleftherios E., et al.
Published: (2026)

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

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
by: Liu, Zishun, et al.
Published: (2024)

Almost Sure Convergence of Networked Policy Gradient over Time-Varying Networks in Markov Potential Games
by: Aydin, Sarper, et al.
Published: (2024)

Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
by: Monir, Negar, et al.
Published: (2026)

Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming
by: Wang, Han, et al.
Published: (2022)

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

Bounding the Settling Time of Finite-Time Stable Systems using Sum of Squares
by: Kisole, Sengiyumva, et al.
Published: (2025)

Maximally Resilient Controllers under Temporal Logic Specifications
by: Si, Youssef Ait, et al.
Published: (2025)

S-SOS: Stochastic Sum-Of-Squares for Parametric Polynomial Optimization
by: Zhu, Richard L., et al.
Published: (2024)

$k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
by: Oumer, Mohammed Adib, et al.
Published: (2025)

Stochastic Reachability of Uncontrolled Systems via Probability Measures: Approximation via Deep Neural Networks
by: Sivaramakrishnan, Karthik, et al.
Published: (2023)

On the Almost Sure Convergence of the Stochastic Three Points Algorithm
by: Kadi, Taha El Bakkali El, et al.
Published: (2025)

Convex computation of regions of attraction from data using Sums-of-Squares programming
by: Khattabi, Oumayma, et al.
Published: (2025)

Synthesizing Control Laws from Data using Sum-of-Squares Optimization
by: Bramburger, Jason J., et al.
Published: (2023)

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
by: Casablanca, Ernesto, et al.
Published: (2025)

Polynomial Parametric Koopman Operators for Stochastic MPC
by: Iliakis, Efstathios, et al.
Published: (2026)

Modified Control Barrier Function for Quadratic Program Based Control Design via Sum-of-Squares Programming
by: Lin, Yankai, et al.
Published: (2025)

Finite-time Reachability for Constrained, Partially Uncontrolled Nonlinear Systems
by: Padmanabhan, Ram, et al.
Published: (2026)

Generalized Smooth Stochastic Variational Inequalities: Almost Sure Convergence and Convergence Rates
by: Vankov, Daniil, et al.
Published: (2024)

Probabilistic Reachable Set Estimation for Saturated Systems with Unbounded Additive Disturbances
by: Karam, Carlo, et al.
Published: (2025)

Input Matrix Optimization for Desired Reachable Set Warping of Linear Systems
by: Das, Hrishav, et al.
Published: (2026)

Reachability Analysis for Design Optimization
by: Nguyen, Steven, et al.
Published: (2026)

Postive Semidefinite and Sum of Squares Biquadratic Polynomials
by: Cui, Chunfeng, et al.
Published: (2025)

Safety Certification is Classification
by: Schön, Oliver, et al.
Published: (2026)