메뉴 건너뛰기




Volumn 1567, Issue , 1999, Pages 38-69

On hybrid systems and the modal□-calculus

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; AUTOMATA THEORY; CALCULATIONS; COMPUTER CIRCUITS; CONTINUOUS TIME SYSTEMS; EQUIVALENCE CLASSES; FORMAL LOGIC; HYBRID SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; MODAL ANALYSIS; REAL TIME SYSTEMS; SET THEORY; SYSTEM THEORY;

EID: 84956858069     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49163-5_3     Document Type: Conference Paper
Times cited : (12)

References (40)
  • 1
    • 0003371522 scopus 로고
    • The General Topology of Dynamical Systems
    • American Mathematical Society, Providence
    • E. Akin, The General Topology of Dynamical Systems, Graduate Studies in Mathematics 1 (American Mathematical Society, Providence, 1993).
    • (1993) Graduate Studies in Mathematics , vol.1
    • Akin, E.1
  • 8
    • 0343242943 scopus 로고
    • Reinterpreting the Modal-calculus
    • A. Ponse, M. de Rijke and Y. Venema (eds.), CLSI Publications, Stanford
    • M. M. Bonsangue and M. Z. Kwiatkowska, “Reinterpreting the Modal-calculus", in A. Ponse, M. de Rijke and Y. Venema (eds.), Modal Logic and Process Algebra, CSLI Lecture Notes 53 (CLSI Publications, Stanford, 1995); 65-83.
    • (1995) Modal Logic and Process Algebra, CSLI Lecture Notes , vol.53 , pp. 65-83
    • Bonsangue, M.M.1    Kwiatkowska, M.Z.2
  • 9
    • 84956861297 scopus 로고
    • Modal Logic: An Introduction (Cambridge University Press
    • B. F. Chellas, Modal Logic: An Introduction (Cambridge University Press, 1980).
    • (1980)
    • Chellas, B.F.1
  • 10
    • 0343242942 scopus 로고    scopus 로고
    • PhD dissertation, Department of Mathematics, Cornell University, January
    • J. M. Davoren, Modal Logics for Continuous Dynamics, PhD dissertation, Department of Mathematics, Cornell University, January 1998.
    • (1998) Modal Logics for Continuous Dynamics
    • Davoren, J.M.1
  • 11
    • 84956864666 scopus 로고    scopus 로고
    • presented at Fixed Points in Computer Science, Brno, August 1998; submitted for publication
    • J. M. Davoren, “Topologies, Continuity and Bisimulations", presented at Fixed Points in Computer Science, Brno, August 1998; submitted for publication.
    • Topologies, Continuity and Bisimulations
    • Davoren, J.M.1
  • 18
    • 0002785435 scopus 로고
    • Completeness in the Theory of Types
    • L. Henkin, “Completeness in the Theory of Types", Journal of Symbolic Logic 15 (1950) 81-91.
    • (1950) Journal of Symbolic Logic , vol.15 , pp. 81-91
    • Henkin, L.1
  • 19
    • 0029701554 scopus 로고    scopus 로고
    • The Theory of Hybrid Automata
    • IEEE Computer Society Press
    • th An-nual IEEE Symposium on Logic in Computer Science (LICS '96) (IEEE Computer Society Press, 1996); 278-292.
    • (1996) Proceedings of the 11 , pp. 278-292
    • Henzinger, T.A.1
  • 21
    • 21344476382 scopus 로고
    • Towards Refining Temporal Specifications into Hybrid Systems
    • R. Grossman et al. (eds.), Springer-Verlag, Berlin
    • T. A. Henzinger, Z. Manna and A. Pnueli, “Towards Refining Temporal Specifications into Hybrid Systems", in R. Grossman et al. (eds.), Hybrid Systems, Lecture Notes in Computer Science 736 (Springer-Verlag, Berlin, 1993), 60-76.
    • (1993) Hybrid Systems, Lecture Notes in Computer Science , vol.736 , pp. 60-76
    • Henzinger, T.A.1    Manna, Z.2    Pnueli, A.3
  • 22
    • 0004288190 scopus 로고    scopus 로고
    • PhD dissertation, Department of Philosophy, Utrecht University, March
    • M. J. Hollenberg, Logic and Bisimulation, PhD dissertation, Department of Philosophy, Utrecht University, March 1998.
    • (1998) Logic and Bisimulation
    • Hollenberg, M.J.1
  • 23
    • 49049126479 scopus 로고
    • Results on the Propositional-Calculus
    • D. Kozen, “Results on the Propositional-Calculus", Theoretical Computer Sci-ence 27 (1983) 333-354.
    • (1983) Theoretical Computer Sci-Ence , vol.27 , pp. 333-354
    • Kozen, D.1
  • 24
    • 0003391813 scopus 로고
    • revised edition (Academic Press, New York, 1966). Translated by J. Jaworowski from the French 1958 edition of Topologie, Volume 1, Polska Akademia Nauk Monograé Matematyczne, Tom21 (Pafinstwowe Wydawnictwo Naukowe, Warsaw
    • K. Kuratowski, Topology, Volume 1, revised edition (Academic Press, New York, 1966). Translated by J. Jaworowski from the French 1958 edition of Topologie, Volume 1, Polska Akademia Nauk Monograé Matematyczne, Tom 21 (Pafinstwowe Wydawnictwo Naukowe, Warsaw, 1958).
    • (1958) Topology , vol.1
    • Kuratowski, K.1
  • 27
    • 0343678538 scopus 로고    scopus 로고
    • Technical report UCB/ERL M98/29, Department of Electrical Engineering and Computer Science, University of California at Berkeley
    • G. Laérriere, G. J. Pappas and S. Sastry, “O-Minimal Hybrid Systems", Technical report UCB/ERL M98/29, Department of Electrical Engineering and Computer Science, University of California at Berkeley, May 1998.
    • (1998) O-Minimal Hybrid Systems
    • Laérriere, G.1    Pappas, G.J.2    Sastry, S.3
  • 28
    • 0342373369 scopus 로고    scopus 로고
    • Technical report UCB/ERL M98/39, Department of Electrical Engineering and Computer Science, University of California at Berkeley
    • G. Laérriere, G. J. Pappas and S. Yovine, “Decidable Hybrid Systems", Technical report UCB/ERL M98/39, Department of Electrical Engineering and Computer Science, University of California at Berkeley, June 1998.
    • (1998) Decidable Hybrid Systems
    • Laérriere, G.1    Pappas, G.J.2    Yovine, S.3
  • 29
    • 0002853158 scopus 로고
    • Verifying Hybrid Systems
    • R. Grossman et al. (eds.), Springer-Verlag, Berlin
    • Z. Manna and A. Pnueli, “Verifying Hybrid Systems", in R. Grossman et al. (eds.), Hybrid Systems, Lecture Notes in Computer Science 736 (Springer-Verlag, Berlin, 1993), 4-35.
    • (1993) Hybrid Systems, Lecture Notes in Computer Science , vol.736 , pp. 4-35
    • Manna, Z.1    Pnueli, A.2
  • 31
    • 0000432049 scopus 로고
    • A Solution of the Decision Problem for the Lewis Systems S2 and S4, with an Application to Topology
    • J. C. C. McKinsey, “A Solution of the Decision Problem for the Lewis Systems S2 and S4, with an Application to Topology", Journal of Symbolic Logic 6 (1941) 117-134.
    • (1941) Journal of Symbolic Logic , vol.6 , pp. 117-134
    • McKinsey, J.C.C.1
  • 34
    • 0000870565 scopus 로고
    • Models for Hybrid Systems: Automata, Topologies, Controllability, Observability
    • R. Grossman et al. (eds.), Springer-Verlag, Berlin
    • A. Nerode and W. Kohn, “Models for Hybrid Systems: Automata, Topologies, Controllability, Observability", in R. Grossman et al. (eds.), Hybrid Systems, Lecture Notes in Computer Science 736 (Springer-Verlag, Berlin, 1993), 297-316.
    • (1993) Hybrid Systems, Lecture Notes in Computer Science , vol.736 , pp. 297-316
    • Nerode, A.1    Kohn, W.2
  • 35
    • 0013413537 scopus 로고    scopus 로고
    • 2nd ed.), Graduate Texts in Computer Science (Springer-Verlag, Berlin
    • A. Nerode and R. Shore, Logic for Applications (2nd ed.), Graduate Texts in Computer Science (Springer-Verlag, Berlin, 1997).
    • (1997) Logic for Applications
    • Nerode, A.1    Shore, R.2
  • 37
    • 0029410050 scopus 로고
    • Semi-metrics, closure spaces and digital topology
    • M. B. Smyth, “Semi-metrics, closure spaces and digital topology", Theoretical Computer Science 151 (1995) 257-276.
    • (1995) Theoretical Computer Science , vol.151 , pp. 257-276
    • Smyth, M.B.1
  • 38
    • 0000832186 scopus 로고
    • Modal and Temporal Logics
    • S. Abramsky, D. M. Gabbay and T. Maibaum (eds.), Computational Structures (Oxford University Press, Clarendon Press, Oxford
    • C. Stirling, “Modal and Temporal Logics", in S. Abramsky, D. M. Gabbay and T. Maibaum (eds.), Handbook of Logic in Computer Science, Vol. 2: Computational Structures (Oxford University Press, Clarendon Press, Oxford, 1992), 477-563
    • (1992) Handbook of Logic in Computer Science , vol.2 , pp. 477-563
    • Stirling, C.1
  • 40
    • 0030237967 scopus 로고    scopus 로고
    • A Note on the Completeness of Kozen's Axiomatization of the Propositonal-calculus
    • I. Walukiewicz, “A Note on the Completeness of Kozen's Axiomatization of the Propositonal-calculus", Bulletin of Symbolic Logic 2 (1996) 349-366.
    • (1996) Bulletin of Symbolic Logic , vol.2 , pp. 349-366
    • Walukiewicz, I.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.