DocumentCode
2545925
Title
Contents
fYear
2011
fDate
15-17 June 2011
Abstract
The following topics are dealt with: practical formal validation method; anomaly detection; GENESYS; programmable logic controller testing; online fault isolation methodology; online control reconfiguration; pick and place benchmark; timed residuals; model-driven safety analysis; preventive maintenance planning; corrective maintenance planning; nested manufacturing process control; synthesis abstraction; SAT-based abstraction refinement; reliability estimation; complex resource allocation systems; multisource multisink critical interacting systems; multiphase Markov models; legacy industrial systems; timed continuous Petri nets; and diagnosability analysis.
Keywords
Markov processes; Petri nets; computability; control engineering computing; fault diagnosis; formal verification; manufacturing processes; preventive maintenance; process control; production engineering computing; programmable controllers; reliability; security of data; GENESYS; SAT-based abstraction refinement; anomaly detection; complex resource allocation systems; corrective maintenance planning; diagnosability analysis; legacy industrial systems; model-driven safety analysis; multiphase Markov models; multisource multisink critical interacting systems; nested manufacturing process control; online control reconfiguration; online fault isolation methodology; pick and place benchmark; practical formal validation method; preventive maintenance planning; programmable logic controller testing; reliability estimation; synthesis abstraction; timed continuous Petri nets; timed residuals;
fLanguage
English
Publisher
ieee
Conference_Titel
Dependable Control of Discrete Systems (DCDS), 2011 3rd International Workshop on
Conference_Location
Saarbrucken
Print_ISBN
978-1-4244-8969-5
Type
conf
DOI
10.1109/DCDS.2011.5970306
Filename
5970306
Link To Document