497 citations · 2.1k across the 297 of their papers we have counts for
4 papers · 2 filters
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…
A Randomized Greedy Algorithm for Near-Optimal Sensor Scheduling in Large-Scale Sensor Networks
Abolfazl Hashemi, Mahsa Ghasemi, Haris Vikalo +1
We study the problem of scheduling sensors in a resource-constrained linear dynamical system, where the objective is to select a small subset of sensors from a large network to per…
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…