Partial Order Control and Optimal Control of Discrete Event Systems modeled as Polynomial Dynamical Systems over Galois fields

Hervé Marchand 1 Michel Le Borgne 1
1 EP-ATR - Environnement de programmation d'applications temps réel
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : In this paper, we propose computational methods for the synthesis of controllers for discrete event systems modeled by polynomial dynamical systems over finite Galois field. The control objectives are specified as order relations to be checked and as minimization of a given cost function over the states through the trajectories of the system. The control objectives are then synthesized using algebraic tools such as ideals, varieties and morphisms. The applications of these methods to the safety specification of a power transformer station controller is finally presented.
Type de document :
Rapport
[Research Report] RR-3273, INRIA. 1997
Liste complète des métadonnées

https://hal.inria.fr/inria-00073416
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 12:44:51
Dernière modification le : mercredi 16 mai 2018 - 11:23:02
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:45:53

Fichiers

Identifiants

  • HAL Id : inria-00073416, version 1

Citation

Hervé Marchand, Michel Le Borgne. Partial Order Control and Optimal Control of Discrete Event Systems modeled as Polynomial Dynamical Systems over Galois fields. [Research Report] RR-3273, INRIA. 1997. 〈inria-00073416〉

Partager

Métriques

Consultations de la notice

221

Téléchargements de fichiers

103