Generation of safe plant operation sequences using reachability analysis

Thomas Cochard, David Gouyon, Jean-François Petin. Generation of safe plant operation sequences using reachability analysis. In 20th IEEE Conference on Emerging Technologies & Factory Automation, ETFA 2015, Luxembourg, September 8-11, 2015. pages 1-8, IEEE, 2015. [doi]

Abstract

Abstract is missing.