메뉴 건너뛰기
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
Volumn 1 2 VOLS, Issue , 2005, Pages 1065-1068
Probabilistic delay time analysis in networked automation systems
Author keywords

[No Author keywords available]
Indexed keywords

AUTOMATION SYSTEMS; NETWORKED CONTROL SYSTEMS (NCS); PROBABILISTIC DELAY TIME ANALYSIS;
EID: 33847264067     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (15)
References (6)
  • 1
    • 0003096318 scopus 로고    scopus 로고
    • A logic for reasoning about time and reliability
    • H. Hansson and B. Jonsson. A logic for reasoning about time and reliability, Formal Aspects of Computing, 6, no. 4: 512-535, 1999.
    • (1999) Formal Aspects of Computing , vol.6 , Issue.4 , pp. 512-535
    • Hansson, H.1    Jonsson, B.2
  • 2
    • 84863981780 scopus 로고    scopus 로고
    • PRISM: Probabilistic symbolic model checker
    • Proc. TOOLS02, Springer
    • M. Kwiatkowska, G. Norman, and D. Parker. PRISM: Probabilistic symbolic model checker. Proc. TOOLS02, LNCS, vol. 2324: 200-204. Springer, 2002.
    • (2002) LNCS , vol.2324 , pp. 200-204
    • Kwiatkowska, M.1    Norman, G.2    Parker, D.3
  • 3
    • 84890797863 scopus 로고    scopus 로고
    • PRISM-Webside: http://www.cs.bham.ac.uk/ dxp/prism/
    • PRISM-Webside
  • 4
    • 27144527964 scopus 로고    scopus 로고
    • Modelling and Verification of Probabilistic Systems
    • Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems, American Mathematical Society
    • M. Kwiatkowska, G. Norman, and D. Parker. Modelling and Verification of Probabilistic Systems, in: Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems. CRM Monograph Series, vol 23. American Mathematical Society, 2004.
    • (2004) CRM Monograph Series , vol.23
    • Kwiatkowska, M.1    Norman, G.2    Parker, D.3
  • 5
    • 85030836404 scopus 로고
    • Model-checking for probabilistic real-time systems
    • ICALP91, Springer
    • R. Alur. C. Courcoubetis, and D. Dill. Model-checking for probabilistic real-time systems. ICALP91, LNCS. vol 510: 1-100, Springer, 1991.
    • (1991) LNCS , vol.510 , pp. 1-100
    • Alur, R.1    Courcoubetis, C.2    Dill, D.3
  • 6
    • 84957102718 scopus 로고
    • What good are digital clocks?
    • Proc. ICAI.P'92, Springer
    • T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. What good are digital clocks? Proc. ICAI.P'92, LNCS vol. 623: 545-558, Springer, 1992.
    • (1992) LNCS , vol.623 , pp. 545-558
    • Henzinger, T.1    Nicollin, X.2    Sifakis, J.3    Yovine, S.4

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