Ian M. Mitchell

Publications by Year

Research Areas

Advanced Control Systems Optimization, Formal Methods in Verification, Fault Detection and Control Systems, Robotic Path Planning Algorithms, Assistive Technology in Communication and Mobility

Most-Cited Works

• → A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games(2005)1,134 cited
• → A Hybrid Particle Level Set Method for Improved Interface Capturing(2002)1,067 cited
• → Best Practices for Scientific Computing(2014)704 cited
• → Computational techniques for the verification of hybrid systems(2003)346 cited
• → The Flexible, Extensible and Efficient Toolbox of Level Set Methods(2007)252 cited
• → Level Set Methods for Computation in Hybrid Systems(2000)231 cited
• A Toolbox of Level Set Methods(2005)