Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology
Issue No. 08 - August (2000 vol. 26)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.879811
<p><b>Abstract</b>—In this paper, we describe the incremental specification of a power transformer station controller using a <it>controller synthesis methodology</it>. We specify the main requirements as simple properties, named <it>control objectives</it>, 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 S<scp>ignal</scp> language, and then by its logical abstraction, named <it>polynomial dynamical system</it>. The control objectives are specified as <it>invariance, reachability, ...</it> properties, as well as<it> partial order relations</it> to be checked by the plant. The control objectives equations are synthesized using algebraic transformations.</p>
Discrete event systems, polynomial dynamical system, supervisory control problem, optimal control, Signal, Sigali, power plant.
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. , pp. 729-741, August 2000, doi:10.1109/32.879811