Cover Image

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Badings, Thom, Romao, Licio, Abate, Alessandro, Jansen, Nils
Format:	Preprint
Published:	2024
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
by: Badings, Thom, et al.
Published: (2025)

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

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
by: Riccardi, Alessandro, et al.
Published: (2026)

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
by: Badings, Thom, et al.
Published: (2024)

Exact Recourse Functions for Aggregations of EVs Operating in Imbalance Markets
by: Mukhi, Karan, et al.
Published: (2025)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
by: Vertovec, Nikolaus, et al.
Published: (2025)

Data-driven Interval MDP for Robust Control Synthesis
by: Coppola, Rudi, et al.
Published: (2024)

Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric
by: Banse, Adrien, et al.
Published: (2024)

Integrating Expert and Physics Knowledge for Modeling Heat Load in District Heating Systems
by: Souza, Francisco, et al.
Published: (2025)

Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
by: Chen, Yu, et al.
Published: (2025)

A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution
by: Mathiesen, Frederik Baymler, et al.
Published: (2024)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
by: Gracia, Ibon, et al.
Published: (2024)

Distributed Markov Chain Monte Carlo Sampling based on the Alternating Direction Method of Multipliers
by: Tzikas, Alexandros E., et al.
Published: (2024)

Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown Systems
by: Sawarkar, Shubham, et al.
Published: (2025)

Maximizing Reach-Avoid Probabilities for Linear Stochastic Systems via Control Architectures
by: Schmid, Niklas, et al.
Published: (2026)

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
by: Mazouz, Rayan, et al.
Published: (2026)

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems
by: Das, Ratnangshu, et al.
Published: (2024)

Spatiotemporal Tubes based Control of Unknown Multi-Agent Systems for Temporal Reach-Avoid-Stay Tasks
by: Basu, Ahan, et al.
Published: (2025)

Reach-Avoid-Stabilize Using Admissible Control Sets
by: Gong, Zheng, et al.
Published: (2025)

Truthful Production Uncertainty in Electricity Markets: A Two-Stage Mechanism
by: Singhal, Shobhit, et al.
Published: (2026)

Steering with Contingencies: Combinatorial Stabilization and Reach-Avoid Filters
by: Lishkova, Yana, et al.
Published: (2026)

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

Bridging conformal prediction and scenario optimization
by: O'Sullivan, Niall, et al.
Published: (2025)

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
by: Xue, Bai, et al.
Published: (2025)

Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems
by: Cao, Zhipeng, et al.
Published: (2025)

Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees
by: Serry, Mohamed, et al.
Published: (2024)

Stochastic Reinforcement Learning with Stability Guarantees for Control of Unknown Nonlinear Systems
by: Quartz, Thanin, et al.
Published: (2024)

Learning to Stabilize Unknown LTI Systems on a Single Trajectory under Stochastic Noise
by: Zhang, Ziyi, et al.
Published: (2024)

Funnel-based Control for Reach-Avoid-Stay Specifications
by: Das, Ratnangshu, et al.
Published: (2023)

Stochastic Omega-Regular Verification and Control with Supermartingales
by: Abate, Alessandro, et al.
Published: (2024)

Neural Cooperative Reach-While-Avoid Certificates for Interconnected Systems
by: Zhou, Jingyuan, et al.
Published: (2026)

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes
by: Das, Ratnangshu, et al.
Published: (2025)

Reach-Avoid-Stay-Collision-Avoidance Negotiation Framework for Multi-Agent Systems via Spatiotemporal Tubes
by: Faruqui, Mohd. Faizuddin, et al.
Published: (2025)

Small-Covariance Noise-to-State Stability of Stochastic Systems and Its Applications to Stochastic Gradient Dynamics
by: Cui, Leilei, et al.
Published: (2025)

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
by: Edwards, Alec, et al.
Published: (2023)

Neural Proofs for Sound Verification and Control of Complex Systems
by: Abate, Alessandro
Published: (2025)

Fast, Smooth, and Safe: Implicit Control Barrier Functions through Reach-Avoid Differential Dynamic Programming
by: Kumar, Athindran Ramesh, et al.
Published: (2023)

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet
by: Suilen, Marnix, et al.
Published: (2024)

Reach-Avoid Model Predictive Control with Guaranteed Recursive Feasibility via Input Constrained Backstepping
by: Ding, Jianqiang, et al.
Published: (2026)