Discrete event supervisor design and application for manufacturing systems with arbitrary faults and repairs | IEEE Conference Publication | IEEE Xplore