This directory contains codes that were used for examples appearing in:

Ian M. Mitchell & Jeremy A. Templeton, "A Toolbox of Hamilton-Jacobi
Solvers for Analysis of Nondeterministic Continuous and Hybrid
Systems," in Hybrid Systems Computation and Control, Zurich,
Switzerland (March 2005).


Three examples were presented in that paper.

1) Cost to go for a double integrator (section 3).  This example is
   included in the base download of the Toolbox and is described in
   the examples section of the documentation under the heading
   "Examples of Cost to Go and Time to Reach Stationary HJ Equations,
   Time to Reach for a Double Integrator."  The routine used for this
   example can be found in the toolbox download
   <Examples/TimeToReach/doubleIntegratorTTR>.  Consequently, we do
   not include it here.

2) Expected terminal cost for a stochastically perturbed double
   integrator (section 4).  Routines for this example are included in
   this download in the directory <SDE>.

3) Transmission rate mean and standard deviation for a stochastic
   hybrid system model of the Transmission Control Protocol (TCP) that
   handles delivery of packets through the internet (section 5).
   Routines for this example are included in this download in the
   directory <CommunicationTCP>.


These examples require version 1.1 of the Toolbox of Level Set Methods
by Ian Mitchell, which can be downloaded from

	 http://www.cs.ubc.ca/~mitchell/ToolboxLS


These examples require the presence of an <addPathToKernel> script
file in the directory above the one in which this README exists.
Normally this script can be a copy of the script
<Examples/addPathToKernel> from the toolbox download (after it has
been modified to point to your own Toolbox installation).


Questions or comments can be sent to mitchell@cs.ubc.ca

Ian Mitchell
University of British Columbia
22 December 2004
