| Files: | Description | File size | Format | Browse |
| Fulltext | 0.72 MB | PDF (requires Acrobat Reader) | Previous | Next |
| | |
| Authors: | Peter Bonus: Department of Computer and Information Science, Linköping University, Sweden |
| | Karin Lunde: University of Applied Sciences Ulm, Germany |
| Publication title: | Supporting Model-Based Diagnostics with Equation-Based Object Oriented Languages |
| Conference: | Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools |
| Publication type: | Abstract and Fulltext |
| Issue: | 029 |
| Article No.: | 013 |
| 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. |
| Language: | English |
| Keywords: | Model-based diagnostics, Modelica, Rodelica, constraint propagation, interval arithmetic, failure mode, decision tree. |
| Year: | 2008 |
| No. of pages: | 10 |
| Pages: | 121-130 |
| ISBN: | 978-91-7519-823-1 |
| Series: | Linköping Electronic Conference Proceedings |
| ISSN (print): | 1650-3686 |
| ISSN (online): | 1650-3740 |
| File: | http://www.ep.liu.se/ecp/029/013/ecp08029013.pdf |
| Available: | 2008-07-02 |
| Publisher: | Linköping University Electronic Press, Linköpings universitet |
|
| REFERENCE TO THIS PAGE |
Ph.D., Lic. Theses
