Closed-Loop Statistical Verification of Stochastic Nonlinear Systems Subject to Parametric Uncertainties

© 2018 AACC. This paper proposes a statistical verification framework using Gaussian processes (GPs) for simulation-based verification of stochastic nonlinear systems with parametric uncertainties. Given a small number of stochastic simulations, the proposed framework constructs a GP regression mode...

Full description

Bibliographic Details
Main Authors: Quindlen, John F. (Author), Topcu, Ufuk (Author), Chowdhary, Girish (Author), How, Jonathan P. (Author)
Format: Article
Language:English
Published: Institute of Electrical and Electronics Engineers (IEEE), 2021-11-09T15:42:45Z.
Subjects:
Online Access:Get fulltext