HAL : hal-00546156, version 1

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

IEEE Transactions on Software Engineering 26, 8 (2000) 729-741

Incremental Design of a Power Transformer Station Controller using a Controller Synthesis Methodology

Hervé Marchand 1, Mazen Samaan 2

(08/2000)

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 then synthesized using algebraic transformations.

1 :	EP-ATR (INRIA - IRISA)
	INRIA – CNRS : UMR6074 – Institut National des Sciences Appliquées (INSA) - Rennes – Université de Rennes 1
2 :	EDF R&D
	EDF

Domaine

:

Informatique/Systèmes embarqués

Mots Clés : discrete event systems – polynomial dynamical system – supervisory control problem – optimal control – Signal – Sigali – power plant

hal-00546156, version 1

http://hal.archives-ouvertes.fr/hal-00546156

oai:hal.archives-ouvertes.fr:hal-00546156

Contributeur : Thierry Gautier <>

Soumis le : Lundi 13 Décembre 2010, 17:57:42

Dernière modification le : Jeudi 16 Décembre 2010, 09:54:02