The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2001

The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design

Résumé

Harel and Pnueli showed (1985) that dynamical systems are an essential in the area of computer science. In this context they are called reactive systems. Synchronous languages have been proposed as a paradigm to deal with reactive systems and develop tools for them. In this paper we introduce synchronous programming paradigm via the notion of multiclock dynamical systems and illustrate it via the SIGNAL language. We give an outline of controller synthesis in SIGNAL, and system/architecture design

Domaines

Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
2001-CDC-Signal.pdf (148.63 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Hervé Marchand  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00526268

Soumis le : jeudi 14 octobre 2010-10:42:18

Dernière modification le : vendredi 24 mars 2023-14:52:53

Archivage à long terme le : samedi 15 janvier 2011-02:40:27

Télécharger pour visualiser

Dates et versions

inria-00526268 , version 1 (14-10-2010)

Identifiants

Citer

Albert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic, et al.. The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design. 40th IEEE Conference on Decision and Control, Dec 2001, Orlando, United States. pp.3284 - 3289, ⟨10.1109/.2001.980328⟩. ⟨inria-00526268⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE UR1-MATH-NUM
149 Consultations
303 Téléchargements

Altmetric

Partager

More