Hybrid system model of production work-cells and its optimal control subject to logical constraints | IEEE Conference Publication | IEEE Xplore