This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology
August 2000 (vol. 26 no. 8)
pp. 729-741

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 techniques, the controller is automatically derived from this set of control objectives. In our case, the plant 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, ... properties, as well as partial order relations to be checked by the plant. The control objectives equations are synthesized using algebraic transformations.

[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,"The Synchronous Approach to Reactive Real-Time Systems," Proc. IEEE, Sept. 1991, pp. 1270-1282.
[3] P.J.G. Ramadge and W.M. Wonham, “The Control of Discrete Event Systems,” Proc. IEEE, Vol. 77, No. 1, Jan. 1989, pp. 81–97.
[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 Manipulation," IEEE Trans. Computers, Vol. C-35, No. 8, Aug. 1986, pp. 667-690.
[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.-A. Chen, "Verification of Arithmetic Functions with Binary Moment Diagrams," Technical Report CMU-CS-94-160, School of Computer Science, Carnegie Mellon Univ., June 1994.
[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. 11th 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.

Index Terms:
Discrete event systems, polynomial dynamical system, supervisory control problem, optimal control, Signal, Sigali, power plant.
Citation:
Hervé Marchand, Mazen Samaan, "Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology," IEEE Transactions on Software Engineering, vol. 26, no. 8, pp. 729-741, Aug. 2000, doi:10.1109/32.879811
Usage of this product signifies your acceptance of the Terms of Use.