Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |

marchand00d

H. Marchand, M. Samaan. Incremental Design of a Power Transformer Station Controller using Controller Synthesis Methodology. IEEE Transaction on Software Engineering, 26(8):729-741, August 2000.

Download [help]

Download paper: Doi page

Download paper: Adobe portable document (pdf) pdf

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic

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 these 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

Contact

Hervé Marchand http://people.rennes.inria.fr/Herve.Marchand/

BibTex Reference

@article{marchand00d,
   Author = {Marchand, H. and Samaan, M.},
   Title = {Incremental Design of a Power Transformer Station Controller using Controller Synthesis Methodology},
   Journal = {IEEE Transaction on Software Engineering},
   Volume = {26},
   Number = {8},
   Pages = {729--741},
   Month = {August},
   Year = {2000}
}

EndNote Reference [help]

Get EndNote Reference (.ref)