Title :
A design environment for discrete-event controllers based on the SIGNAL language
Author :
Marchand, Hervé ; Bournai, Patricia ; Leborgne, Michel ; Le Guernic, Paul
Author_Institution :
IRISA, Rennes, France
Abstract :
In this paper, we present the integration of a controller synthesis methodology in the SIGNAL environment through the description of a tool dedicated to the algebraic computation of a controller and then to the simulation of the controlled system. The same language is used to specify the physical model of the system and the control objectives. The controller is then synthesized using the formal calculus tool SIGALI. The result is then automatically integrated in a new SIGNAL program in order to obtain a simulation of the result.
Keywords :
control system CAD; discrete event systems; high level languages; SIGNAL language; algebraic computation; controller synthesis methodology; design environment; discrete-event controllers; formal calculus tool SIGALI; Automatic control; Clocks; Control system synthesis; Control systems; Equations; Polynomials; Signal design; Signal processing; Signal synthesis; Visualization;
Conference_Titel :
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
Print_ISBN :
0-7803-4778-1
DOI :
10.1109/ICSMC.1998.725501
