Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |
Download paper Adobe portable document format (pdf)
Copyright noticeThis material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
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 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= {-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 performed by the Signal compiler which translates the initial Signal program into a PDS, and the control objectives in terms of polynomial relations/operations. The controller is then synthesized using Sigali. The result is a controller coded by a polynomial and then by a Ternary Decision Diagram (TDD). Finally, in a third stage, the obtained controller and some simulation processes are automatically included in the initial Signal program. It is then sufficient for the user to compile the resulting Signal program which generates executable code ready for simulation. Different academic examples are used to illustrate the application of the tool.
Hervé Marchand
hmarchan@irisa.fr
@article{marchand00c,
Author = {Marchand, H. and Bournai, P. and Le Borgne, M. and Le Guernic, P.},
Title = {Synthesis of Discrete-Event Controllers based on the Signal Environment},
Journal = {Discrete Event Dynamic System: Theory and Applications},
Volume = {10},
Number = {4},
Pages = {325--346},
Month = {October},
Year = {2000}
}
Get EndNote Reference (.ref)