Shahab Kaynama

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