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

Proceedings of the IEEE Conference on Decision and Control

Volumn 4, Issue , 2001, Pages 3284-3289

  Benveniste, Albert ^a   Bournai, Patricia ^a   Gautier, Thierry ^a   Le Borgne, Michel ^a   Le Guernic, Paul ^a   Marchand, Hervé ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

Discrete event systems; Distributed architectures; Embedded code generation; Reactive systems

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DISCRETE TIME CONTROL SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS;

DISTRIBUTED ARCHITECTURES; EMBEDDED CODE GENERATION; REACTIVE SYSTEMS;

CONTROL SYSTEM SYNTHESIS;

EID: 0035711402     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. On the development of reactive systems
2. Real-time systems design and programming
3. The synchronous dataflow programming language lustre
4. Programming real-time applications with signal
5. Paradigms and puzzles in the theory of dynamical systems
6. On the incremental design of a power transformer station controller using controller synthesis methodology
7. Compositionality in dataflow synchronous languages: Specification & distributed code generation
8. From synchrony to asynchrony
9. Profiling of SIGNAL programs and its application in the timing evaluation of design implementations