Computing the viability kernel using maximal reachable sets. - Shahab Kaynama; John N. Maidens; Meeko Oishi; Ian M. Mitchell; Guy Albert Dumont (HSCC, 2012)

Global Lyapunov functions and a hierarchical control scheme for networks of robotic agents. - John N. Maidens; Michael Y. Li (ACC, 2013)

Lagrangian methods for approximating the viability kernel in high-dimensional systems. - John N. Maidens; Shahab Kaynama; Ian M. Mitchell; Meeko M. K. Oishi; Guy Albert Dumont (Autom., 2013)

Trajectory-based reachability analysis of switched nonlinear systems using matrix measures. - John N. Maidens; Murat Arcak (CDC, 2014)

Optimal experiment design for physiological parameter estimation using hyperpolarized carbon-13 magnetic resonance imaging. - John N. Maidens; Peder E. Z. Larson; Murat Arcak (ACC, 2015)

A note on optimal experiment design for nonlinear systems using dynamic programming. - John N. Maidens; Murat Arcak (CoRR, 2015)

Reachability Analysis of Nonlinear Systems Using Matrix Measures. - John N. Maidens; Murat Arcak (IEEE Trans. Autom. Control., 2015)

Semidefinite relaxations in optimal experiment design with application to substrate injection for hyperpolarized MRI. - John N. Maidens; Murat Arcak (ACC, 2016)

Parallel dynamic programming for optimal experiment design in nonlinear systems. - John N. Maidens; Andrew K. Packard; Murat Arcak (CDC, 2016)

Optimizing Flip Angles for Metabolic Rate Estimation in Hyperpolarized Carbon-13 MRI. - John N. Maidens; Jeremy W. Gordon; Murat Arcak; Peder E. Z. Larson (IEEE Trans. Medical Imaging, 2016)

Symmetry reduction for dynamic programming and application to MRI. - John N. Maidens; Axel Barrau; Silvère Bonnabel; Murat Arcak (ACC, 2017)

Optimal Control for Learning with Applications in Dynamic MRI. - John N. Maidens (2017)

Simulation-Based Reachability Analysis for Nonlinear Systems Using Componentwise Contraction Properties. - Murat Arcak; John N. Maidens (Principles of Modeling, 2018)

An Improvement to Test Case Failure Prediction in the Context of Test Case Prioritization. - Francis Palma; Tamer Abdou; Ayse Bener; John Maidens; Stella Liu (PROMISE, 2018)

Symmetry reduction for dynamic programming. - John Maidens; Axel Barrau; Silvère Bonnabel; Murat Arcak (Autom., 2018)

Exploiting Symmetry for Discrete-Time Reachability Computations. - John N. Maidens; Murat Arcak (IEEE Control. Syst. Lett., 2018)

Spatio-Temporally Constrained Reconstruction for Hyperpolarized Carbon-13 MRI Using Kinetic Models. - John Maidens; Jeremy W. Gordon; Hsin-Yu Chen; Ilwoo Park; Mark Van Criekinge; Eugene Milshteyn; Robert Bok; Rahul Aggarwal; Marcus Ferrone; James B. Slater; John Kurhanewicz; Daniel B. Vigneron; et al. (IEEE Trans. Medical Imaging, 2018)

Predicting Commentaries on a Financial Report with Recurrent Neural Networks. - Karim El Mokhtari; John Maidens; Ayse Bener (Canadian AI, 2019)

Neural Network Based Spectrum Prediction in Land Mobile Radio Bands for IoT deployments. - Sanaz Mohammadjafari; Emir Kavurmacioglu; John Maidens; Ayse Bener (IM, 2019)

Experimental Results on the Impact of Memory in Neural Networks for Spectrum Prediction in Land Mobile Radio Bands. - Ozan Ozyegen; Sanaz Mohammadjafari; Emir Kavurmacioglu; John Maidens; Ayse Basar Bener (IEEE Trans. Cogn. Commun. Netw., 2020)