1:
2: \begin{thebibliography}{99}
3:
4:
5: \bibitem{Alur95} R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger,
6: P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis and S. Yovine,
7: ``The algorithmic analysis of hybrid systems'',
8: {\em Theoretical Computer Science}, Vol 138, pp. 3-35, 1995.
9:
10:
11: \bibitem{Kesten-JIC99} Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine,
12: ``Decidable Integration Graphs'', Information and Computation, Vol. 150,
13: No. 2, p. 209 - 243, 1999.
14:
15:
16:
17:
18: \bibitem {Laff99a} G. Lafferriere, G. J. Pappas and S. Yovine,
19: ``A New Class of Decidable Hybrid Systems'',
20: {\em Lecture Notes in Computer Science}, Vol. 1569, pp. 137-151, 1999.
21:
22: \bibitem {Laff99b} G. Lafferriere, G. J. Pappas and S. Yovine,
23: ``Reachability Computation of Linear Hybrid Systems''
24: {\em Proc. 14th IFAC World Congress}, Vol. E, pp. 7-12, Beijing,
25: PRC, July 1999.
26:
27:
28: \bibitem{Henzinger-IEEE-AC98} T. A. Henzinger, P.-H. Ho, and H. Wong-Toi,
29: ``Algorithmic analysis of nonlinear hybrid systems'',
30: {\em IEEE Trans. Automatic Control}, Vol. 43, pp. 540-554, 1998.
31:
32: \bibitem{Pappas-IEEE-CDC00} O. George J. Pappas, S. Sastry,
33: ``Semidecidable Controller Synthesis for Classes of Linear Hybrid Systems'',
34: Proc. 39th IEEE Conf. on Decision and Control, Sydney, Australia,
35: Dec. 2000
36:
37: \bibitem{ABDM-IEEE00} E. Asarin, O. Bournez, T. Dang, O. Maler, A. Pnueli,
38: ``Effective Synthesis of Switching Controllers for Linear Systems'',
39: {\em Proceedings of the IEEE}, Vol. 88, No. 7, pp. 1011-1025, 2000.
40:
41:
42: \bibitem{DM98} T. Dang and O. Maler, ``Reachability analysis via
43: face lifting'', T. A. Henzinger and S. Sastry (Eds.)
44: {\em Hybrid Systems: Computation and Control}, LNCS 1386, pp. 96-109,
45: Springer Verlag, New York, 1998.
46:
47: \bibitem{LTS} C. Tomlin, J. Lygeros, and S. Sastry,
48: ``Synthesizing controllers for nonlinear hybrid systems'', in
49: {\em Hybrid Systems: Computation and Control}, LNCS 1386, pp. 360--373,
50: Springer Verlag, New York, 1998.
51:
52: \bibitem{V98} P. Varaiya, ``Reach set computation using optimal control'',
53: {\em Proc. KIT Workshop}, Verimag, Grenoble, 1998.
54:
55:
56: \bibitem{KV00} A. B. Kurzhanski and P. Varaiya,
57: ``Ellipsoidal techniques for reachability analysis:
58: internal approximation'', {\em Systems \& Control Letters},
59: Vol. 41, No. 3, Oct. 2000.
60:
61:
62: \bibitem{ABDM00} E. Asarin, O. Bournez, T. Dang, and O. Maler,
63: ``Approximate reachability analysis of piece-wise linear dynamical systems'',
64: in {\em Hybrid Systems: Computation and Control}, March 2000, Pittsburgh, USA.
65:
66:
67: % \bibitem {Laff00} G. Lafferriere, G. J. Pappas and Shankar Sastry
68: % ``O-minimal Hybrid Systems'', {\em Mathematics of Control, Signals,
69: % and Systems}, to appear.
70:
71:
72: \bibitem{STACS95} O. Maler, A. Pnueli and J. Safakis, ``On the
73: Synthesis of Discrete Controllers for Timed Systems (An Extended
74: Abstract)'', {\em Proc. STACS '95}, LNCS 900, pp. 229-242, Springer, 1995.
75:
76: \bibitem{Henzinger-ICALP95} T. A. Henzinger, ``Hybrid automata with
77: finite bisimulations'', {\em Proc. ICALP '95}, LNCS 944, pp. 324-33
78: Springer-Verlag, 1995.
79:
80: \bibitem{PappasPhDThesis} G. J. Pappas, ``Hybrid Systems:
81: Computation and Abstraction'', Ph.D. Thesis, Electrical Engineering
82: and Computer Sciences, {\em University of California at Berkeley}.
83:
84:
85:
86: % \bibitem {Puri&Variya} A. Puri and P. Varaiya,
87: % ``Decidability of hybrid systems with
88: % rectangular differential inclusions'',
89: % in {\em Computer-Aided Verification},
90: % LNCS 818, pp. 95-104, Springer Verlag, 1994.
91:
92:
93:
94:
95:
96: % T. Henzinger and S. Sastry, Eds.,
97: % D. L. Dill, Ed.,
98: %
99: % \bibitem{Hybrid97} D. Kapur and R.K. Shyamasundar,
100: % ``Synthesizing Controllers for Hybrid Systems'',
101: % {\em International Workshop on Hybrid and Real-Time Systems, HART '97},
102: % Grenoble, France.
103: %
104:
105:
106:
107: \bibitem{Hubbard&West} J. H. Hubbard and B. H. West,
108: ``Differential equations: a dynamical systems approach'',
109: Springer-Verlag, New York, 1995.
110:
111:
112: \bibitem{Hirsch&Smale} M. W. Hirsch and S. Smale,
113: ``Differential Equations, Dynamical Systems and Linear Algebra'',
114: Academic Press, New York, 1974.
115:
116:
117:
118: \bibitem{Rock70} R. T. Rockafellar, ``Convex Analysis'',
119: {\em Princeton University Press}, Princeton, New Jersey, 1970.
120:
121:
122:
123:
124:
125:
126: %
127: % \bibitem{InstructionMaterial} K. H. Johansson,
128: % Course material of E291E: Hybrid Systems, Spring 2000,
129: % http://robotics.eecs.berkeley.edu/\verb1~1johans/ee291e.html
130: %
131:
132:
133:
134: \bibitem{Hodges} W. Hodges, ``A Shorter Model Theory'',
135: {\em Cambridge University Press}, 1997.
136:
137: \bibitem{Marker} D. Marker, ``Model Theory and Exponentiation'',
138: {\em Notices of AMS}, Vol. 43, No. 7, pp. 753-759, 1996.
139:
140: \bibitem{vanDalen} D. van Dalen, ``Logic and Structure'',
141: {\em Springer-Verlag}, Third Edition, 1994.
142:
143: \bibitem{Tarski51} A. Tarski, ``A Decision Method for Elementary Algebra
144: and Geometry'', {\em University of California Press}, Second Edition, 1951.
145:
146: \bibitem{vanDenDries} L. van Den Dries, ``Remarks on Tarski's problem
147: concerning $(\reals, +, \cdot, exp)$'', in G. Lolli, G. Longo and
148: A. Marcja, editors, {\em Logic Colloquium '82}, pp. 97-121,
149: Elsevier Science Publishers B.V., 1984.
150:
151: \end{thebibliography}
152:
153:
154:
155:
156:
157:
158:
159: