Communications of the ACM
Model-based diagnosis in SOPHIE III
Readings in model-based diagnosis
Qualitative control, diagnostic and supervision of complex processes
Mathematics and Computers in Simulation - Special issue: 3rd IMACS international workshop on qualitative reasoning and decision support systems
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Model-based reasoning: The applications gap
IEEE Expert: Intelligent Systems and Their Applications
A New Perspective in the Inductive Acquisition of Knowledge from Examples
IPMU '92 Proceedings of the 4th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems: Advanced Methods in Artificial Intelligence
Formal Model for Real Time Diagnosis of Dynamic Systems
INTSYS '98 Proceedings of the IEEE International Joint Symposia on Intelligence and Systems
| Hi-index | 0.00 |
Dynamic Processes are characterized by their evolutionary behaviour over time, defining a sequence of operation states of the System. Ascertaining the causes of a given system situation may become a difficult task, particularly in complex dynamic systems, since not all information required about the system state may be available at the precise moment. Knowledge-Based Supervision is an outstanding Artificial Intelligence field contributing successfully to the progress of the control and supervion areas. Three essential factors characterize the function of a supervisor system: time constraints demanded from the supervision process, temporal updating of information coming from the dynamic system and generation of qualitative knowledge about the dynamic system. In this work, an evolutionary data structure model conceived to generate, store and update qualitative information from raw data coming from a dynamic system is presented. This model is based on the concept of abstraction, in such a way an abstraction mechanism to generate qualitative knowledge about the dynamic system which the Knowledge-Based Supervisor is based on, is triggered according to some pre established considerations, among which real time constraints play a special role.