A Formal Modeling Scheme for Continuous Systems: Focus on Diagnosis
Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Qualitative Reasoning and Naive Physics. Pages 1474-1478.
Abstract
Even with significant advances in model-based diagnosis methodologies, it is recognized that effective modeling is the key to developing efficient diagnosis algorithms for complex continuous-valued systems. In this paper, we develop a formal modeling methodology based on the bond graph modeling language, and then present schemes for focusing the system model to the diagnosis task by converting equations to partial conflict sets. This representation greatly facilitates the candidate generation and the measurement selection processes.
@inproceedings{ijcai1993p204,
title = {A Formal Modeling Scheme for Continuous Systems: Focus on Diagnosis},
author = {Biswas, Gautam and Yu, Xudong},
booktitle = {Proceedings of the Thirteenth International Joint Conference on
Artificial Intelligence, {IJCAI-93}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ruzena Bajcsy},
pages = {1474--1478},
year = {1993},
note = {Qualitative Reasoning and Naive Physics},
url = {https://ijcai.org/proceedings/1993/204},
}
TY - CPAPER TI - A Formal Modeling Scheme for Continuous Systems: Focus on Diagnosis AU - Biswas, Gautam AU - Yu, Xudong T2 - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93 PB - International Joint Conferences on Artificial Intelligence PY - 1993 SP - 1474 EP - 1478 UR - https://ijcai.org/proceedings/1993/204 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
