DocumentCode :
1401098
Title :
Incremental design of a power transformer station controller using a controller synthesis methodology
Author :
Marchand, Herveé ; Samaan, Mazen
Author_Institution :
IRISA/INRIA, Rennes, France
Volume :
26
Issue :
8
fYear :
2000
fDate :
8/1/2000 12:00:00 AM
Firstpage :
729
Lastpage :
741
Abstract :
The authors describe the incremental specification of a power transformer station controller using a controller synthesis methodology. They 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, called 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
Keywords :
control system synthesis; parallel languages; power system control; power transformers; algebraic techniques; algebraic transformations; control objectives; control objectives equations; controlled plant; controller synthesis methodology; data-flow synchronous SIGNAL language; high level specification; incremental design; incremental specification; invariance; logical abstraction; named control objectives; partial order relations; polynomial dynamical system; power transformer station controller; reachability; simple properties; Automatic control; Boolean functions; Circuit faults; Control system synthesis; Data structures; Equations; Optimal control; Polynomials; Power transformers; Signal synthesis;
fLanguage :
English
Journal_Title :
Software Engineering, IEEE Transactions on
Publisher :
ieee
ISSN :
0098-5589
Type :
jour
DOI :
10.1109/32.879811
Filename :
879811
Link To Document :
بازگشت