Stochastic Lyapunov-Barrier Functions for Robust Probabilistic Reach-Avoid-Stay Specifications.

Yiming Meng Jun Liu

Published in: IEEE Trans. Autom. Control. (2024)

Keyphrases

real time
bayesian networks
probabilistic model
sufficient conditions
generative model
control scheme
dynamical systems
partial occlusion
robust estimation
nonlinear functions