O-minimal hybrid systems

Mathematics of Control, Signals, and Systems

Volumn 13, Issue 1, 2000, Pages 1-21

  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

DECISION THEORY; MATHEMATICAL MODELS; OPTIMIZATION;

COMPLEX CONTINUOUS DYNAMICS; HYBRID SYSTEMS;

CONTROL THEORY;

EID: 0033906082     PISSN: 09324194     EISSN: None     Source Type: Journal    
DOI: 10.1007/PL00009858     Document Type: Article

References (35)

1. R. Alur, C. Coucoubetis, N. Halbwachs, T. A. Henzinger, P. H. Ho, X. Nicolin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
2. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
3. R. Alur, T. A. Henzinger, and E. D. Sontag, editors. Hybrid Systems III, volume 1066 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1996.
4. P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors. Hybrid Systems II, volume 999 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1995.
5. P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors. Hybrid Systems IV, volume 1273 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1997.
6. P. J. Antsaklis, J. A. Stiver, and M. Lemmon. Hybrid system modeling and autonomous control systems. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, volume 736 of Lecture Notes in Computer Science, pages 366-392. Springer-Verlag, Berlin, 1993.
7. E. Bierstone and P. D. Milman. Semianalytic and subanalytic sets. Institut des Hautes Études Scientifiques. Publications Mathématiques., 67:5-42, 1988.
8. P. E. Caines and Y. J. Wei. The hierarchical lattices of a finite state machine. Systems and Control Letters, 25:257-263, 1995.
9. P. E. Caines and Y. J. Wei. Hierarchical hybrid control systems: a lattice theoretic formulation. IEEE Transactions on Automatic Control (special issue on Hybrid Systems), 43(4):501-508, April 1998.
10. K. Cerans and J. Viksna. Deciding reachability for planar multi-polynomial systems. In R. Alur, T. Henzinger, and E. D. Sontag, editors. Hybrid Systems III, volume 1066 of Lecture Notes in Computer Science, pages 389-400. Springer-Verlag, Berlin, 1996.
11. J. E. R. Cury, B. H. Krogh, and T. Niinomi. Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Transactions on Automatic Control (special issue on Hybrid Systems), 43(4):564-568, April 1998.
12. R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors. Hybrid Systems, volume 736 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1993.
13. T. A. Henzinger. Hybrid automata with finite bisimulations. In Z. Fülöp and F. Gécseg, editors, ICALP 95: Automata, Languages, and Programming, pages 324-335. Springer-Verlag, Berlin, 1995.
14. T. A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya. What's decidable about hybrid automata? In Proceedings of the 27th Annual Symposium on Theory of Computing, pages 373-382. ACM Press, New York, 1995.
15. T. Henzinger and S. Sastry, editors. Hybrid Systems: Computation and Control, volume 1386 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1998.
16. W. Hodges. A Shorter Model Theory. Cambridge University Press, Cambridge, 1997.
17. J. F. Knight, A. Pillay, and C. Steinhorn. Definable sets in ordered structures, II. Transactions of the American Mathematical Society, 295(2):593-605, 1986.
18. G. Lafferriere, G. J. Pappas, and S. Sastry. Hybrid systems with finite bisimulations. In P. Antsaklis, W. Kohn, M. Lemmon. A. Nerode, and S. Sastry, editors. Hybrid Systems V, volume 1567 of Lecture Notes in Computer Science, pages 186-203, Springer-Verlag, Berlin, 1998.
19. G. Lafferriere, G. J. Pappas, and S. Sastry. Subanalytic stratifications and bisimulations. In T. Henzinger and S. Sastry, editors, Hybrid Systems: Computation and Control, volume 1386 of Lecture Notes in Computer Science, pages 205-220. Springer-Verlag, Berlin, 1998.
20. G. Lafferriere, G. J. Pappas, and S. Yovine. A new class of decidable hybrid systems. In Hybrid Systems: Computation and Control, volume 1569 of Lecture Notes in Computer Science, pages 137-151. Springer-Verlag, Berlin, 1999.
21. A. Macintyre and A. J. Wilkie. On the decidability of the real exponential field. In Kreiseliana: About and Around Georg Kreisel, pages 441-467, A. K. Peters, Bostan, MA, 1996.
22. O. Maler, editor. Hybrid and Real-Time Systems, volume 1201 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1997.
23. D. Marker. Model theory and exponentiation. Notices of the American Mathematical Society, 43(7):753-759, 1996.
24. G. J. Pappas, G. Lafferriere, and S. Sastry. Hierarchically consistent control systems. In Proceedings of the 37th IEEE Conference in Decision and Control, pages 4336-4341. Tampa, FL, December 1998.
25. A. Pillay and C. Steinhorn. Definable sets in ordered structures, I. Transactions of the American Mathematical Society, 295(2):565-592, 1986.
26. A. Puri and P. Varaiya. Decidability of hybrid systems with rectangular differential inclusions. In D. L. Dill, editor, Computer Aided Verification, volume 818 of Lecture Notes in Computer Science, pages 95-104. Springer-Verlag, Berlin, 1994.
27. J. Raisch and S. D. O'Young. Discrete approximations and supervisory control of continuous systems. IEEE Transactions on Automatic Control (special issue on Hybrid Systems). 43(4):569-573, April 1998.
28. E. Sontag. Critical points for least-squares problems involving certain analytic functions, with applications to sigmoidal nets. Advances in Computational Mathematics, 5(2-3):245-268, 1996.
29. P. Speissegger. The Pfaffian closure of an o-minimal structure. Journal für die Reine and Angewandte Mathematik. 508:189-211, 1999.
30. A. Tarski. A Decision Method for Elementary Algebra and Geometry, second edition. University of California Press, Berkeley, CA, 1951.
31. D. van Dalen. Logic and Structure, third edition. Springer-Verlag, Berlin, 1994.
32. L. van den Dries. Tame Topology and O-Minimal Structures. Cambridge University Press, Cambridge, 1998.
33. L. van den Dries and C. Miller. On the real exponential field with restricted analytic functions. Israel Journal of Mathematics, 85:19-56, 1994.
34. L. van den Dries and C. Miller. Geometric categories and o-minimal structures. Duke Mathematical Journal. 84(2):497-540, 1996.
35. A. J. Wilkie. Model completeness results for expansions of the ordered field of real numbers by restricted pfaffian functions and the exponential function. Journal of the American Mathematical Society. 9(4): 1051-1094, Oct 1996.