Shahab Kaynama

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 2

Top Topics

Gaussian Process

Constraint Satisfaction

Russian Doll Search

Top Venues

IEEE Trans. Autom. Control.

Publications

Jaime F. Fisac, Anayo K. Akametalu, Melanie N. Zeilinger, Shahab Kaynama, Jeremy H. Gillula, Claire J. Tomlin
A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems. IEEE Trans. Autom. Control. 64 (7) (2019)
Jaime F. Fisac, Anayo K. Akametalu, Melanie Nicole Zeilinger, Shahab Kaynama, Jeremy H. Gillula, Claire J. Tomlin
A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems. CoRR (2017)
Shahab Kaynama, Ian M. Mitchell, Meeko M. K. Oishi, Guy Albert Dumont
Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time Linear Systems. IEEE Trans. Autom. Control. 60 (11) (2015)
Ian M. Mitchell, Shahab Kaynama
An improved algorithm for robust safety analysis of sampled data systems. HSCC (2015)
Charles Dabadie, Shahab Kaynama, Claire J. Tomlin
A practical reachability-based collision avoidance algorithm for sampled-data systems: Application to ground robots. IROS (2014)
Jeremy H. Gillula, Shahab Kaynama, Claire J. Tomlin
Sampling-based approximation of the viability kernel for high-dimensional linear sampled-data systems. HSCC (2014)
Shahab Kaynama, Jeremy H. Gillula, Claire J. Tomlin
A sampling-based approach to scalable constraint satisfaction in linear sampled-data systems - Part I: Computation. CoRR (2014)
Anayo K. Akametalu, Shahab Kaynama, Jaime F. Fisac, Melanie Nicole Zeilinger, Jeremy H. Gillula, Claire J. Tomlin
Reachability-based safe learning with Gaussian processes. CDC (2014)
John N. Maidens, Shahab Kaynama, Ian M. Mitchell, Meeko M. K. Oishi, Guy Albert Dumont
Lagrangian methods for approximating the viability kernel in high-dimensional systems. Autom. 49 (7) (2013)
Shahab Kaynama, Meeko Oishi
A Modified Riccati Transformation for Decentralized Computation of the Viability Kernel Under LTI Dynamics CoRR (2013)
Shahab Kaynama, Ian M. Mitchell, Meeko Oishi, Guy Albert Dumont
Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time Linear Systems. CoRR (2013)
Shahab Kaynama, Meeko Oishi
A Modified Riccati Transformation for Decentralized Computation of the Viability Kernel Under LTI Dynamics. IEEE Trans. Autom. Control. 58 (11) (2013)
Shahab Kaynama, Meeko M. K. Oishi, Ian M. Mitchell, Guy Albert Dumont
Fixed-complexity piecewise ellipsoidal representation of the continual reachability set based on ellipsoidal techniques. ACC (2012)
Shahab Kaynama, John N. Maidens, Meeko Oishi, Ian M. Mitchell, Guy Albert Dumont
Computing the viability kernel using maximal reachable sets. HSCC (2012)
Shahab Kaynama, Meeko Oishi
Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems. Int. J. Control 84 (1) (2011)
Shahab Kaynama, Meeko Oishi, Ian M. Mitchell, Guy Albert Dumont
The continual reachability set and its computation using maximal reachability techniques. CDC/ECC (2011)
Shahab Kaynama, Osman Kukrer
A Suboptimal Discrete-time Predictive Current Controller for a Voltage-source Inverter. CCA (2010)
Shahab Kaynama, Meeko Oishi
Overapproximating the reachable sets of LTI systems through a similarity transformation. ACC (2010)
Shahab Kaynama, Meeko Oishi
Schur-based decomposition for reachability analysis of linear time-invariant systems. CDC (2009)