Abstract
In this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as simple properties, named control objectives, that the controlled plant has to satisfy. Then, using algebraic tec hniques, the controller is automatically derived from these set of con trol objectiv es. In our case, the plan t is specified at a high level, using the data-flow synchronous Signal language and then by its logical abstraction, named polynomial dynamical system. The control objectives are specified as invariance, reachability, attr activity properties, as well as partial order relations to be checked by the plant. The control objectives equations are then synthesized using algebraic transformations.
Acknowledgment
The authors gratefully acknowledge relevant comments from the anonymous reviewers of this paper.
This work was partially supported by Électricité de France (EDF) under contract number M64/7C8321/E5/11 and by the Esprit SYRF project 22703.
Chapter PDF
Similar content being viewed by others
Keywords
References
S. Balemi, G. J. Hoffmann, H. Wong-Toi, and G. F. Franklin. Supervisory control of a rapid thermal multiprocessor. IEEE Transactions on Automatic Control, 38(7):1040–1059, July 1993.
A. Benveniste and G. Berry. Real-time systems designs and programming. Proceedings of the IEEE, 79(9):1270–1282, September 1991.
R.E. Bryant and Chen Y. Verification of Arithmetic Functions with Binary Diagrams. Research Report, School of Computer Science CMU, May 1995.
B. Dutertre and M. Le Borgne. Control of polynomial dynamic systems: an example. Research Report 798, IRISA, January 1994.
L.E. Holloway, B.H. Krogh, and A. Giua. A survey of Petri net methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Application, 7:151–190, 1997.
M. Le Borgne, A. Benveniste, and P. Le Guernic. Polynomial dynamical systems over finite fields. In Algebraic Computing in Control, volume 165, pages 212–222. LNCIS, G. Jacob et F. Lamnabhi-lagarrigue, March 1991.
M. Le Borgne, H. Marchand, E. Rutten, and M. Samaan. Formal verification of signal programs: Application to a power transformer station controller. In Proceedings of AMAST’96, pages 271–285, Munich, Germany, July 1996. Springer-Verlag, LNCS 1101.
P. Le Guernic and T. Gautier. Data-flow to von Neumann: the SIGNAL approach. In Jean-Luc Gaudiot and Lubomir Bic, editors, Advanced Topics in Data-Flow Computing, chapter 15, pages 413–438. Prentice-Hall, 1991.
H. Marchand and M. Le Borgne. On the optimal control of polynomial dynamical systems over ℤ/pℤ. In 4th International Workshop on Discrete Event Systems, pages 385–390, Cagliari, Italy, August 1998.
H. Marchand and M. Le Borgne. Partial order control of discrete event systems modeled as polynomial dynamical systems. In 1998 IEEE International Conference On Control Applications, Trieste, Italia, September 1998.
H. Marchand, Bournai P., M. Le Borgne, and 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.
H. Marchand, E. Rutten, and M. Samaan. Synchronous design of a transformer station controller with Signal. In 4th IEEE Conference on Control Applications, pages 754–759, Albany, New-York, September 1995.
H. Melcher and K. Winkelmann. Controller synthesis for the production cell case study. In Proceedings of the 2nd Workshop on Formal Methods in Software Practice (FMSP-98), pages 24–33, New YOrk, March 4-5 1998. ACM Press.
P. J. Ramadge and W. M. Wonham. The control of discrete event systems. Proceedings of the IEEE; Special issue on Dynamics of Discrete Event Systems, 77(1):81–98, 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Marchand, H., Samaan, M. (1999). Incremental design of a Power transformer station controller using a controller synthesis methodology. In: Wing, J.M., Woodcock, J., Davies, J. (eds) FM’99 — Formal Methods. FM 1999. Lecture Notes in Computer Science, vol 1709. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48118-4_35
Download citation
DOI: https://doi.org/10.1007/3-540-48118-4_35
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66588-5
Online ISBN: 978-3-540-48118-8
eBook Packages: Springer Book Archive