Optimizing quality of control in networked automation systems using probabilistic models

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn , Issue , 2006, Pages 372-379

  Greifeneder, Jürgen ^a   Frey, Georg ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION STRUCTURES; CASE STUDIES; CONTROL QUALITY; DISPLAY PROPERTIES; EMERGING TECHNOLOGIES; INFORMATION LOSSES; MANUFACTURING SYSTEMS; MODELING APPROACHES; NETWORK TECHNOLOGIES; NETWORKED AUTOMATION SYSTEMS; PROBABILISTIC MODEL CHECKING; PROBABILISTIC MODELLING; PROBABILISTIC TIMED AUTOMATA; PRODUCT QUALITIES; QUALITY OF CONTROL; TECHNOLOGICAL TRENDS; WIRELESS NETWORKS;

AUTOMATION; CONTROL SYSTEMS; FACTORY AUTOMATION; INDUSTRIAL ENGINEERING; MANUFACTURE; MODEL CHECKING; PROBABILITY; SEMICONDUCTOR QUANTUM DOTS; SYSTEMS ANALYSIS; TECHNOLOGY;

QUALITY CONTROL;

EID: 50149111622     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2006.355428     Document Type: Conference Paper

References (8)

1. R. Alur, C. Courcoubetis, and D. Dill, "Model-checking for probabilistic real-time systems", in ICALP'91, LNCS, Vol. 510, Springer 1999, pp. 1-100.
2. J. Greifeneder, and G. Frey, "Probabilistic delay time analysis in networked automation systems", in 2005 IEEE ETFA Conf., Vol. 1, pp. 1065-1068.
3. R. Alur and D. Dill. "A theory of timed automaton". Theoretical Computer Science, 126(2): 183-235, 1994.
4. B. Bérard, B., Bidiot, M., Finkel, A. Laroussinie, F. Petit, A., Petrucci, and L. Schnoebelen, "Systems and software verification, model-checking techniques and tools", Springer, Ph. 2001.
5. M. Kwiatkowska, G. Norman, and D. Parker. "PRISM: Probabilistic symbolic model checker". In Proc. TOOLS'02, LNCS, vol. 2324, Springer, 2002, pp. 200-204.
6. J. Greifeneder and G. Frey. "Determination of Delay Times in Failure Afflicted Networked Automation Systems using Probabilistic Model Checking". Proceedings of 6th IEEE International Workshop on Factory Communication Systems (WFCS), Torino 2006, Italy, pp. 263-272.
7. H. Hansson, and B. Jonsson, "A logic for reasoning about time and reliability", in Formal Aspects of Comp. 6, no. 5, 1994. pp. 512-535.
8. J. Greifeneder and G. Frey, "Dependability analysis of networked automation systems by probabilistic delay time analysis", Proceedings of the IFAC Symposium on Information Control Problems in Manufacturing (incom), St. Etienne 2006, France, Vol. 1, pp. 269-274.