1.

KURZHANSKI, A. B., and VARAIYA, P.,

*Optimization Techniques for Reachability Analysis*, Journal of Optimization Theory and Applications, Vol. 108, pp. 227–251, 2001.

MathSciNetCrossRef2.

KURZHANSKI, A. B., and VARAIYA, P., *Reachability under State Constraints. The Ellipsoidal Technique*, Proceedings of the IFAC 2002 World Congress, Barcelona, Spain, Elsevier, Amsterdem, Holland, 2002.

3.

KURZHANSKI, A. B., and VARAIYA, P., *On Some Nonstandard Dynamic Programming Problems of Control Theory*, Variational Methods and Applications, Edited by F. Giannessi and A. Maugeri, Kluwer Academic Publishers, New York, NY, pp. 613–627, 2004.

4.

GUSEV, M. I., and KURZHANSKI, A. B., *Optimization of Controlled Systems with Bounds on the Controls and State Coordinates*, Differential Equations, Vol. 7, pp. 1591–1602, 1971, and Vol. 7, pp. 1789–1800, 1971.

5.

KRASOVSKII N. N., *Game-Theoretic Problems on the Encounter of Motions*, Nauka, Moscow, Russia, 1970 (in Russian). English Translation: *Rendezvous Game Problems*, National Technical Information Service, Springfield, Virginia, 1971.

6.

KURZHANSKI, A. B., *Control and Observation under Uncertainty*, Nauka, Moscow, Russia, 1977 (in Russian).

7.

KURZHANSKI, A. B., and OSIPOV, YU. S., *On Optimal Control under Restricted Coordinates*, PMM (Applied Mathematics and Mechanics), Vol. 33, pp. xxx–xxx, 1969.

8.

LEITMANN, G., *Optimality and Reachability via Feedback Controls*, Dynamic Systems and Microphysics, Edited by A. Blaquière and G. Leitmann, Academic Press, New York, NY, pp. 119–141, 1982.

9.

LYGEROS, J., *On the Relation of Reachability to Minimum-Cost Control*, Proceedings of the 41st IEEE Control and Decision Conference, Las Vegas, Nevade, 2002.

10.

KURZHANSKI, A. B., MITCHELL, I. M., and VARAIYA, P., *Control Synthesis for State Constrained and Obstacle Problems*, Proceedings of the IFAC Symposium NOLCOS-2004, Stuttgart, Germany, Elsevier, Amsterdam, Holland, 2004.

11.

FILIPPOV A. F., *Differential Equations with a Discontinuous Right-Hand Side*, Kluwer Academic Publishers, Dondrecht, Holland, 1988.

12.

AUBIN J. P.,

*Viability Theory*, Birkhauser, Boston, Massachusetts, 1991.

MATH13.

ROCKAFELLAR R. T.,

*Convex Analysis*, 2nd Edition, Princeton University Press, Princeton, New Jersey, 1999.

MATH14.

LYGEROS, J., TOMLIN, C., and SASTRY, S.,

*Controllers for Reachability Specifications for Hybrid Systems*, Automatica, Vol. 35, pp. 349–370, 1999.

MATHMathSciNetCrossRef15.

FLEMING, W. H., and SONER, H. M.,

*Controlled Markov Processes and Viscosity Solutions*, Springer Verlag, New York, NY, 1993.

MATH16.

CRANDALL, M. G., EVANS, L. C., and LIONS P. L.,

*Some Properties of Solutions of Hamilton-Jacobi Equations*, Transactions of the American Mathematical Society, Vol. 282, pp. 487–502, 1984.

MATHMathSciNetCrossRef17.

LIONS P. L., *Viscosity Solutions and Optimal Control*, Proceedings of the International Congress on industrial and Applied Mathematics, ICIAM 91, SIAM Publications, Philadelphia, Pennsylvania, pp. 182–195, 1992.

18.

SUBBOTIN, A. I., *Generalized Solutions of First-Order PDE's: The Dynamic Optimization Perspective*, Birkhauser, Boston, Massachusettss, 1995.

19.

BARDI, M., and CAPUZZO-DOLCETTA, I.,

*Optimal Control and Viscosity Solutions of Hamilton-Jacobi-Bellman Equations*, Birkhauser, Boston, Massachusetts, 1997.

MATH20.

SETHIAN, J. A.,

*Level Set Methods and Fast Marching Methods*, Cambridge University Press, Cambridge, UK, 1999.

MATH21.

OSHER, S., and FEDKIW, R., *Level Set Methods and Implicit Surfaces*, Springer Verlag, New York, NY, 2002.

22.

MITCHELL, I.,

*A Toolbox of Level Set Methods*, Technical Report TR-2004-09, Department of Computer Science, University of British Columbia, Vancouver, BC, Canada, 2004 (Available at

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

23.

VARAIYA P., *Reach Set Computation Using Optimal Control*, Proceedings of the KIT Workshop on Verification of Hybrid Systems, Verimag, Grenoble, France, 1998.

24.

ROCKAFELLAR, R. T., and WETS, R. J. B.,

*Variational Analysis*, Springer Verlag, New York, NY, 1998.

MATH25.

FAN, K., *Minimax Theorems*, Proceedings of the National Academy of Sciences of the USA, Vol. 31, pp. 42–47, 1953.

26.

DEMYANOV, V. F., and MALOZEMOV, X. X., *Introduction to the Minmax*, Halsted Press, New York, NY, 1974.

27.

BOYD, S., EL GHAOUI, L., FERON, E., and BALAKRISHNAN, V.,

*Linear Matrix Inequalities in System and Control Theory*, SIAM Publications, Philadelphia, Pennsylvania, 1994.

MATH28.

KURZHANSKI, A. B., MITCHELL, I. M., and VARAIYA, P.,

*Optimization Techniques for State-Constrained and Obstacle Problems*, Available at (

http://paleale.eecs.berkeley.edu/~varaiya/hybrid.html).