Hierarchical and cooperative approaches to logic control design in industrial automation