Data-driven abstractions via adaptive refinements and a Kantorovich metric
We introduce an adaptive refinement procedure for smart and scalable abstraction of
dynamical systems. Our technique relies on partitioning the state space depending on the …
dynamical systems. Our technique relies on partitioning the state space depending on the …
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
Finite-state abstractions are widely studied for the automated synthesis of correct-by-
construction controllers for stochastic dynamical systems. However, existing abstraction …
construction controllers for stochastic dynamical systems. However, existing abstraction …