Imagen de Portada

Almost Sure Reachability in Continuous-time Stochastic Systems

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Kordabad, Arash Bahari, Majumdar, Rupak, Soudjani, Sadegh
Formato:	Preprint
Publicado:	2026
Materias:	Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation
por: Zhang, Zhi, et al.
Publicado: (2024)

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
por: Nazeri, Mahdi, et al.
Publicado: (2025)

Stochastic Adaptive Control for Systems with Nonlinear Parameterization: Almost Sure Stability and Tracking
por: Zhang, Lantian, et al.
Publicado: (2026)

Stochastic Generalized Dynamic Games with Coupled Chance Constraints
por: Yadollahi, Seyed Shahram, et al.
Publicado: (2025)

Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces
por: Ghosh, Arabinda, et al.
Publicado: (2024)

Temporal Logic Resilience for Continuous-time Systems
por: Das, Ratnangshu, et al.
Publicado: (2026)

Robust Control of Uncertain Switched Affine Systems via Scenario Optimization
por: Monir, Negar, et al.
Publicado: (2025)

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

Temporal Logic Resilience for Dynamical Systems
por: Saoud, Adnane, et al.
Publicado: (2024)

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
por: Nazeri, Mahdi, et al.
Publicado: (2025)

Logic-based Resilience Computation of Power Systems Against Frequency Requirements
por: Monir, Negar, et al.
Publicado: (2025)

Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
por: Wooding, Ben, et al.
Publicado: (2023)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
por: Schön, Oliver, et al.
Publicado: (2025)

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

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

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

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

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

Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
por: Schön, Oliver, et al.
Publicado: (2024)

BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
por: Taheri, Ali, et al.
Publicado: (2025)

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

From Discrete to Continuous Binary Best-Response Dynamics: Discrete Fluctuations Almost Surely Vanish with Population Size
por: Aghaeeyan, Azadeh, et al.
Publicado: (2023)

Collision Avoidance Control for a Two-wheeled Vehicle under Stochastic Vibration using an Almost Sure Control Barrier Function
por: Arimura, Taichi, et al.
Publicado: (2026)

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

Monte Carlo Grid Dynamic Programming: Almost Sure Convergence and Probability Constraints
por: Ramadan, Mohammad S., et al.
Publicado: (2023)

Kernel-Based Learning of Safety Barriers
por: Schön, Oliver, et al.
Publicado: (2026)

Strategy Templates for Almost-Sure and Positive Winning of Stochastic Parity Games towards Permissive and Resilient Control
por: Phalakarn, Kittiphon, et al.
Publicado: (2024)

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
por: Schön, Oliver, et al.
Publicado: (2023)

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

Verification of Quantum Circuits through Discrete-Time Barrier Certificates
por: Lewis, Marco, et al.
Publicado: (2024)