Abstract
We present the integration controller synthesis techniques in the signalenvironment (cx1Le Guernic et al., 1991) through the description of a tool dedicated to the safe construction of reactive system 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 (cx2Marchand et al, 1998). The control of the plant is performed by restricting the controllable input values to values suitable with respect to the control objectives (logical or optimal). This restriction is obtained by incorporating new algebraic equations to the initial system.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Le Guernic, P., Gautier, T., Le Borgne, M., and Le Maire, C. (1991). Programming real-time applications with signal. Proceedings of the IEEE, 79(9):1321–1336.
Marchand, H., Bournai, P., Le Borgne, M., and Le Guernic, P. (1998). 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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media New York
About this chapter
Cite this chapter
Marchand, H., Bournai, P., Le Borgne, M., Le Guernic, P. (2000). Synthesis of discrete controllers based on the signal Environment. In: Boel, R., Stremersch, G. (eds) Discrete Event Systems. The Springer International Series in Engineering and Computer Science, vol 569. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-4493-7_54
Download citation
DOI: https://doi.org/10.1007/978-1-4615-4493-7_54
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7025-3
Online ISBN: 978-1-4615-4493-7
eBook Packages: Springer Book Archive