Synthesizing and validating barrier certificates for unknown dynamical systems with latent states and polynomial dynamics using Bayesian inference
dynamical-systems bayesian-inference mcmc uncertainty-quantification system-identification control-theory sum-of-squares robust-control invariant-sets safety-verification barrier-certificates probabilistic-certification latent-states
-
Updated
Sep 27, 2025 - MATLAB