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 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.
Hervé Marchand
hmarchan@irisa.fr
@InProceedings{marchand98d,
Author = {Marchand, H. and Bournai, P. and Le Borgne, M. and Le Guernic, P.},
Title = {A Design Environment for Discrete-Event Controllers based on the SIGNAL Language},
BookTitle = {1998 IEEE International Conf. On Systems, Man, And Cybernetics},
Pages = {770--775},
Address = {San Diego, California, USA},
Month = {October},
Year = {1998}
}
Get EndNote Reference (.ref)