A Toolbox of Level Set Methods

This document describes Version 1.1 of the Toolbox of Level Set Methods, a software package for solving time-dependent Hamilton-Jacobi partial di erential equations (PDEs) in the Matlab programming environment. Level set methods are often used for simulation of dynamic implicit surfaces in graphics, uid and combustion simulation, image processing, and computer vision. Hamilton-Jacobi and related PDEs arise in elds such as control, robotics, di erential games, dynamic programming, mesh generation, stochastic di erential equations, nancial mathematics, and veri cation. The algorithms in the toolbox can be used in any number of dimensions, although computational cost and visualization di culty make dimensions four and higher a challenge. All source code for the toolbox is provided as plain text in theMatlab mle programming language. The toolbox is designed to allow quick and easy experimentation with level set methods, although it is not by itself a level set tutorial and so should be used in combination with the existing literature. This document supercedes the documentation for Version 1.0 of the Toolbox (UBC TR-2004-09).

[1]  P. Kloeden,et al.  Numerical Solution of Stochastic Differential Equations , 1992 .

[2]  S. Osher,et al.  Algorithms Based on Hamilton-Jacobi Formulations , 1988 .

[3]  S. Osher,et al.  Efficient implementation of essentially non-oscillatory shock-capturing schemes,II , 1989 .

[4]  D. Chopp.  Computing Minimal Surfaces via Level Set Curvature Flow , 1993 .

[5]  S. Osher.  A level set formulation for the solution of the Dirichlet problem for Hamilton-Jacobi equations , 1993 .

[6]  M. Bardi,et al.  Optimal Control and Viscosity Solutions of Hamilton-Jacobi-Bellman Equations , 1997 .

[7]  James A. Sethian,et al.  Level Set Methods and Fast Marching Methods , 1999 .

[8]  P. Smereka,et al.  A Remark on Computing Distance Functions , 2000 .

[9]  Ian M. Mitchell,et al.  Level Set Methods for Computation in Hybrid Systems , 2000, HSCC.

[10]  J. Lygeros,et al.  A game theoretic approach to controller design for hybrid systems , 2000, Proceedings of the IEEE.

[11]  P. Smereka.  Spiral crystal growth , 2000 .

[12]  Steven J. Ruuth,et al.  A New Class of Optimal High-Order Strong-Stability-Preserving Time Discretization Methods , 2002, SIAM J. Numer. Anal..

[13]  Alexander Vladimirsky,et al.  Ordered Upwind Methods for Static Hamilton-Jacobi Equations: Theory and Algorithms , 2003, SIAM J. Numer. Anal..

[14]  Alexandre M. Bayen,et al.  Computational techniques for the verification of hybrid systems , 2003, Proc. IEEE.

[15]  Adam M. Oberman.  A convergent monotone difference scheme for motion of level sets by mean curvature , 2004, Numerische Mathematik.

[16]  Ian M. Mitchell,et al.  A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems , 2005, HSCC.

[17]  Wang Hai-bing,et al.  High-order essentially non-oscillatory schemes for Hamilton-Jacobi equations , 2006 .