Shahab Kaynama
Shahab Kaynama
Postdoctoral Researcher, UC Berkeley
Verified email at berkeley.edu - Homepage
Title
Cited by
Cited by
Year
Reachability-based safe learning with Gaussian processes
AK Akametalu, JF Fisac, JH Gillula, S Kaynama, MN Zeilinger, CJ Tomlin
53rd IEEE Conference on Decision and Control, 1424-1431, 2014
1602014
A general safety framework for learning-based control in uncertain robotic systems
JF Fisac, AK Akametalu, MN Zeilinger, S Kaynama, J Gillula, CJ Tomlin
IEEE Transactions on Automatic Control 64 (7), 2737-2752, 2018
1182018
Lagrangian methods for approximating the viability kernel in high-dimensional systems
JN Maidens, S Kaynama, IM Mitchell, MMK Oishi, GA Dumont
Automatica 49 (7), 2017-2029, 2013
1172013
Computing the viability kernel using maximal reachable sets
S Kaynama, J Maidens, M Oishi, IM Mitchell, GA Dumont
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
592012
Scalable safety-preserving robust control synthesis for continuous-time linear systems
S Kaynama, IM Mitchell, M Oishi, GA Dumont
IEEE Transactions on Automatic Control 60 (11), 3065-3070, 2015
302015
Safety preserving control synthesis for sampled data systems
IM Mitchell, S Kaynama, M Chen, M Oishi
Nonlinear Analysis: Hybrid Systems 10, 63-82, 2013
282013
Sampling-based approximation of the viability kernel for high-dimensional linear sampled-data systems
JH Gillula, S Kaynama, CJ Tomlin
Proceedings of the 17th international conference on Hybrid systems …, 2014
192014
A practical reachability-based collision avoidance algorithm for sampled-data systems: Application to ground robots
C Dabadie, S Kaynama, CJ Tomlin
2014 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2014
172014
The continual reachability set and its computation using maximal reachability techniques
S Kaynama, M Oishi, IM Mitchell, GA Dumont
2011 50th IEEE Conference on Decision and Control and European Control …, 2011
162011
Schur-based decomposition for reachability analysis of linear time-invariant systems
S Kaynama, M Oishi
Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held …, 2009
142009
Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems
S Kaynama, M Oishi
International Journal of Control 84 (1), 165-179, 2011
122011
An improved algorithm for robust safety analysis of sampled data systems
IM Mitchell, S Kaynama
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
112015
A modified Riccati transformation for decentralized computation of the viability kernel under LTI dynamics
S Kaynama, M Oishi
IEEE Transactions on Automatic Control 58 (11), 2878-2892, 2013
112013
Scalable techniques for the computation of viable and reachable sets: Safety guarantees for high-dimensional linear time-invariant systems
S Kaynama
University of British Columbia, 2012
92012
Overapproximating the reachable sets of lti systems through a similarity transformation
S Kaynama, M Oishi
Proceedings of the 2010 American Control Conference, 1874-1879, 2010
72010
Benchmark: Flight envelope protection in autonomous quadrotors
S Kaynama, C Tomlin
Workshop on Applied Verification for Continuous and Hybrid Systems, 2014
42014
Safety-preserving control of high-dimensional continuous-time uncertain linear systems
S Kaynama, IM Mitchell, MMK Oishi, GA Dumont
Poster Presented at Hybrid Systems Computation and Control, A Part of Cyber …, 2013
32013
A convex formulation of controller synthesis for piecewise-affine slab systems based on invariant sets
S Kaynama, B Samadi, L Rodrigues
2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 7738-7743, 2012
32012
Fixed-complexity piecewise ellipsoidal representation of the continual reachability set based on ellipsoidal techniques
S Kaynama, M Oishi, IM Mitchell, GA Dumont
2012 American Control Conference (ACC), 2425-2430, 2012
32012
A suboptimal discrete-time predictive current controller for a voltage-source inverter
S Kaynama, O Kükrer
2010 IEEE International Conference on Control Applications, 632-639, 2010
22010
The system can't perform the operation now. Try again later.
Articles 1–20