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;
Conference_Titel :
Dependable Control of Discrete Systems (DCDS), 2011 3rd International Workshop on
Conference_Location :
Saarbrucken
Print_ISBN :
978-1-4244-8969-5
DOI :
10.1109/DCDS.2011.5970306
