Article | Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools | Supporting Model-Based Diagnostics with Equation-Based Object Oriented Languages

Title:
Supporting Model-Based Diagnostics with Equation-Based Object Oriented Languages
Author:
Peter Bonus: Department of Computer and Information Science, Linköping University, Sweden Karin Lunde: University of Applied Sciences Ulm, Germany
Download:
Full text (pdf)
Year:
2008
Conference:
Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools
Issue:
029
Article no.:
013
Pages:
121-130
No. of pages:
10
Publication type:
Abstract and Fulltext
Published:
2008-07-02
ISBN:
978-91-7519-823-1
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


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.

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

Author:
Peter Bonus, Karin Lunde
Title:
Supporting Model-Based Diagnostics with Equation-Based Object Oriented Languages
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

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

Author:
Peter Bonus, Karin Lunde
Title:
Supporting Model-Based Diagnostics with Equation-Based Object Oriented Languages
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment