Subanalytic stratifications and bisimulations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1386, Issue , 1998, Pages 205-220

  Lafferriere, Gerardo ^a   Pappas, George J ^b   Sastry, Shankar ^b  

^a PORTLAND STATE UNIVERSITY   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84956855264     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-64358-3_41     Document Type: Conference Paper

References (16)

1. R. Alur and D.L. Dill, A theory of timed automata, Theoretical Computer Science 126 (1994), 183-235.
2. R. Alur, T.A. Henzinger, and E.D. Sontag (eds.), Hybrid systems III, Springer- Verlag, 1996.
3. P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry (eds.), Hybrid systems II, Springer-Verlag, 1995.
4. P Antsaklis, W. Kohn, A. Nerode, and S. Sastry (eds.), Hybrid systems IV, Springer-Verlag, 1997.
5. Edward Bierstone and Pierre D. Milman, Semianalytic and subanalytic sets, Inst. Hautes Études Sci. Publ. Math. (1988), no. 67, 5-42.
6. William M. Boothby, An introduction to differentiable manifolds and riemannian geometry, Academic Press, 1975.
7. P. Caines and Y.J. Wei, The hierarchical lattices o] a finite state machine, Systems and Control Letters 25 (1995), 257-263.
8. Karlis Cerans and Juris Viksna, Deciding reachability for planar multi-polunomial systems, Hybrid Systems III (Berlin, Germany) (R. Alur, T. Henzinger, and E.D. Sontag, eds.), Lecture Notes in Computer Science, vol. 1066, Springer Verlag, Berlin, Germany, 1996, pp. 389-400.
9. J.A. Dieudormé, Foundations of modern analysis, Academic Press, 1969.
10. R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel (eds.), Hybrid systems, Springer-Verlag, 1993.
11. T.A. Henzinger, Hybrid automata with finite bisimulations, ICALP 95: Automata, Languages, and Programming (Z. Fülöp and F. Gócseg, eds.), Springer-Verlag, 1995, pp. 324-335.
12. H. Hironaka, Subanalytic sets, In Number Theory, Algebraic Geometry, and Commutative Algebra, in honor of Y. Atdzuld, Kinokuniya Publications, 1973, pp. 453-493.
13. O. Maler (ed.), Hybrid and real-time systems, Springer-Vertag, 1997.
14. George J. Pappas and Shankar Sastry, Towards continuous abstractions of dynamical and control systems, Hybrid Systems IV (Berlin, Germany) (P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, eds.), Lecture Notes in Computer Science, vol. 1273, Springer Verlag, Berlin, Germany, 1997, pp. 329-341.
15. Héctor J. Sussmann, Subanalytic sets and feedback control, Journal of Differential Equations 31 (1979), no. 1, 31-52.
16. Héctor J, Real-analytic desingularization and subanalytic sets: An elementary approach, Transactions of the American Mathematical Society 317 (1990), no. 2, 417-461