John F. Quindlen

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 8

Top Topics

Dynamical Systems

Adaptive Control

Nonlinear Systems

Inverted Pendulum

Top Venues

Publications

John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How
Closed-Loop Statistical Verification of Stochastic Nonlinear Systems Subject to Parametric Uncertainties. ACC (2018)
John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How
Active Sampling for Closed-Loop Statistical Verification of Uncertain Nonlinear Systems. ACC (2018)
John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How
Closed-Loop Statistical Verification of Stochastic Nonlinear Systems Subject to Parametric Uncertainties. CoRR (2017)
John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How
Active Sampling-based Binary Verification of Dynamical Systems. CoRR (2017)
John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How
Active Sampling for Constrained Simulation-based Verification of Uncertain Nonlinear Systems. CoRR (2017)
Alexandar Kozarev, John F. Quindlen, Jonathan P. How, Ufuk Topcu
Case Studies in Data-Driven Verification of Dynamical Systems. HSCC (2016)
John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How
Region-of-convergence estimation for learning-based adaptive controllers. ACC (2016)
John F. Quindlen, Girish Chowdhary, Jonathan P. How
Hybrid model reference adaptive control for unmatched uncertainties. ACC (2015)