A Design Environment for Discrete-Event Controllers based on the Signal Language

Hervé Marchand (1) , Patricia Bournai (1) , Michel Le Borgne (1) , Paul Le Guernic (1)

1 EP-ATR - Environnement de programmation d'applications temps réel

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.

Mots clés: 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

Domaines: Systèmes embarqués

Hervé Marchand, Patricia Bournai, Michel Le Borgne, Paul Le Guernic. A Design Environment for Discrete-Event Controllers based on the Signal Language. 1998 IEEE International Conference on Systems, Man, And Cybernetics (SMC '98), Oct 1998, San Diego, California, United States. pp.770-775, ⟨10.1109/ICSMC.1998.725501⟩. ⟨hal-00546362⟩