---
title: "A Formal Modeling Scheme for Continuous Systems: Focus on Diagnosis"
authors:
  - "Gautam Biswas"
  - "Xudong Yu"
doi: ""
url: "https://ijcai.org/proceedings/1993/204"
pdf: "https://ijcai.org/proceedings/1993/0204.pdf"
venue: "Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence"
year: 1993
pages: "1474-1478"
track: "Qualitative Reasoning and Naive Physics"
keywords:
---

# A Formal Modeling Scheme for Continuous Systems: Focus on Diagnosis

Gautam Biswas, Xudong Yu

*Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence*, 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.