Title :
The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design
Author :
Benveniste, Albert ; Bournai, P. ; Gautier, Thierry ; Le Borgne, Michel ; Le Guernic, P. ; Marchand, Herve
Author_Institution :
INRIA, IRISA, Rennes, France
Abstract :
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
Keywords :
control system CAD; specification languages; SIGNAL declarative synchronous language; controller synthesis; multiclock dynamical systems; reactive systems; systems/architecture design; Clocks; Computer architecture; Computer science; Control system synthesis; Discrete event systems; Event detection; Natural languages; Sampling methods; Signal design; Signal synthesis;
Conference_Titel :
Decision and Control, 2001. Proceedings of the 40th IEEE Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-7061-9
DOI :
10.1109/.2001.980328
