Synthesis of Discrete-Event Controllers Based on the Signal Environment

In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction of reactive controllers. The plant fied in SIGNAL and the control synthesis is performed on a logical abstraction of this program, named polynomial dynamical system (PDS) over Z/3Z = {-1, 0, +1}. The control of the plant is performed by restricting the controllable input values with respect to the control objectives. These restrictions are obtained by incorporating new algebraic equations into the initial system. This theory sets the basis for the verification and the controller synthesis tool, SIGALI. Moreover, we present a tool developed around the SIGNAL environment allowing the visualization of the synthesized controller by an interactive simulation of the controlled system. In a first stage, the user specifies in SIGNAL both the physical model and the control objectives to be ensured. A second stage is pe...

• Type: Journal
• Year: 2000
• Where: DEDS
• Authors: Hervé Marchand, Patricia Bournai, Michel Le Borgne, Paul Le Guernic
• Keywords: Controller Synthesis Techniques, DEDS 2000, Initial Signal Program, SIGNAL Environment