• DocumentCode
    2183169
  • 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
  • Volume
    4
  • fYear
    2001
  • fDate
    2001
  • Firstpage
    3284
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Decision and Control, 2001. Proceedings of the 40th IEEE Conference on
  • Conference_Location
    Orlando, FL
  • Print_ISBN
    0-7803-7061-9
  • Type

    conf

  • DOI
    10.1109/.2001.980328
  • Filename
    980328
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2183169