Incremental design of a po wer transformer station controller using a controller synthesis methodology?

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1709, Issue , 1999, Pages 1605-1624

  Marchand, Hervé ^a   Samaan, Mazen ^b  

^a INRIA   (France)

^b EDF R AND D   (France)

Author keywords

Discrete Event Systems; Polynomial Dynamical System; Power Plant; Signal; Supervisory Control Problem

Indexed keywords

ALGEBRA; DISCRETE EVENT SIMULATION; DYNAMICAL SYSTEMS; FORMAL METHODS; HIGH LEVEL LANGUAGES; POWER PLANTS; POWER TRANSFORMERS; SIGNALING;

ALGEBRAIC TECHNIQUES; ALGEBRAIC TRANSFORMATIONS; CONTROLLER SYNTHESIS; INCREMENTAL DESIGNS; PARTIAL ORDER RELATION; POLYNOMIAL DYNAMICAL SYSTEMS; SUPERVISORY CONTROL; TRANSFORMER STATIONS;

CONTROLLERS;

EID: 22844455580     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48118-4_35     Document Type: Conference Paper

References (14)

1. 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.
2. A. Benveniste and G. Berry. Real-time systems designs and programming. Proceedings of the IEEE, 79(9):1270-1282, September 1991.
3. R.E. Bryant and Chen Y. Verification of Arithmetic Functions with Binary Diagrams. Research Report, School of Computer Science CMU, May 1995.
4. B. Dutertre and M. Le Borgne. Control of polynomial dynamic systems: an example. Research Report 798, IRIS A, January 1994.
5. 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.
6. 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.
7. 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.
8. 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.
9. ℤ. In 4th International Workshop on Discrete Event Systems, pages 385-390, Cagliari, Italy, August 1998.
10. 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.
11. 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 Gonf. On Systems, Man, And Cybernetics, pages 770-775, San Diego, California, USA, October 1998.
12. 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.
13. 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.
14. 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.