2 citations · 3 across the 2 of their papers we have counts for
4 papers
Multi-Fidelity modeling of Probabilistic Aerodynamic Databases for Use in Aerospace Engineering
Jayant Mukhopadhaya, Brian T. Whitehead, John F. Quindlen +1
Explicit quantification of uncertainty in engineering simulations is being increasingly used to inform robust and reliable design practices. In the aerospace industry, computationa…
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…