Modeling time in hybrid systems: how fast is "instantaneous"?
Many of today's electro-mechanical devices exhibit both continuous and discrete behavior. Modeling these hybrid systems presents special challenges for automated modeling and simulation. We show how non-standard analysis overcomes these challenges, provides a firm mathematical foundation, and satisfies our intuitions about the behavior of hybrid systems.
Iwasaki, Y. ; Farquhar, A.; Saraswat, V. A. ; Bobrow, D. G. ; Gupta, V. Modeling time in hybrid systems: how fast is "instantaneous"? Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI-95); 1995 August 20-25; Montreal; Canada. San Mateo, CA: Morgan Kaufmann for IJCAI; 1995; 2: 1773-1780.