by J. Nellen, E. Abraham
Reference:
A CEGAR approach for the reachability analysis of PLC-controlled chemical plants (J. Nellen, E. Abraham), In Information Reuse and Integration (IRI), 2014 IEEE 15th International Conference on, 2014.
Bibtex Entry:
@INPROCEEDINGS{7051930,
author={Nellen, J. and Abraham, E.},
booktitle={Information Reuse and Integration (IRI), 2014 IEEE 15th International Conference on},
title={A CEGAR approach for the reachability analysis of PLC-controlled chemical plants},
year={2014},
month={Aug},
pages={500-507},
keywords={automata theory;chemical industry;industrial plants;programmable controllers;reachability analysis;CEGAR approach;PLC-controlled chemical plants;counterexample-guided abstraction refinement;dynamic behavior;dynamic plant behavior;hybrid automata;programmable logic controllers;purely discrete SFC model;reachability analysis;safety analysis;sequential function charts;Algorithm design and analysis;Analytical models;Automata;Reachability analysis;Reactive power;Synchronization;Valves},
doi={10.1109/IRI.2014.7051930},
}