2 citations · 3 across the 2 of their papers we have counts for
3 papers · 1 filter
Closed-Loop Statistical Verification of Stochastic Nonlinear Systems Subject to Parametric Uncertainties
John F. Quindlen, Ufuk Topcu, Girish Chowdhary +1
This paper proposes a statistical verification framework using Gaussian processes (GPs) for simulation-based verification of stochastic nonlinear systems with parametric uncertaint…
Active Sampling-based Binary Verification of Dynamical Systems
John F. Quindlen, Ufuk Topcu, Girish Chowdhary +1
Nonlinear, adaptive, or otherwise complex control techniques are increasingly relied upon to ensure the safety of systems operating in uncertain environments. However, the nonlinea…
Active Sampling for Constrained Simulation-based Verification of Uncertain Nonlinear Systems
John F. Quindlen, Ufuk Topcu, Girish Chowdhary +1
Increasingly demanding performance requirements for dynamical systems motivates the adoption of nonlinear and adaptive control techniques. One challenge is the nonlinearity of the…