A knowledge-based real-time diagnostic system for PLC controlled manufacturing systems | IEEE Conference Publication | IEEE Xplore