Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |


H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic. A Design Environment for Discrete-Event Controllers based on the SIGNAL Language. In 1998 IEEE International Conf. On Systems, Man, And Cybernetics, Pages 770-775, San Diego, California, USA, October 1998.

Download [help]

Download paper: Adobe portable document (pdf) pdf

Copyright notice: This 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.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic


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 http://www.irisa.fr/prive/hmarchan

BibTex Reference

   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}

EndNote Reference [help]

Get EndNote Reference (.ref)

| VerTeCs | Team | Publications | New Results | Softwares |
Irisa - Inria - Copyright 2005 © Projet VerTeCs