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

Iwasaki, Yumi; Farquhar, Adam; Saraswat, Vijay A.; Bobrow, Daniel G.; Gupta, Vineet

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

Yumi Iwasaki, Adam Farquhar, Vijay A. Saraswat, Daniel G. Bobrow, Vineet Gupta

Download BibTeX Cite

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. Qualitative Reasoning and Diagnosis. Pages 1773-1780.

Abstract

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 nonstandard analysis overcomes these challenges, provides a firm mathematical foundation, and satisfies our intuitions about the behavior of hybrid systems.

Yumi Iwasaki, Adam Farquhar, Vijay A. Saraswat, Daniel G. Bobrow, and Vineet Gupta. 1995. Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"?. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95. IJCAI, 1773–1780. https://ijcai.org/proceedings/1995/228

@inproceedings{ijcai1995p228,
  title     = {Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"?},
  author    = {Iwasaki, Yumi and Farquhar, Adam and Saraswat, Vijay A. and Bobrow, Daniel G. and Gupta, Vineet},
  booktitle = {Proceedings of the Fourteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-95}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Chris S. Mellish},
  pages     = {1773--1780},
  year      = {1995},
  note      = {Qualitative Reasoning and Diagnosis},
  url       = {https://ijcai.org/proceedings/1995/228},
}

TY  - CPAPER
TI  - Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"?
AU  - Iwasaki, Yumi
AU  - Farquhar, Adam
AU  - Saraswat, Vijay A.
AU  - Bobrow, Daniel G.
AU  - Gupta, Vineet
T2  - Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1995
SP  - 1773
EP  - 1780
UR  - https://ijcai.org/proceedings/1995/228
ER  -