Toward an equation-oriented framework for diagnosis of complex systems
Linköping University Electronic Press
Diagnosis of complex systems is a critical area for most real-world systems. Given the wide range of system types, including physical systems, logic circuits, state-machines, control systems, and software, there is no commonlyaccepted modeling language or inference algorithms for model-Based Diagnosis (MBD) of such systems. Designing a language that can be used for modeling such a wide class of systems, while being able to efficiently solve the model, is a formidable task. The computational efficiency with which a given model can be solved, although often neglected by designers of modeling languages, is a key to parameter identification and answering MBD challenges. We address this freedom-of-modeling versus model-solving efficiency trade-off challenge by evolving a language for MBD of physical system, called LYDIA. In this paper we report on the abilities of LYDIA to model a class of physical systems, the algorithms that we use for solving MBD problems and the results that we have obtained for several challenging systems.
Model-based diagnosis , Model-based testing , Automated reasoning , Modeling language
Feldman, A. and Provan, G. (2013) 'Toward an equation-oriented framework for diagnosis of complex systems', Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT 2013), University of Nottingham, UK, 19 April, pp. 65-74. Available at: https://www.ep.liu.se/ecp/084/ecp13084.pdf (Accessed: 5 May 2020)
© 2013, the Authors. The online availability of the document implies permanent permission for anyone to read, to download, or to print out single copies for his/her own use and to use it unchanged for noncommercial research and educational purposes. All other uses of the document are conditional upon the consent of the copyright owner. According to intellectual property law, the author has the right to be mentioned when his/her work is accessed as described above and to be protected against infringement.