Systems synchronisation in Max-Plus algebra: a controlled invariance perspective - In memoriam Édouard Wagneur
Résumé
We study the concept of systems synchronisation in Max-Plus algebra. We show that the problem of synchronising Max-Plus linear systems is twofold. It can be stated in terms of controlled invariance, and of coreachability. The controlled invariance is the property of a set for which a suitable control exists, that maintains the trajectory in the set. We recall some properties of controlled invariance, in particular the existence of a maximal controlled invariant set included into any given set. Beyond the determination of the admissible controlled invariant set, we define and study a problem of coreachability. The controlled invariant set is the target and we study the existence of a control law that brings the trajectory to the target from the initial state within a specific number of steps. We illustrate the study with an example from the literature.
Origine | Fichiers produits par l'(les) auteur(s) |
---|