This directory contains codes that were used for the TCP example
appearing in section 5 of:

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 2005.


The following routines are included in this directory:

1) kolmogorovTCP: The main routine that uses the Toolbox to solve the
   vector HJ PDE for the stochastic hybrid system model of TCP window
   size to convergence.

2) figureRates: A script file that calls kolmogorovTCP repeatedly with
   different parameters to generate figure 4 for the paper.

3) addGhostMixedDirichletExtrapolate: A specialized boundary condition
   routine for this example.

4) ratesAll.mat: The data set collected by figureRates and used to
   generate figure 4 from the paper.  It took approximately 24 hours
   to collect this data on a 1.7 GHz Pentium M with lots of memory
   running Matlab 6.5, Windows XP.

5) simulateSeparate: A routine that simulates individual traces of the
   stochastic hybrid system model.  Used for Monte Carlo validation of
   the HJ PDE results.


Ian Mitchell, 12/22/04.
