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

Gautam Biswas, Xudong Yu

Browse the full IJCAI paper archive.