메뉴 건너뛰기
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumn 2623, Issue , 2003, Pages 375-388
Universality and language inclusion for open and closed timed automata
Author keywords

[No Author keywords available]
Indexed keywords

ALGORITHMS; COMPUTATIONAL LINGUISTICS; HYBRID SYSTEMS;
EID: 29144499639     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36580-x_28     Document Type: Article
Times cited : (26)
References (10)
  • 2
    • 0000226419 scopus 로고    scopus 로고
    • Event-clock automata: A determinizable class of timed automata
    • R. Alur, L. Fix, and T. A. Henzinger. Event-clock automata: A determinizable class of timed automata. Theoretical Computer Science, 211:253-273, 1999.
    • (1999) Theoretical Computer Science , vol.211 , pp. 253-273
    • Alur, R.1    Fix, L.2    Henzinger, T.A.3
  • 3
    • 84945940816 scopus 로고    scopus 로고
    • On discretization of delays in timed automata and digital circuits
    • Proceedings of CONCUR 98
    • E. Asarin, O. Maler, and A. Pnueli. On discretization of delays in timed automata and digital circuits. In Proceedings of CONCUR 98, volume 1466, pages 470-484. Springer LNCS, 1998.
    • (1998) Springer LNCS , vol.1466 , pp. 470-484
    • Asarin, E.1    Maler, O.2    Pnueli, A.3
  • 4
  • 5
    • 84956855629 scopus 로고    scopus 로고
    • Analysis of Hybrid Systems: An ounce of realism can save an infinity of states
    • Proceedings of CSL 99
    • M. Fränzle. Analysis of Hybrid Systems: An ounce of realism can save an infinity of states. In Proceedings of CSL 99, volume 1683, pages 126-140. Springer LNCS, 1999.
    • (1999) Springer LNCS , vol.1683 , pp. 126-140
    • Fränzle, M.1
  • 6
    • 84957627066 scopus 로고    scopus 로고
    • Robust timed automata
    • Proceedings of HART 97
    • V. Gupta, T. A. Henzinger, and R. Jagadeesan. Robust timed automata. In Proceedings of HART 97, volume 1201, pages 331-345. Springer LNCS, 1997.
    • (1997) Springer LNCS , vol.1201 , pp. 331-345
    • Gupta, V.1    Henzinger, T.A.2    Jagadeesan, R.3
  • 7
    • 84957102718 scopus 로고
    • What good are digital clocks?
    • Proceedings of ICALP 92
    • T. A. Henzinger, Z. Manna, and A. Pnueli. What good are digital clocks? In Proceedings of ICALP 92, volume 623, pages 545-558. Springer LNCS, 1992.
    • (1992) Springer LNCS , vol.623 , pp. 545-558
    • Henzinger, T.A.1    Manna, Z.2    Pnueli, A.3
  • 8
    • 84974712825 scopus 로고    scopus 로고
    • Robust undecidability of timed and hybrid systems
    • Proceedings of HSCC 00
    • T. A. Henzinger and J.-F. Raskin. Robust undecidability of timed and hybrid systems. In Proceedings of HSCC 00, volume 1790, pages 145-159. Springer LNCS, 2000.
    • (2000) Springer LNCS , vol.1790 , pp. 145-159
    • Henzinger, T.A.1    Raskin, J.-F.2

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