Models for reactivity
A hierarchy of models that capture realistic aspects of reactive, real-time, and hybrid systems is introduced. On the most abstract level, the qualitative (non-quantitative) model of reactive systems captures the temporal precedence aspect of time. A more refined model is that of real-time systems,...
|Veröffentlicht in:||Acta informatica, Vol. 30, No. 7 (1993), p. 609-678|
|Weitere beteiligte Personen:|
|Anmerkung:||This research was supported in part by the National Science Foundation under grant CCR-92-23226, by the Defense Advanced Research Projects Agency under contract NAG2-703, by the United States Air Force Office of Scientific Research under contract F49620-93-1-0139, by the European Community ESPRIT Basic Research Action Project 6021 (REACT), and by the France-Israel project for cooperation in Computer Science. An extended abstract of this paper appeared in [MP92], while a preliminary version of Section 4 appeared in [MP93].|