Synthesis of discrete controllers based on the signal Environment

We present the integration controller synthesis techniques in the signalenvironment (cx1Le Guernic et al., 1991) through the description of a tool dedicated to the safe construction of reactive system controllers. The plant is specified in SIGNAL and the control synthesis is performed on a logical abstraction of this program, named polynomial dynamical system (PDS) over Z/3Z (cx2Marchand et al, 1998). The control of the plant is performed by restricting the controllable input values to values suitable with respect to the control objectives (logical or optimal). This restriction is obtained by incorporating new algebraic equations to the initial system.

[1]  Paul Le Guernic,et al.  A design environment for discrete-event controllers based on the SIGNAL language , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[2]  Thierry Gautier,et al.  Programming real-time applications with SIGNAL , 1991, Proc. IEEE.