Modeling Time in Hybrid Systems: How Fast is "Instantaneous"?

Yumi Iwasaki, Adam Farquhar, Vijay Saraswat, Danny Bobrow, Vineet Gupta

Abstract

Many of today's electro-mechanical devices exhibit both continuous and discrete behaviour. Modeling these hybrid systems presents special challenges for automated modeling and simulation. We show how nonstandard analysis overcomes these challenges, provides a firm foundation, and satisfies our intuitions about the behavior of hybrid systems.

Postscript file.