Copertina

On Certificates for Almost Sure Reachability in Stochastic Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kordabad, Arash Bahari, Majumdar, Rupak, Motwani, Harshit Jitendra, Soudjani, Sadegh
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Systems and Control Dynamical Systems Probability
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

On the Emergence of Linear Behavior in Large-Scale Dynamical Systems via Spatial Averaging
di: Ahmed, Sabbir, et al.
Pubblicazione: (2025)

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

Nonuniform-Grid Markov Chain Approximation of Continuous Processes with Time-Linear Moments
di: Kim, Do Hyun, et al.
Pubblicazione: (2025)

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

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

Analysis and Mitigation of Cascading Failures Using a Stochastic Interaction Graph with Eigen-analysis
di: Guo, Zhenping, et al.
Pubblicazione: (2025)

Method of Successive Approximations for Stochastic Optimal Control: Contractivity and Convergence
di: Taoufik, Safouane, et al.
Pubblicazione: (2024)

Decentralized State-Dependent Markov Chain Synthesis with an Application to Swarm Guidance
di: Uzun, Samet, et al.
Pubblicazione: (2020)

Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
di: Monir, Negar, et al.
Pubblicazione: (2025)

Hartman-Grobman Theorem for Stochastic Dynamical Systems
di: Bekima, Paul
Pubblicazione: (2025)

Deterministic Kalman filters for uncertain dynamical systems
di: Kunisch, Karl, et al.
Pubblicazione: (2025)

Asymptotic analysis of dynamical systems driven by Poisson random measures with periodic sampling
di: Dhama, Shivam Singh
Pubblicazione: (2022)

Almost sure one-endedness of a random graph model of distributed ledgers
di: Feng, Jiewei, et al.
Pubblicazione: (2023)

Time-Delay Systems with Discrete and Distributed delays: Discontinuous Initial Conditions and Reachability Sets
di: Haimovich, Hernan, et al.
Pubblicazione: (2026)

Beyond Classical Diffusion: Fractional Derivatives in Transport and Stochastic Systems
di: Verbeeck, Cypres, et al.
Pubblicazione: (2025)

JuliaReach: a Toolbox for Set-Based Reachability
di: Bogomolov, Sergiy, et al.
Pubblicazione: (2019)

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

Dynamics on Lie groups with applications to attitude estimation
di: Kieffer, T. Forrest, et al.
Pubblicazione: (2025)

Stochastic Mackey-Glass Equations and Other Negative Feedback Systems: Existence of Invariant Measures
di: Bosch, Mark van den, et al.
Pubblicazione: (2026)

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

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

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

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

Expander graphs are globally synchronizing
di: Abdalla, Pedro, et al.
Pubblicazione: (2022)

Stochastic stability of physical measures in conservative systems
di: Qi, Weiwei, et al.
Pubblicazione: (2025)

Stochastic Wright's Equation: Existence of Invariant Measures
di: Bosch, Mark van den, et al.
Pubblicazione: (2026)

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems
di: Zhou, Ruikun, et al.
Pubblicazione: (2024)

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

Stochastic volatility model with long memory for water quantity-quality dynamics
di: Yoshioka, Hidekazu, et al.
Pubblicazione: (2025)