DocumentCode
488069
Title
CAD environment for real-time control system
Author
Le Goff, Bernard ; Benveniste, Albert ; Figueira, Carlos ; Le Guernic, Paul
Author_Institution
IRISA-INRIA, Université de Rennes 1, Campus de Beaulieu, 35042 Rennes CEDEX, France. e-mail: blegoff@sigzag.irisa.fr
fYear
1989
fDate
21-23 June 1989
Firstpage
2666
Lastpage
2671
Abstract
The CAD environment SIGNAL for real-time control and signal processing systems design is presented in this paper. The following characteristics of the language are emphasized: easy specification of the application, reliability of the program development, powerful methods for checking basic properties of the application, automatic implementation from specification, and efficiency of the compiled code. The SIGNAL compiler is based on the theory of Hybrid Dynamical Systems and handles dynamical systems over the finitie field of integers modulo 3 to perform the compilation of SIGNAL programs.
Keywords
Aerospace electronics; Automatic control; Control system synthesis; Control systems; Design automation; Process control; Real time systems; Robotics and automation; Signal processing; Signal synthesis;
fLanguage
English
Publisher
ieee
Conference_Titel
American Control Conference, 1989
Conference_Location
Pittsburgh, PA, USA
Type
conf
Filename
4790640
Link To Document