This text presents the main principles, operations and architecture involved in the design of a novel type of supervisory controller called an ontological controller. An ontological controller can be used to supervise any type of controller; however its intended applications are industrial-strength complex autonomous control systems using advanced programmable controllers. An ontological controller supervises a programmable controller in order to: detect dynamically when the programmable controller is in a problematic control situation due to a violation of ontological assumptions and thus unable to achieve a pre-specified control goal (for example, the identification operation); and when possible, move the programmable controller into such a state from which it can regain its control and eventually achieve the pre-specified control goal in spite of the previous violation of ontological assumptions (for example the recovery operation). The book is a complete formal framework and results for ontological control. All results presented in the book originate from the practical industrial experience of the author.
The intended readers are professionals and students working in industrial control, discrete control, discrete-event systems, artificial intelligence, autonomous systems, programmable (logic) control design, robotics, real-time planning, safety-critical systems, Petri nets and PLC standards such as IEC1131.