| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design
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
Cited literature [6 references]
https://hal.inria.fr/inria-00526268
Contributor : Hervé Marchand Connect in order to contact the contributor
Submitted on : Thursday, October 14, 2010 - 10:42:18 AM
Last modification on : Friday, February 4, 2022 - 3:15:20 AM
Long-term archiving on: : Saturday, January 15, 2011 - 2:40:27 AM
Contributor : Hervé Marchand Connect in order to contact the contributor
Submitted on : Thursday, October 14, 2010 - 10:42:18 AM
Last modification on : Friday, February 4, 2022 - 3:15:20 AM
Long-term archiving on: : Saturday, January 15, 2011 - 2:40:27 AM
File
2001-CDC-Signal.pdf
Publisher files allowed on an open archive