Topological semantics for hybrid systems

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

Volumn 1234, Issue , 1997, Pages 1-8

  Artemov, Sergei ^a   Davoren, Jennifer ^a   Nerode, Anil ^a  

^a Cornell University ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS; SEMANTICS;

CORRECTNESS PROOFS; OBSERVATIONAL EQUIVALENCES; ON STATE; PHYSICAL SYSTEMS; SMALL VARIATIONS; TOPOLOGICAL SEMANTICS;

TOPOLOGY;

EID: 84947942064     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63045-7_1     Document Type: Conference Paper

References (23)

1. Raymond Balbes and Philip Dwinger, Distributive Lattices (University of Missouri Press, Columbia, 1974).
2. Michael Branicky, "Topology of Hybrid Systems," Proceedings of the 32nd IEEE Conference on Decision and Control (IEEE Computer Society Press, Los Alamitos, 1993), Vol. 3, 2309-2314.
3. Dirk van Dalen, "Intuitionistic Logic," in D. Gabbbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Volume III: Alternatives to Classical Logic (D. Reidel, Dordrecht, 1986), 225-339.
4. Michael Dummett, Elements of Intuitionism (Clarendon Press, Oxford, 1977).
5. Michael P. Fourman and Dana S. Scott, "Sheaves and Logic," in M. P. Fourman, C. J. Mulvey and D. S. Scott (eds.), Applications of Sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis, Durham, England, July 9-21, 1977; Springer Lecture Notes in Mathematics 753 (Springer-Verlag, Berlin 1979), 302-401.
6. Xiaolin Ge, Wolf Kohn, Anil Nerode, and Jeffrey B. Remmel, "Hybrid Systems: Chattering Approximations to Relaxed Controls," in R. Alur, T. A. Henzinger, E. D. Sontag (eds.), Hybrid Systems III, Lecture Notes in Computer Science 1066 (Springer-Verlag, Berlin, 1996), 76-100.
7. Wolf Kohn, John James and Anil Nerode, "The Declarative Approach to the Design of Robust Control Systems," Proceedings of the IEEE Symposium on Computer-Aided Control System Design 1996 (CACSD ’96), 26-31.
8. Wolf Kohn, John James, Anil Nerode, Jeffrey B. Remmel and Benjamin Cummings, "A New Approach to Generating Finite-State Control Programs for Hybrid Systems," Proceedings of the 13th Triennial World Congress of the International Federation of Automatic Control (IFAC) 1996 (Pergamon Press, 1996), 461-466.
9. Wolf Kohn, Anil Nerode and Jeffrey B. Remmel, "Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections," in P. Antsaklis, W. Kohn, A. Nerode and S. Sastry (eds.), Hybrid Systems II, Lecture Notes in Computer Science 999 (Springer-Verlag, Berlin, 1995), 294-321.
10. Wolf Kohn, Anil Nerode and Jeffrey B. Remmel, "Continualization: A Hybrid Systems Control Technique for Computing," Proceedings of 1996 IMACS Conference on Computation Engineering in Systems Applications (CEAS ’96).
11. Wolf Kohn, Anil Nerode and Jeffrey B. Remmel, "Feedback Derivations: Near Optimal Controls for Hybrid Systems," Proceedings of the 1996 IMACS conference on Computation Engineering in Systems Applications (CESA ’96), 517-521.
12. Wolf Kohn, Anil Nerode, Jeffrey B. Remmel and Alexander Yakhnis, "Viability in Hybrid Systems," Theoretical Computer Science 138 (1995) 141168.
13. Wolf Kohn, Jeffrey B. Remmel, Anil Nerode, "Scalable Data and Sensor Fusion via Multiple Agent Hybrid Systems," IEEE Transactions on Automatic Control, special issue on Hybrid Systems, to appear 1997.
14. Wolf Kohn, Jeffrey B. Remmel, Anil Nerode, John James, "Multiple Agent Hybrid Control for Manufacturing Systems," Proceedings of the 11th IEEE International Symposium on Intelligent Control (IEEE, New York 1996), 348-353.
15. John W. Lloyd, Foundations of Logic Programming, 2nd edition (Springer-Verlag, Berlin 1987).
16. Anil Nerode, "Some Stone Spaces and Recursion Theory," Duke Mathematical Journal 26 (1959) 397-406.
17. Anil Nerode, "Some Lectures on Intuitionistic Logic," in P. Odifreddi (ed.), Logic and Computer Science, Lecture Notes in Mathematics 1429 (Springer-Verlag, Berlin, 1990), 12-59.
18. Anil Nerode and Wolf Kohn, "Models for Hybrid Systems: Automata, Topologies, Controllability, Observability," in R. Grossman, A. Nerode, A. Ravn and H. Rischel (eds.), Hybrid Systems, Springer Lecture Notes in Computer Science 736 (Springer-Verlag, Berlin, 1993), 297-316.
19. Anil Nerode and Wolf Kohn, "Multiple Agent Hybrid Control Architecture," in R. Grossman, A. Nerode, A. Ravn and H. Rischel (eds.), Hybrid Systems, Springer Lecture Notes in Computer Science 736 (Springer-Verlag, Berlin, 1993), 317-356.
20. Helena Rasiowa and Roman Sikorski, The Mathematics of Metamathematics, Polska Akademia Nauk Monografie Matematyczne, Tom 41 (Państwowe Wydawnictwo Naukowe, Warsaw, 1963).
21. Richard Statman, "Intuitionistic Propositional Logic is Polynomial Space Complete," Theoretical Computer Science 9 (1979) 67-72.
22. Alfred Tarski, "Der Aussagenkalkül und die Topologie," Fundamenta Mathematicae 31 (1938) 103-134
23. Reprinted (and translated by J. H. Woodger) as "Sentential Calculus and Topology," in A. Tarski, Logic, Semantics, Metamathematics (Oxford University Press, 1956), 421-454.