Title :
Determination of delay times in failure afflicted networked automation systems using probabilistic model checking
Author :
Greifeneder, Jürgen ; Frey, Georg
Keywords :
Automatic control; Automation; Control systems; Delay effects; Failure analysis; Hardware; Intelligent networks; Performance analysis; Programmable control; Sensor systems;
Conference_Titel :
Factory Communication Systems, 2006 IEEE International Workshop on
Conference_Location :
Torino, Italy
Print_ISBN :
1-4244-0379-0
DOI :
10.1109/WFCS.2006.1704166
