Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Badings, Thom, Romao, Licio, Abate, Alessandro, Jansen, Nils
Format:	Preprint
Publié:	2024
Sujets:	Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
par: Nazeri, Mahdi, et autres
Publié: (2025)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
par: Badings, Thom, et autres
Publié: (2025)

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
par: Nazeri, Mahdi, et autres
Publié: (2025)

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
par: Riccardi, Alessandro, et autres
Publié: (2026)

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
par: Badings, Thom, et autres
Publié: (2024)

Exact Recourse Functions for Aggregations of EVs Operating in Imbalance Markets
par: Mukhi, Karan, et autres
Publié: (2025)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
par: Vertovec, Nikolaus, et autres
Publié: (2025)

Data-driven Interval MDP for Robust Control Synthesis
par: Coppola, Rudi, et autres
Publié: (2024)

Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric
par: Banse, Adrien, et autres
Publié: (2024)

Integrating Expert and Physics Knowledge for Modeling Heat Load in District Heating Systems
par: Souza, Francisco, et autres
Publié: (2025)

Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
par: Chen, Yu, et autres
Publié: (2025)

A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution
par: Mathiesen, Frederik Baymler, et autres
Publié: (2024)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
par: Gracia, Ibon, et autres
Publié: (2024)

Distributed Markov Chain Monte Carlo Sampling based on the Alternating Direction Method of Multipliers
par: Tzikas, Alexandros E., et autres
Publié: (2024)

Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown Systems
par: Sawarkar, Shubham, et autres
Publié: (2025)

Maximizing Reach-Avoid Probabilities for Linear Stochastic Systems via Control Architectures
par: Schmid, Niklas, et autres
Publié: (2026)

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
par: Mazouz, Rayan, et autres
Publié: (2026)

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems
par: Das, Ratnangshu, et autres
Publié: (2024)

Spatiotemporal Tubes based Control of Unknown Multi-Agent Systems for Temporal Reach-Avoid-Stay Tasks
par: Basu, Ahan, et autres
Publié: (2025)

Reach-Avoid-Stabilize Using Admissible Control Sets
par: Gong, Zheng, et autres
Publié: (2025)

Truthful Production Uncertainty in Electricity Markets: A Two-Stage Mechanism
par: Singhal, Shobhit, et autres
Publié: (2026)

Steering with Contingencies: Combinatorial Stabilization and Reach-Avoid Filters
par: Lishkova, Yana, et autres
Publié: (2026)

Safety Certification is Classification
par: Schön, Oliver, et autres
Publié: (2026)

Bridging conformal prediction and scenario optimization
par: O'Sullivan, Niall, et autres
Publié: (2025)

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
par: Xue, Bai, et autres
Publié: (2025)

Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems
par: Cao, Zhipeng, et autres
Publié: (2025)

Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees
par: Serry, Mohamed, et autres
Publié: (2024)

Stochastic Reinforcement Learning with Stability Guarantees for Control of Unknown Nonlinear Systems
par: Quartz, Thanin, et autres
Publié: (2024)

Learning to Stabilize Unknown LTI Systems on a Single Trajectory under Stochastic Noise
par: Zhang, Ziyi, et autres
Publié: (2024)

Funnel-based Control for Reach-Avoid-Stay Specifications
par: Das, Ratnangshu, et autres
Publié: (2023)

Stochastic Omega-Regular Verification and Control with Supermartingales
par: Abate, Alessandro, et autres
Publié: (2024)

Neural Cooperative Reach-While-Avoid Certificates for Interconnected Systems
par: Zhou, Jingyuan, et autres
Publié: (2026)

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes
par: Das, Ratnangshu, et autres
Publié: (2025)

Reach-Avoid-Stay-Collision-Avoidance Negotiation Framework for Multi-Agent Systems via Spatiotemporal Tubes
par: Faruqui, Mohd. Faizuddin, et autres
Publié: (2025)

Small-Covariance Noise-to-State Stability of Stochastic Systems and Its Applications to Stochastic Gradient Dynamics
par: Cui, Leilei, et autres
Publié: (2025)

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
par: Edwards, Alec, et autres
Publié: (2023)

Neural Proofs for Sound Verification and Control of Complex Systems
par: Abate, Alessandro
Publié: (2025)

Fast, Smooth, and Safe: Implicit Control Barrier Functions through Reach-Avoid Differential Dynamic Programming
par: Kumar, Athindran Ramesh, et autres
Publié: (2023)

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet
par: Suilen, Marnix, et autres
Publié: (2024)

Reach-Avoid Model Predictive Control with Guaranteed Recursive Feasibility via Input Constrained Backstepping
par: Ding, Jianqiang, et autres
Publié: (2026)