Schur-based decomposition for reachability analysis of linear time-invariant systems. - Shahab Kaynama; Meeko Oishi (CDC, 2009)

A Suboptimal Discrete-time Predictive Current Controller for a Voltage-source Inverter. - Shahab Kaynama; Osman Kukrer (CCA, 2010)

Overapproximating the reachable sets of LTI systems through a similarity transformation. - Shahab Kaynama; Meeko Oishi (ACC, 2010)

The continual reachability set and its computation using maximal reachability techniques. - Shahab Kaynama; Meeko Oishi; Ian M. Mitchell; Guy Albert Dumont (CDC/ECC, 2011)

Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems. - Shahab Kaynama; Meeko Oishi (Int. J. Control, 2011)

Fixed-complexity piecewise ellipsoidal representation of the continual reachability set based on ellipsoidal techniques. - Shahab Kaynama; Meeko M. K. Oishi; Ian M. Mitchell; Guy Albert Dumont (ACC, 2012)

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

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)

A Modified Riccati Transformation for Decentralized Computation of the Viability Kernel Under LTI Dynamics. - Shahab Kaynama; Meeko Oishi (IEEE Trans. Autom. Control., 2013)

Reachability-based safe learning with Gaussian processes. - Anayo K. Akametalu; Shahab Kaynama; Jaime F. Fisac; Melanie Nicole Zeilinger; Jeremy H. Gillula; Claire J. Tomlin (CDC, 2014)

Sampling-based approximation of the viability kernel for high-dimensional linear sampled-data systems. - Jeremy H. Gillula; Shahab Kaynama; Claire J. Tomlin (HSCC, 2014)

A practical reachability-based collision avoidance algorithm for sampled-data systems: Application to ground robots. - Charles Dabadie; Shahab Kaynama; Claire J. Tomlin (IROS, 2014)

A sampling-based approach to scalable constraint satisfaction in linear sampled-data systems - Part I: Computation. - Shahab Kaynama; Jeremy H. Gillula; Claire J. Tomlin (CoRR, 2014)

An improved algorithm for robust safety analysis of sampled data systems. - Ian M. Mitchell; Shahab Kaynama (HSCC, 2015)

Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time Linear Systems. - Shahab Kaynama; Ian M. Mitchell; Meeko M. K. Oishi; Guy Albert Dumont (IEEE Trans. Autom. Control., 2015)

A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems. - Jaime F. Fisac; Anayo K. Akametalu; Melanie N. Zeilinger; Shahab Kaynama; Jeremy H. Gillula; Claire J. Tomlin (IEEE Trans. Autom. Control., 2019)