{"type":"ScholarlyArticle","title":"Model-based Diagnosis of Hybrid Systems","authors":[{"name":"Sriram Narasimhan","slug":"sriram-narasimhan","given":"Sriram","family":"Narasimhan","affiliation":""},{"name":"Gautam Biswas","slug":"gautam-biswas","given":"Gautam","family":"Biswas","affiliation":""}],"abstract":"Recent years have seen a proliferation of embedded systems that combine a digital (discrete) supervisory controller with an analog (continuous) plant. Diagnosing faults in such hybrid systems , require techniques that are different from those used for discrete and continuous systems . In addition, these algorithms have to be deployed online to meet the real time requirements of embedded systems. This paper presents a methodology for online tracking and diagnosis of hybrid systems. We demonstrate the effectiveness of the approach with experiments conducted on the fuel transfer system of fighter aircraft.","doi":null,"url":"https://ijcai.org/proceedings/2003/56","pdf":"https://ijcai.org/proceedings/2003/0056.pdf","markdown":"https://ijcai.org/proceedings/2003/56.md","bibtex":"https://ijcai.org/proceedings/2003/bibtex/56","volume":{"slug":"2003","title":"Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2003","url":"https://ijcai.org/proceedings/2003/","year":2003,"location":"Acapulco, Mexico","dates":"","editors":"Georg Gottlob","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":56,"pages":{"first":376,"last":380},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}