Modeling Time in Hybrid Systems: How Fast is "Instantaneous"?
Yumi Iwasaki, Adam Farquhar, Vijay Saraswat, Danny Bobrow, Vineet Gupta
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
© International Joint Conferences on Artificial Intelligence, 1995.