John F. Quindlen

According to our database, John F. Quindlen authored at least 7 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Active Sampling for Closed-Loop Statistical Verification of Uncertain Nonlinear Systems.

John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How

Proceedings of the 2018 Annual American Control Conference, 2018

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

John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Active Sampling-based Binary Verification of Dynamical Systems.

John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How

CoRR, 2017

Active Sampling for Constrained Simulation-based Verification of Uncertain Nonlinear Systems.

John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How

CoRR, 2017

2016

Case Studies in Data-Driven Verification of Dynamical Systems.

Alexandar Kozarev, John F. Quindlen, Jonathan P. How, Ufuk Topcu

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Region-of-convergence estimation for learning-based adaptive controllers.

John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How

Proceedings of the 2016 American Control Conference, 2016

2015

Hybrid model reference adaptive control for unmatched uncertainties.

John F. Quindlen, Girish Chowdhary, Jonathan P. How

Proceedings of the American Control Conference, 2015