| 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 | 551 | 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 | 347 | 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 | 170 | 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 |
| 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 | 19 | 2013 |
| 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 | 19 | 2011 |
| 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 | 19 | 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 | 9 | 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 |
Ian M. MitchellDepartment of Computer Science, The University of British Columbia在 cs.ubc.ca 的电子邮件经过验证
