Incremental design of a power transformer station controller using a controller synthesis methodology

IEEE Transactions on Software Engineering

Volumn 26, Issue 8, 2000, Pages 729-741

  Marchand, Hervé ^a   Samaan, Mazen ^b  

^a INRIA   (France)

^b CAP AMPERE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEM SYNTHESIS; DATA FLOW ANALYSIS; DISCRETE TIME CONTROL SYSTEMS; ELECTRIC TRANSFORMERS; HIGH LEVEL LANGUAGES; INVARIANCE; MATHEMATICAL TRANSFORMATIONS; OPTIMAL CONTROL SYSTEMS; POLYNOMIALS; POWER CONTROL; SCADA SYSTEMS;

POLYNOMIAL DYNAMICAL SYSTEMS; POWER TRANSFORMER STATION CONTROLLERS; SIGALI PROGRAMMING LANGUAGE; SIGNAL PROGRAMMING LANGUAGE;

ELECTRIC POWER SYSTEMS;

EID: 0034244975     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.879811     Document Type: Article

References (20)

1. P. Le Guernic, T. Gautier, M. Le Borgne, and C. Le Maire, " Programming Real-Time Applications with Signal," Technical Report 582, IRISA, Apr. 1991.
2. A. Benveniste and G. Berry, " Real-Time Systems Designs and Programming," Proc. IEEE, vol. 79, no. 9, pp. 1270-1282, Sept. 1991.
3. P.J. Ramadge and W. M. Wonham, " The Control of Discrete Event Systems," Proc. IEEE; Special Issue on Dynamics of Discrete Event Systems, vol. 77, no. 1, pp. 81-98, 1989.
4. 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, vol. 7, pp. 151-190, 1997.
5. H. Melcher and K. Winkelmann, " Controller Synthesis for the Production Cell Case Study," Proc. Second Workshop Formal Methods in Software Practice, pp. 24-33, Mar. 1998.
6. H. Marchand, E. Rutten, and M. Samaan, " Synchronous Design of a Transformer Station Controller with Signal," Proc. Fourth IEEE Conf. Control Applications, pp. 754-759, Sept. 1995.
7. M. Le Borgne, H. Marchand, E. Rutten, and M. Samaan, " Formal Verification of Signal Programs: Application to a Power Transformer Station Controller," Proc. Fifth Int'l Conf. Algebraic Methodology and Software Technology (AMAST'96), pp. 271-285, July 1996.
8. P. Bournai and P. Le Guernic, " Un environnement graphique pour le langage signal," Technical Report 741, IRISA, Sept. 1993.
9. M. Le Borgne, A. Benveniste, and P. Le Guernic, " Polynomial Dynamical Systems over Finite Fields," Algebraic Computing in Control, pp. 212-222, Mar. 1991.
10. H. Marchand and M. Le Borgne "The Supervisory Control Problem of Discrete Event Systems Using Polynomial Methods," Research Report 1271, IRISA, Oct. 1999.
11. R.E. Bryant, " Graph-Based Algorithms for Boolean Function Manipulations," Proc. IEEE Trans. Computers, vol. 45, no. 8, pp. 677-691, Aug. 1986.
12. H. Marchand, E. Rutten, and M. Samaan, " Specifying and Verifying a Transformer Station in Signal and Signalgti," Research Report 2521, INRIA, Mar. 1995.
13. B. Dutertre and M. Le Borgne, " Control of Polynomial Dynamic Systems: An Example," Research Report 798, IRISA, Jan. 1994.
14. H. Marchand, P. Bournai, M. Le Borgne, and P. Le Guernic, " A Design Environment for Discrete-Event Controllers Based on the Signal Language," Proc. IEEE Int'l Conf. Systems, Man, and Cybernetics, pp. 770-775, Oct. 1998.
15. R.E. Bryant and Y. Chen, " Verification of Arithmetic Functions with Binary Diagrams," Research Report, School of Computer Science, Carnegie Mellon Univ., May 1995.
16. H. Marchand and M. Le Borgne, " On the Optimal Control of Polynomial Dynamical Systems Over z/pz," Proc. Fourth Int'l Workshop Discrete Event Systems, pp. 385-390, Aug. 1998.
17. H. Marchand and M. Le Borgne, " Partial Order Control of Discrete Event Systems Modeled as Polynomial Dynamical Systems," Proc. IEEE Int'l Conf. Control Applications, Sept. 1998.
18. A. Benveniste, T. Gautier, P. Le Guernic, and E. Rutten, " Distributed Code Generation of Dataflow Synchronous Programs: The Sacres Approach," Proc. llth Int'l Symp. Languages for Intensional Programming, Palo Alto, Calif., May 1998.
19. T. Amagbegnon, P. Le Guernic, H. Marchand, and E. Rutten, " Signal-The Specification of a Generic, Verified Production Cell Controller," Formal Development of Reactive Systems-Case Study Production Cell, chapter VII, pp. 115-129, Springer-Verlag, Jan. 1995.
20. E. Marchand, E. Rutten, H. Marchand, and F. Chaumette, " Specifying and Verifying Active Vision-Based Robotic Systems with the Signal Environment," Int'l J. Robotics Research, vol. 17, no. 4, pp. 418-432, Apr. 1998.