The Community for Technology Leaders
Green Image
<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.

H. Marchand and M. Samaan, "Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology," in IEEE Transactions on Software Engineering, vol. 26, no. , pp. 729-741, 2000.
91 ms
(Ver 3.3 (11022016))