Residuation of tropical series: rationality issues

Eric Badouel 1 Anne Bouillard 2, 3 Philippe Darondeau 1 Jan Komenda 4
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
3 TREC - Theory of networks and communications
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt
Résumé : Les questions abordées dans ce rapport concernent l'existence et la rationalité d'un contrôleur (retardateur) pour des systèmes représentés par des automates à poids, dans des semi-anneaux tropicaux. Selon la (min,plus) ou (max,plus)-rationalité des séries spécifiant le système à contrôler et l'objectif du contrôle, on identifie des cas où le contrôleur défini par résiduation de séries est rationel et où il est positif (le système est alors contrôlable). Quand l'objectif de contrôle est spécifié par un intervalle de tolérance (encadrement par deux séries), un cas est identifié pour lequel la série du contrôleur a le même type de rationalité, (max,plus) ou (min,plus), que la spécification du système.
Type de document :
Rapport
[Research Report] RR-7547, INRIA. 2011, pp.19
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00567390
Contributeur : Anne Bouillard <>
Soumis le : lundi 21 février 2011 - 10:33:53
Dernière modification le : vendredi 25 mai 2018 - 12:02:04
Document(s) archivé(s) le : dimanche 22 mai 2011 - 02:46:24

Fichier

RR-7547.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00567390, version 1

Citation

Eric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda. Residuation of tropical series: rationality issues. [Research Report] RR-7547, INRIA. 2011, pp.19. 〈inria-00567390〉

Partager

Métriques

Consultations de la notice

520

Téléchargements de fichiers

171