Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |
Download paper Adobe portable document format (pdf)
Copyright noticeThis 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.
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, attractivity properties, as well as partial order relations to be checked by the plant. The control objectives equations are then synthesized using algebraic transformations.
Hervé Marchand
hmarchan@irisa.fr
@InProceedings{marchand99a,
Author = {Marchand, H. and Samaan, M.},
Title = {On the Incremental Design of a Power Transformer Station Controller using Controller Synthesis Methodology},
BookTitle = {World Congress on Formal Methods (FM'99), Volume 1709 of LNCS},
Pages = {1605--1624},
Publisher = {Springer-Verlag},
Address = {Toulouse, France},
Month = {October},
Year = {1999}
}
Get EndNote Reference (.ref)