marchand99a

H. Marchand, M. Samaan. On the Incremental Design of a Power Transformer Station Controller using Controller Synthesis Methodology. In World Congress on Formal Methods (FM'99), Volume 1709 of LNCS, Pages 1605-1624, Toulouse, France, October 1999.

Download [help]

Download paper: Adobe portable document (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, attractivity properties, as well as partial order relations to be checked by the plant. The control objectives equations are then synthesized using algebraic transformations

Contact

Hervé Marchand http://www.irisa.fr/prive/hmarchan

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)