| A hybrid particle level set method for improved interface capturing D Enright, R Fedkiw, J Ferziger, I Mitchell Journal of Computational physics 183 (1), 83-116, 2002 | 1525 | 2002 |
| A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games IM Mitchell, AM Bayen, CJ Tomlin IEEE Transactions on automatic control 50 (7), 947-957, 2005 | 1240 | 2005 |
| Best practices for scientific computing G Wilson, DA Aruliah, CT Brown, NP Chue Hong, M Davis, RT Guy, ... PLoS biology 12 (1), e1001745, 2014 | 820 | 2014 |
| Computational techniques for the verification of hybrid systems CJ Tomlin, I Mitchell, AM Bayen, M Oishi Proceedings of the IEEE 91 (7), 986-1001, 2003 | 494 | 2003 |
| Level set methods for computation in hybrid systems I Mitchell, CJ Tomlin International workshop on hybrid systems: Computation and control, 310-323, 2000 | 332 | 2000 |
| A toolbox of level set methods IM Mitchell UBC Department of Computer Science Technical Report TR-2007-11 1, 6, 2007 | 316* | 2007 |
| The flexible, extensible and efficient toolbox of level set methods IM Mitchell Journal of Scientific Computing 35, 300-329, 2008 | 303 | 2008 |
| Comparing forward and backward reachability as tools for safety analysis IM Mitchell International Workshop on Hybrid Systems: Computation and Control, 428-443, 2007 | 212 | 2007 |
| Safety verification of conflict resolution manoeuvres C Tomlin, I Mitchell, R Ghosh IEEE Transactions on Intelligent Transportation Systems 2 (2), 110-120, 2001 | 205 | 2001 |
| Overapproximating reachable sets by Hamilton-Jacobi projections IM Mitchell, CJ Tomlin journal of Scientific Computing 19, 323-346, 2003 | 192 | 2003 |
| Application of level set methods to control and reachability problems in continuous and hybrid systems IM Mitchell stanford university, 2002 | 181 | 2002 |
| A toolbox of Hamilton-Jacobi solvers for analysis of nondeterministic continuous and hybrid systems IM Mitchell, JA Templeton International workshop on hybrid systems: computation and control, 480-494, 2005 | 171 | 2005 |
| 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 | 168 | 2013 |
| Reproducible research for scientific computing: Tools and strategies for changing the culture RJ LeVeque, IM Mitchell, V Stodden Computing in Science & Engineering 14 (04), 13-17, 2012 | 168 | 2012 |
| Reachability analysis using polygonal projections MR Greenstreet, I Mitchell Hybrid Systems: Computation and Control: Second International Workshop, HSCC …, 1999 | 158 | 1999 |
| Aircraft autolander safety analysis through optimal control-based reach set computation AM Bayen, IM Mitchell, MMK Oishi, CJ Tomlin Journal of guidance, control, and dynamics 30 (1), 68-77, 2007 | 146 | 2007 |
| Validating a Hamilton-Jacobi approximation to hybrid system reachable sets I Mitchell, AM Bayen, CJ Tomlin International workshop on hybrid systems: Computation and control, 418-432, 2001 | 134 | 2001 |
| Integrating projections MR Greenstreet, I Mitchell International Workshop on Hybrid Systems: Computation and Control, 159-174, 1998 | 91 | 1998 |
| Autonomous mobile robot navigation in uneven and unstructured indoor environments C Wang, L Meng, S She, IM Mitchell, T Li, F Tung, W Wan, MQH Meng, ... 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017 | 89 | 2017 |
| 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 | 82 | 2012 |
Alexandre BayenProfessor Electrical Engineering and Computer Science, UC Berkeley在 berkeley.edu 的电子邮件经过验证
