Mosterman, Pieter J.

4 publications

AAAI 1998 An Ontology for Transitions in Physical Dynamic Systems Pieter J. Mosterman, Feng Zhao, Gautam Biswas

IJCAI 1997 Formal Specifications for Hybrid Dynamical Systems Pieter J. Mosterman, Gautam Biswas

AAAI 1997 Monitoring, Prediction, and Fault Isolation in Dynamic Physical Systems Pieter J. Mosterman, Gautam Biswas

AAAI 1996 A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models Pieter J. Mosterman, Gautam Biswas