@conference {3704,
	title = {Efficient diagnosis of hybrid system using model of the supervisory controller},
	booktitle = {12th Intl. Workshop on Principles of Diagnosis (Dx {\textquoteright}01)},
	year = {2001},
	month = {March},
	address = {via Lattea, Italy},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/ISIS_3_0_2001_Efficient_.pdf},
	author = {Narasimhan, Sriram and Biswas, Gautam}
}
