Hierarchical and cooperative approaches to logic control design in industrial automation | IEEE Conference Publication | IEEE Xplore