Residuation of tropical series: Rationality issues

Eric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda
2011 IEEE Conference on Decision and Control and European Control Conference  
Decidability of existence, rationality of delay controllers and robust delay controllers are investigated for systems with time weights in the tropical and interval semirings. Depending on the (max,+) or (min,+)-rationality of the series specifying the controlled system and the control objective, cases are identified where the controller series defined by residuation is rational, and when it is positive (i.e., when delay control is feasible). When the control objective is specified by a
more » ... e, i.e. by two bounding rational series, a nice case is identified in which the controller series is of the same rational type as the system specification series. 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.
doi:10.1109/cdc.2011.6160228 dblp:conf/cdc/BadouelBDK11 fatcat:v4demwacavbzzmnzpnnavriodq