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

Gautam Biswas Xudong Yu

Published in: IJCAI (1993)

Keyphrases

formal methods
expert systems
building blocks
medical diagnosis
dynamic aspects
artificial intelligence
case study
distributed systems
intelligent systems
learning systems
complex systems
formal model
discrete event systems