R. Alur, C. Courcoubetis, T. Henzinger, Pei-Hsin Ho, Hybrid Automata: An Algorithmic Approach to the Specification and verification of hybrid Systems, Workshop on Hybrid Systems, Denmark, October 1992.
P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, eds., Hybrid Systems II, Lecture Notes in Computer Science vol. 999, Springer-Verlag, (1995).
K.R. Apt and E-R. Olderog, Verification of Sequential and Concurrent Programs, Springer-Verlag, 1991.
J. P. Aubin, Differential Inclusions, Set Valued Maps, and Viability, Springer Verlag, 1984.
J. P. Aubin, Set Valued Analysis, Birkhauser, 1990.
J. P. Aubin, Viability Theory, Birkhauser, 1991.
J-P.Aubin and I. Ekeland, Applied Nonlinear Analysis, Wiley-Interscience, 1984.
L.D. Berkovitz, Thirty Years of Differential Games, in Emilio O. Roxin (editor), Modern Optimal Control, Marcel Dekker, Inc., 1989.
Robert S. Boyer, Milton W. Green, J. Strother Moore, The Use of a Formal Simulator to Verify a Simple Real Time Control Program,Technical Report No. ICSCACMP-29, Software Systems Science, National Science Foundation, Washington, D.C. 20550, July, 1982. DTIC Selected Sept. 16 1983.
J. R. Büchi, The Collected Works of J. Richard Büchi (S. MacLane,. Sietkes, eds.), Springer-Verlag, 1990. 1990.
K. M. Chandy and J. Misra, An Introduction to Parallel Program Design, Addison Wesley, 1988.
A. F. Filippov, Differential Equations with Discontinuous Right Hand Side, Kluwer Academic Publishers, 1988.
A. Friedman, Differential Games, Wiley-Interscience, 1971.
X. Ge, W. Kohn, A. Nerode, and J.B. Remmel, “Algorithms for Chattering Approximations to Relaxed Optimal Control. MSI Tech. Report 95-1, Cornell University. (1995)
X. Ge, W. Kohn, A. Nerode, and J.B. Remmel, “Feedback Derivations: Near Optimal Controls for Hybrid Systems”, Hybrid Systems III, Lecture Notes in Computer Science 1036, Springer-Verlag, (1995), 76–100.
R. Grossman, A. Nerode, H. Rischel, A. Ravn, eds., Hybrid Systems, Springer Lecture Notes in Computer Science 736, (1993).
Y.Gurevich and L. Harrington, Trees, Automata and Games, Proc. of the 14th Ann. ACM Symp. on Theory of Comp., pp. 60–65, 1982.
O. Hajek,Pursuit Games
, Mathematics in Science and Engineering, vol. 120, Academic Press, New York, 1975.Google Scholar
J. Hilgert, K. H. Hofmann, and J. Lawson, Lie Groups, Convex Cones, and Semigroups, Oxford Clarendon Press, 1988.
R. Isaacs,Differential Games, SIAM Series in Applied Mathematics, John Wiley and Sons, Inc., 1965.
W. Kohn, Hierarchical Control Systems for Autonomous Space Robots, Proc. AIAA, 1988.
W. Kohn and A. Nerode, An Autonomous Control Theory: An Overview, Proc. IEEE CACSD92, Napa Valley, March, 1992.
W. Kohn and A. Nerode, Multiple Agent Autonomous Control Systems, Proc. 31st IEEE CDC Tucson, Ar., 2956–2966, 1993.
W. Kohn and A. Nerode, Models for Hybrid Systems: Automata, Topologies, Controllability, Observability, in , 1993.
W. Kohn and A. Nerode, Multiple Agent Autonomous Control, A Hybrid Systems Architecture, to appear in Logical Methods: A Symposium in honor of Anil Nerode's 60th birthday, Birkhauser, 1993.
W. Kohn, A. Nerode, and J.B. Remmel, “Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections”, In , (1995), 294–321
Kohn, W., Nerode, A. and Remmel, J.B., “Continualization: A Hybrid Systems Control Technique for Computing”, Proceedings of CESA'96, (1996), 507–511.
Kohn, W., Nerode, A. and Remmel, J.B., “Feedback Derivations: Near Optimal Controls for Hybrid Systems”, Proceedings of CESA'96, (1996), 517–521.
N.N. Krasovskii and A.I. Subbotin, Game-Theoretical Control Problems, Springer Verlag, 1988.
Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1992.
E. B. Lee and L. Marcus. Foundations of optimal control theory, John Wiley & Sons, 1967.
K. Marzullo, F. Schneider, N. Budhiraja, Derivation of Sequential, Real-Time, Process-Control Programs, Technical Report 91-1217, Department of Computer Science, Cornell University, Ithaca, NY 14853-7501.
R. McNaughton, Infinite Games Played on Finite Graphs, Annals of Pure and Appl. Logic, 65 (1993), 149–184.Google Scholar
A. Nerode and J.B. Remmel, A Model for Hybrid Systems, Hybrid System Workshop Notes, MSI, Cornell University, Ithaca, NY, June 1990.Google Scholar
A. Nerode, J.B. Remmel and A. Yakhnis, “McNaughton Games and Extracting Strategies for Concurrent Programs”, to appear Annals of Pure and Applied Logic.
A. Nerode, A. Yakhnis, Modelling Hybrid Systems as Games, Proceedings of the Conference on Decision and Control, pp.2947–2952, 1992.
A. Nerode, A. Yakhnis, Hybrid Games and Hybrid Systems, Technical Report No. 93–77, October 1993, Mathematical Sciences Institute, Cornell University, 409 College Ave., Ithaca, NY 14850.Google Scholar
A. Nerode, A. Yakhnis, V. Yakhnis, Concurrent Programs as Strategies in Games, in Logic from Computer Science, (Y. Moschovakis, ed.), Springer-Verlag, 1992.
A. Nerode, A. Yakhnis, V. Yakhnis, Distributed Programs as Strategies in Games, in a volume honoring Anil Nerode 60th birthday, Birkheuser, 1994.
L.S. Pontryagin, On the Theory of Differential Games, Russian Mathematical Surveys 21 (No.4), pp. 193–246, 1966.
J. Slotine and W. Li, Applied Nonlinear Control, Prentice-Hall 1991.
E. D. Sontag, Mathematical Control Theory, Springer-Verlag, 1990.
V. I. Utkin, Sliding Modes in Control Optimization, Springer-Verlag, 1992.
J. Warga, Optimal Control of Differential and Functional Equations, Academic Press, 1972.
J. Waaga, Some Selected Problems of Optimal Control, in Emilio O. Roxin (ed.), Modern Optimal Control, Marcel Dekker, Inc., 1989.
A. Yakhnis, Game-Theoretic Semantics for Concurrent Programs and Their Specifications, Ph. D. Diss., Cornell University, 1990.
A. Yakhnis, Hybrid Games, Technical Report 92–38, Mathematical Sciences Institute, Cornell University, October 1992.
A. Yakhnis, V. Yakhnis, Extension of Gurevich-Harrington's Restricted Memory Determinacy Theorem, Ann. Pure and App. Logic 48, 277–297, 1990.Google Scholar
A. Yakhnis, V. Yakhnis, Gurevich-Harrington's games defined by finite automata, Ann. Pure and App. Logic 62, 265–294, 1993.Google Scholar