Signal as a model for real-time and hybrid systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1992

Signal as a model for real-time and hybrid systems

Abstract

Hybrid systems are models of systems operating in real-time and handling events as well as "continuous" computations. The SIGNAL formalism for hybrid systems is presented in this extended abstract. Its expressive power is discussed and a general method to associate various formal systems with it is presented and illustrated on deriving the present SIGNAL compiler.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-1608.pdf (1.01 Mo) Télécharger le fichier

Dates and versions

inria-00074952 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00074952 , version 1

Cite

Albert Benveniste, Michel Le Borgne, Paul Le Guernic. Signal as a model for real-time and hybrid systems. [Research Report] RR-1608, INRIA. 1992. ⟨inria-00074952⟩
101 View
78 Download

Share

Gmail Facebook Twitter LinkedIn More