Hybrid fuzzy-Boolean automata for ontological controllers

This paper introduces a hybrid fuzzy-Boolean finite state machine (HFB FSM) model for ontological control. Ontological control is a novel type supervisory control that deals with the problems of error detection and recovery in complex control systems. The HFB FSM is used as a specification method for the problem of recovery when an autonomous control system encounters unexpected changes in its environment. The method allows a controller B (the ontological controller) to trigger a recovery operation on controller A when B has the recovery specification of A. The approach has important potential applications in industry