SCOPUS 정보 검색 플랫폼

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 12, Issue PART 1, 2006, Pages

Dependability analysis of networked automation systems by probabilistic delay time analysis

(2) Greifeneder, Jürgen a Frey, Georg a

a Rheinland Pfälzische Technische Universität Kaiserslautern Landau (Germany)

Author keywords

Control; Manufacturing; Markov decision process; Model checking; Networks; Reliability analysis

Indexed keywords

AUTOMATION; CONTROL ENGINEERING; ENTERPRISE RESOURCE PLANNING; MANUFACTURE; MARKOV PROCESSES; MODEL CHECKING; NETWORKS (CIRCUITS);

DELAY TIME ANALYSIS; DEPENDABILITY ANALYSIS; DETERMINISTIC COMPONENT; MARKOV DECISION PROCESSES; NETWORKED AUTOMATION SYSTEMS; NON-DETERMINISTIC NETWORKS; PROBABILISTIC MODEL CHECKING; TECHNIQUES AND TOOLS;

RELIABILITY ANALYSIS;

EID: 79961189160 PISSN: 14746670 EISSN: None Source Type: Conference Proceeding
DOI: 10.3182/20060517-3-fr-2903.00149 Document Type: Conference Paper

Times cited : (3)

References (9)

1
- 0008794055
- Model-checking for probabilistic real-time systems
- ICALP'91
- Alur, R., C. Courcoubetis and D. Dill (1999) Model-checking for probabilistic real-time systems, in ICALP'91, LNCS, vol 510, pp. 1-100.
- (1999) LNCS , vol.510 , pp. 1-100
- Alur, R.¹ Courcoubetis, C.² Dill, D.³

2
- 0003450426
- Springer
- Bérard, B., M. Bidiot, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci and Ph. Schnoebelen (2001). Systems and Software Verification, Model-Checking Techniques and Tools. Springer.
- (2001) Systems and Software Verification, Model-Checking Techniques and Tools
- Bérard, B.¹ Bidiot, M.² Finkel, A.³ Laroussinie, F.⁴ Petit, A.⁵ Petrucci, L.⁶ Schnoebelen, Ph.⁷

3
- 33847264067
- Probabilistic Delay Time Analysis in Networked Automation Systems
- Greifeneder, J. and G. Frey (2005). Probabilistic Delay Time Analysis in Networked Automation Systems. In: Proc. of the 10th IEEE ETFA 2005, Catania, Italy, Vol. 1, pp. 1065-1068.
- (2005) Proc. of the 10th IEEE ETFA 2005, Catania, Italy , vol.1 , pp. 1065-1068
- Greifeneder, J.¹ Frey, G.²

4
- 0003096318
- A logic for reasoning about time and reliability
- Hansson, H. and B. Jonsson (1999). A logic for reasoning about time and reliability. In: Formal Aspects of Computing, 6, no. 4, pp. 512-535.
- (1999) Formal Aspects of Computing , vol.6 , Issue.4 , pp. 512-535
- Hansson, H.¹ Jonsson, B.²

5
- 84957102718
- What good are digital clocks?
- Proc. ICALP'92
- Henzinger, T., X. Nicollin, J. Sifakis, and S. Yovine (1992). What good are digital clocks? In: Proc. ICALP'92, LNCS, vol. 623, pp. 545-558
- (1992) LNCS , vol.623 , pp. 545-558
- Henzinger, T.¹ Nicollin, X.² Sifakis, J.³ Yovine, S.⁴

6
- 84863981780
- PRISM: Probabilistic symbolic model checker
- Proc. TOOLS'02
- Kwiatkowska M., G. Norman and D. Parker (2002). PRISM: Probabilistic symbolic model checker. In: Proc. TOOLS'02, LNCS 2324, pp. 200-204.
- (2002) LNCS , vol.2324 , pp. 200-204
- Kwiatkowska, M.¹ Norman, G.² Parker, D.³

7
- 27144527964
- Modelling and Verification of Probabilistic Systems
- AMS
- Kwiatkowska M., G. Norman, and D. Parker (2004). Modelling and Verification of Probabilistic Systems. In: Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems. CRM Monograph Series, vol 23. AMS, pp. 94-215.
- (2004) Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems. CRM Monograph Series , vol.23 , pp. 94-215
- Kwiatkowska, M.¹ Norman, G.² Parker, D.³

8
- 79961188132
- Mémoire de DEA, ENS Cachan (F)
- Poulard, G. (2003). Modeling and simulation of a control architecture over Ethernet with TCP/IP protocol, Mémoire de DEA, ENS Cachan (F).
- (2003) Modeling and Simulation of A Control Architecture over Ethernet with TCP/IP Protocol
- Poulard, G.¹

9
- 79961196360
- Website
- PRISM-Website: http://www.cs.bham.ac.uk/~dxp/prism
- PRISM

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