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 | 593 | 2018 |
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 | 358 | 2014 |
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 | 171 | 2013 |
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 | 79 | 2012 |
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 | 42 | 2015 |
Safety preserving control synthesis for sampled data systems IM Mitchell, S Kaynama, M Chen, M Oishi Nonlinear Analysis: Hybrid Systems 10, 63-82, 2013 | 34 | 2013 |
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 | 29 | 2014 |
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 | 25 | 2014 |
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 | 21 | 2011 |
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 | 21 | 2011 |
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 | 20 | 2013 |
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 | 20 | 2009 |
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 | 11 | 2015 |
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 | 10 | 2012 |
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 | 10 | 2010 |
Benchmark: Flight envelope protection in autonomous quadrotors S Kaynama, CJ Tomlin Workshop on Applied Verification for Continuous and Hybrid Systems, 2014 | 7 | 2014 |
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 | 5 | 2012 |
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 | 3 | 2013 |
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 | 3 | 2012 |
Convex Formulation of Controller Synthesis for Piecewise-Affine Systems S Kaynama Concordia University, 2012 | 2 | 2012 |