Modeling time in hybrid systems: how fast is "instantaneous"?

Authors:
Yumi Iwasaki;Adam Farquhar;Vijay Saraswat;Daniel Bobrow;Vineet Gupta
Affiliations:
Knowledge Systems Laboratory, Stanford University, Palo Alto, CA;Knowledge Systems Laboratory, Stanford University, Palo Alto, CA;Palo Alto Research Center, XEROX Corporation, Palo Alto, CA;Palo Alto Research Center, XEROX Corporation, Palo Alto, CA;Palo Alto Research Center, XEROX Corporation, Palo Alto, CA
Venue:
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Year:
1995

Citing 7
Cited 6

A qualitative physics based on confluences

Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Qualitative process theory

Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Exaggeration

Artificial Intelligence
Order of magnitude reasoning in qualitative differential equations

Readings in qualitative reasoning about physical systems
Order of magnitude reasoning

Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Concurrent constraint programming

Concurrent constraint programming
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems

Hybrid Systems

Multi-Dimensional Interval Algebra with Symmetry for Describing Block Layouts

GREC '99 Selected Papers from the Third International Workshop on Graphics Recognition, Recent Advances
On compositional modelling

The Knowledge Engineering Review
Set-theoretic estimation of hybrid system configurations

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Trajectory constraints in qualitative simulation

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
On transfinite hybrid automata

HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Non-standard semantics of hybrid systems modelers

Journal of Computer and System Sciences

Quantified Score

Hi-index	0.00

Visualization

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.