{"type":"ScholarlyArticle","title":"A Formal Modeling Scheme for Continuous Systems: Focus on Diagnosis","authors":[{"name":"Gautam Biswas","slug":"gautam-biswas","given":"Gautam","family":"Biswas","affiliation":""},{"name":"Xudong Yu","slug":"xudong-yu","given":"Xudong","family":"Yu","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1993/204","pdf":"https://ijcai.org/proceedings/1993/0204.pdf","markdown":"https://ijcai.org/proceedings/1993/204.md","bibtex":"https://ijcai.org/proceedings/1993/bibtex/204","volume":{"slug":"1993","title":"Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1993","url":"https://ijcai.org/proceedings/1993/","year":1993,"location":"Chambéry, France","dates":"","editors":"Ruzena Bajcsy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Qualitative Reasoning and Naive Physics","track":"Qualitative Reasoning and Naive Physics","number":204,"pages":{"first":1474,"last":1478},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}