Theme 4 (old): Qualitative Reasoning in Supervisory Control
Qualitative Supervisory Control (QSC), a framework for knowledge-based aiding of a domain practitioner assigned to supervise a dynamic physical system, is presented. QSC meets the main function of a knowledge-based aiding supervisory control system by developing strategies to achieve control in the face of altered configuration, along with minimizing the cognitive overload. Three problems manifesting the cognitive overload, control directness, process information accessibility and counter-intuition, are identified. QSC provides solution to them through a number of qualitative techniques. Typical applications of the QSC fn an intelligent user interface, verification of the knowledge base and system diagnosis are demonstrated.
The concept of control is described as the process of influencing the behavior of a dynamic system so as to achieve a desired goal . Supervisory control involves a domain practitioner intermittently obtaining information from and giving instructions to a computer, which in turn continuously controls a physical process by commanding machine actuators and reading machine sensors . The main function of a knowledge-based aiding supervisory control system is the ability to develop strategies to achieve control in the face of altered configuration , along with minimizing the cognitive overload of the domain practitioner.
Actual implementation of control laws often incorporates a substantial amount of heuristic logic , . The practitioner is usually responsible for tuning the control system based on proper heuristics . Expert system methodologies provide a practical approach to deal with heuristic logic , decision making activities , and coupling of the mathematical process model with the symbolic computing techniques .
The efficiency of expert supervisory control systems depends on the knowledge representation , mainly rule-based. While at first the rule-based approach yielded more robust behavior in terms of greater tolerance to sensor failures , further experience showed three man limitations , .
The Qualitative Supervisory Control (QSC) framework can overcome the drawbacks, through :
2. SUPERVISORY CONTROL PROBLEMS
The three main sources of cognitive overload in supervisory control are depicted in Figure 1. The cognitive overload  due to rapid changes in large amounts of monitored data, limits the operator's performance. This may lead to cognitive tunnelling, incorrect decisions and taking inappropriate actions. A main source of cognitive overload is out-of-phase automation that brings about extra workload for interpreting and communicating with the control system. The control directness problem  arises when the effects of an operator's action are propagated along the causal chains until they reach the crucial target variables on which the action cannot be direct. The process information accessibility problem  arises when the information needed to make intervention decisions is not directly accessible and must be inferred from the data remote from the process itself.
The human operator formulates control decisions by comparing expected behavior to the desired response . The counter-intuition problem arises when the ability to anticipate the plant's response becomes limited by a number of factors, mainly nonlinearities in the plant's dynamics; the mutual influence of overlapping processes and long time delays in system response.
Solution to the control directness and process information accessibility problems can be found through introducing the deep modeling and processing techniques . The consequence is a reduction of the cognitive overload. Deep knowledge representation can also remove the problems with overlapping processes. The form of deep knowledge is qualitative. Qualitative deep knowledge can deal with nonlinearities in plant dynamics.
3. THE QSC FRAMEWORK
The functional blocks of the QSC framework are shown in Fig.2 . This structure shows the fundamental operator's functions in a variety of tasks, comprising:
Figure 2: The QSC framework.
4. HIERARCHICAL STRUCTURE OF QSC
Three levels of abstraction in the conceptualization (Fig.2) are proposed for blending deep and shallow knowledge and control heuristics :
The model for all levels is an influence graph , in which the nodes are symbols standing for propositions, qualitative variables, landmarks, and arcs represent either causal relations or conditional qualitative operations .
The [.]G level represents the shallow model. Modeling primitives are propositions and logical connectives. Propositions are related by production rules and reasoning is based on truth assignment to propositions and causal propagation of truth.
In the [.]Z level, a deep model is prepared by qualitative variables and their derivatives. The modeling primitives are three-valued qualitative variables, (i.e., +,0,- landmarks) and logical connectives.
The [.]L level embodies the deepest model and has the highest precision. Modeling primitives are qualitative variables and qualitative operations. Qualitative variables in the [.] L level have higher resolution than in the [.]Z level (i.e., more than three landmark values).
In all of the available deep knowledge representation approaches, such as , , , , , , etc., transition among the levels is governed by heuristic rules. For example in the hierarchical reasoning framework , , transition is based on some heuristics such as neglecting a variable or a rapid transient. We introduce the formal rules of transition between levels in .
5. MODELING AND ANALYSIS TECHNIQUES
Fig.3 depicts the modeling issues. The [.]G level resembles a typical expert control system. Modeling the system by means of confluences is equivalent to introducing a deep model to the expert system. Higher precision is obtainable by modeling the system through qualitative operations.
Figure 3 Modeling issues in QSC.
Two influence graphs are used to represent the model for each level. The Ordinal Reachability Graph (ORG) , whose nodes are either landmarks or propositions for the [.]G and [.]Z levels, and the Qualitative Flow Graph (QEG)  for the [.]L level.
Figure 4 Analysis techniques in QSC.
Three main applications of the QSC are:
a. Intelligent user interface
By providing the user with an understandable explanation of the behavior of the control system mainly, interpreting and explaining the present state and understanding the instructions given by the operator, interpreting them in terms of the control policy and applying them in actual implementation, QSC can reason about the actual behavior and synthesize a desired behavior. The Qualitative Flow Graph (QEG)  represents the deep knowledge which embodies the Qualitative Processes (QP) of the plant and feedback controller. A version of Qualitative Simulation (QSDEDS)  which can encounter both continuous qualitative variables and discrete qualitative parameters, is used to derive the potential behavior of the identified processes. Each potential behavior is called a Behavioral Fragment (BF) . The Relativity Analysis (RA)  is developed to plan appropriate control strategy and adjust the parameters for overlapping processes.
b. Verification and Validation
The Modified Causal Ordering (MCO)  is an efficient digraph knowledge verification technique for detecting redundancy, circularity and inconsistency in rule-based knowledge systems. It has the capability of detecting irrelevant rules in the process of truth propagation. This reduces the computation overload . Qualitative Sensitivity Analysis (QSA)  is a technique for detecting the robustness of the rule-based system to perturbation. QSA contributes to QSC in two ways: first, it provides a solution to the control directness problem; second, it can be used to extract shallow knowledge from the deep knowledge , .
c. Fault Detection and System Diagnosis
A typical application of QSC is the qualitative model-based procedure-oriented fault detection, which has certain advantages over other techniques such as reducing the computation overload and providing sufficient transparency for the sensory input data. Two fault detection schemes are proposed: compiled (CAMP) and deep (DAMP).
CAMP is different from the symptomatic (experience-based) fault detection techniques in the sense that the diagnostic rules are generated automatically from the behavioral rules. The generated diagnostic rules are more accurate and reliable than heuristic-based diagnostic rules and can serve as part of the fast and efficient symptomatic expert diagnosis system.
DAMP allows reasoning from the interaction of the process variables and parameters at the process level, being suitable for detecting multiple and novel faults. DAMP offers off-line recording of the behaviors of the processes and their deviation, is more efficient when comparing observed behavior with recorded behavior, and is therefore useful for the real-time diagnosis.
The Qualitative Supervisory Control (QSC) framework for knowledge-based alding of a domaln practitioner was proposed. Three major problems in supervisory control were identified and a partial solution was outlined through some qualitative techniques.
Typical applications of the QSC in intelligent user interface, fault detection and system diagnosis were introduced. Efficient verification and validation techniques for detection and diagnosis of the damaged information were proposed.
The advantage of QSC lies in dealing with situations that conventional control falls to cover, specially the blending of supervisory and conventional control functions.
Many of the qualitative techniques introduced are in a state of flux. Although the need for their merger is felt and their absence is conspicuous, it will probably take a longer time before they fully stabilize.