H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic. Synthesis of Discrete-Event Controllers based on the Signal Environment. Discrete Event Dynamic System: Theory and Applications, 10(4):325-346, October 2000.
Download paper:
Doi page
Download paper:
Adobe portable document (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 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 http://www.irisa.fr/prive/hmarchan
@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)
|
| VerTeCs
| Team
| Publications
| New Results
| Softwares
|
Irisa - Inria - Copyright 2005 © Projet VerTeCs |