Knowledge processing in control systems

A real-time knowledge processing procedure is proposed for rule-based systems in general and control systems applications in particular. Distinguishing features of the procedure include a mechanism for rule base compression and an inference scheme based on matrix operators. The procedure is also amenable for schedulability analysis to provide response time warranty. An application concerning supervisory group control of elevators is also included to show the usefulness of the proposed procedure.