Generation of safe plant operation sequences using reachability analysis.

Thomas Cochard, David Gouyon, Jean-Franois Ptin

Browse the full ETFA paper archive.