论文信息 - A design environment for discrete-event controllers based on the SIGNAL language

A design environment for discrete-event controllers based on the SIGNAL language

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.

Paul Le Guernic | Hervé Marchand | Patricia Bournai | M. Leborgne

[1] Randal E. Bryant,et al. Symbolic Boolean manipulation with ordered binary-decision diagrams , 1992, CSUR.

[2] A. Benveniste,et al. Dynamical systems over Galois fields and DEDS control problems , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[3] Michel Le Borgne,et al. Partial Order Control and Optimal Control of Discrete Event Systems modeled as Polynomial Dynamical , 1997 .

[4] P. Ramadge,et al. On the supermal controllable sublanguage of a given language , 1987 .

[5] Paul Le Guernic,et al. Polynomial dynamical systems over finite fields , 1991 .

[6] P. Le Guernic,et al. Hybrid dynamical systems theory and the Signal language , 1990 .

[7] Paul Le Guernic,et al. Un environnement graphique pour le langage SIGNAL , 1993 .

[8] P. Ramadge,et al. On the supremal controllable sublanguage of a given language , 1984, The 23rd IEEE Conference on Decision and Control.

[9] Bruno Dutertre,et al. Control of polynomial dynamic systems : an example , 1994 .

[10] Éric Rutten,et al. Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller , 1996, AMAST.