Follow
Ian M. Mitchell
Ian M. Mitchell
Department of Computer Science, The University of British Columbia
Verified email at cs.ubc.ca - Homepage
Title
Cited by
Cited by
Year
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
15232002
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
12382005
Best practices for scientific computing
G Wilson, DA Aruliah, CT Brown, NP Chue Hong, M Davis, RT Guy, ...
PLoS biology 12 (1), e1001745, 2014
8192014
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
4942003
Level set methods for computation in hybrid systems
I Mitchell, CJ Tomlin
International workshop on hybrid systems: Computation and control, 310-323, 2000
3322000
A toolbox of level set methods
IM Mitchell
UBC Department of Computer Science Technical Report TR-2007-11 1, 6, 2007
315*2007
The flexible, extensible and efficient toolbox of level set methods
IM Mitchell
Journal of Scientific Computing 35, 300-329, 2008
3022008
Comparing forward and backward reachability as tools for safety analysis
IM Mitchell
International Workshop on Hybrid Systems: Computation and Control, 428-443, 2007
2102007
Safety verification of conflict resolution manoeuvres
C Tomlin, I Mitchell, R Ghosh
IEEE Transactions on Intelligent Transportation Systems 2 (2), 110-120, 2001
2052001
Overapproximating reachable sets by Hamilton-Jacobi projections
IM Mitchell, CJ Tomlin
journal of Scientific Computing 19, 323-346, 2003
1912003
Application of level set methods to control and reachability problems in continuous and hybrid systems
IM Mitchell
stanford university, 2002
1812002
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
1712005
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
1682013
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
1682012
Reachability analysis using polygonal projections
MR Greenstreet, I Mitchell
Hybrid Systems: Computation and Control: Second International Workshop, HSCC …, 1999
1581999
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
1462007
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
1342001
Integrating projections
MR Greenstreet, I Mitchell
International Workshop on Hybrid Systems: Computation and Control, 159-174, 1998
911998
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
892017
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
822012
The system can't perform the operation now. Try again later.
Articles 1–20