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

@inproceedings{Benveniste2001TheSD,
  title={The SIGNAL declarative synchronous language : controller synthesis & systems / architecture design 1},
  author={Albert Benveniste and Patricia Bournai and Thierry Gautier and Michel Le Borgne and Paul Le Guernic and Herv{\'e} Marchand},
  year={2001}
}
Dynamical systems working have been recognized as esse tial in the area of computer science, under the name of reactive systems by David Harel.Synchronous languages have been proposed as a paradigm to deal with reactive syste and develop tools for them. In this paper we introduce syn chronous programming paradigm via the notion of multiclock dynamical systems and illustrate it via the S IGNAL language. We give an outline of controller synthesis in S IGNAL , and system/architecture design.