Conference article

Supporting Model-Based Diagnostics with Equation-Based Object Oriented Languages

Peter Bonus
Department of Computer and Information Science, Linköping University, Sweden

Karin Lunde
University of Applied Sciences Ulm, Germany

Download article

Published in: Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools

Linköping Electronic Conference Proceedings 29:13, p. 121-130

Show more +

Published: 2008-07-02

ISBN: 978-91-7519-823-1

ISSN: 1650-3686 (print), 1650-3740 (online)

Abstract

The paper focuses on the application of equation-based object oriented languages to creating models for modelbased diagnosis. We discuss characteristics and language constructs essential for diagnostic purposes. In particular; we describe the main features of the declarative modeling language Rodelica; which is based on the well-known language Modelica but enhances it with additional features related to diagnosis. Rodelica is used in a commercial model-based diagnosis tool to build and exploit complex diagnostic models of industrial size. Developed models can be used in an interactive diagnostic process as well as for the generation of more compact forms of diagnostic knowledge like diagnostic rules or decision trees which are popular for on-board diagnostics or troubleshooting in the service bay. A case study concludes the paper; illustrating those applications and emphasizing their implications for the language itself.

Keywords

Model-based diagnostics; Modelica; Rodelica; constraint propagation; interval arithmetic; failure mode; decision tree.

References

[1] Klaus-Dieter Althof; Eric Auriol; Ralph Barleta and Michel Manago (1995). A Review of Industrial Case-Based Reasoning Tools. AI Intelligence; Oxford; UK

[2] Modelica Association (2007). Modelica - a Unified Object- Oriented Language for Physical Systems Modeling - Language Specification Version 3.0. September 2007

[3] Paul Inigo Barton and C.C. Pantelides (1993). Gproms - a Combined Discrete/Continuous Modelling Environment for Chemical Processing Systems. The Society for Computer Simulation; Simulation Series; vol: 25; issue: 3. pg 25-34; 1993

[4] David Broman; Kaj Nyström and Peter Fritzson (2006). Determining over- and under-Constrained Systems of Equations Using Structural Constraint Delta. In Proceedings of Fifth International Conference on Generative Programming and Component Engineering (GPCE’06); Portland; Oregon; USA; 2006

[5] Peter Bunus and Peter Fritzson (2004). Automated Static Analysis of Equation-Based Components. Simulation: Transactions of the Society for Modeling and Simulation International. Special Issue on Component Based Modeling and Simulation.; vol: 80; issue: 8. pg 2004

[6] E. Christen and K. Bakalar (1999). Vhdl-Ams-a Hardware Description Language for Analog and Mixed-Signal Applications. IEEE Transactions on Circuits and Systems II: Analogand Digital Signal Processing; vol: 46; issue: 10. pg 1263-1272; 1999

[7] Johan de Kleer and James Kurien (2003). Fundamentals of Model-Based Diagnosis. In Proceedings of IFAC SafeProcess; Washington USA; June 2003

[8] Karin Lunde (2000). Object-Oriented Modeling in Model- Based Diagnosis. In Proceedings of Modelica Workshop; Lund; Sweden; Oct 23-24 2000

[9] Karin Lunde; Rüdiger Lunde and Burkhard Münker (2006). Model-Based Failure Analysis with Rodon. In Proceedings of ECAI 2006 - 17th European Conference on Artificial Intelligence Riva del Garda; Italy; August 29 -- September 1 2006

[10] Rüdiger Lunde (2006). Towards Model-Based Engineering: A Constraint-Based Approach. Shaker; Aachen

[11] Jakob Mauss; Volker May and Mugur Tatar (2000). Towards Model-Based Engineering: Failure Analysis with Mds. In Proceedings of ECAI-2000 Workshop on Knowledge-Based Systems for Model-Based Engineering; Berlin; Germany; 2000

[12] Hans Olsson; Martin Otter; Sven Erik Mattsson and Hilding Elmqvist (2008). Balanced Models in Modelica 3.0 for Increased Model Quality. In Proceedings of 6th International Modelica Conference; University of Applied Sciences; Bielefeld; Germany; March 3rd-4th 2008

[13] Sankar K. Pal and Simon C. K. Shiu (2004). Foundation of Soft Case Based Reasoning. John Wiley & Sons; Inc.; Hoboken; New Jersey.

[14] P.C. Piela; T.G. Epperly; K.M. Westerberg and A.W. Westerberg (1991). Ascend: An Object-Oriented Computer Environment for Modeling and Analysis: The Modeling Language. Computers and Chemical Engineering; vol: 15; issue: 1. pg 53- 72; 1991

[15] Martin Sachenbacher; Peter Struss and Claes M. Carlén (2000). A Prototype for Model-Based on Board Diagnosis of Automotive Systems. AI Communications; vol: 13; issue: 2. pg 83 - 97; 2000

Citations in Crossref