Les systèmes à événements discrets qui mettent en jeu des phénomènes de synchronisation possèdent une description linéaire dans l'algèbre (max,+). Une théorie des systèmes linéaires dans les dioïdes, développée par analogie à la théorie conventionnelle des systèmes, a alors vu le jour. Dans ce mémoire, nous abordons des problèmes de commande des systèmes (max,+)-linéaires. Jusque-là, les commandes de systèmes linéaires dans les dioïdes ont principalement considéré le critère du juste-à-temps et des objectifs de commande comme la poursuite d'une trajectoire de référence ou la poursuite d'un transfert de référence. La première contribution à la commande réside dans la prise en compte d'un nouvel objectif pour la commande en juste-à-temps. Plus précisément, on considère des spécifications sous la forme de contraintes sur l'état du système. Ensuite, nous abordons un nouveau critère de commande. On s'intéresse à la synthèse d'un correcteur qui ralentit le moins possible le transfert du système tout en assurant un objectif de commande défini par un ensemble de contraintes sur l'état. Les réseaux de transport admettent une description linéaire dans l'algèbre (max,+). La dernière partie de ce mémoire est consacrée à leur étude. Plus précisément, on propose des outils pour l'évaluation de performances et la commande de ces systèmes. Le problème de synthèse de tables d'horaires est notamment formulé en un problème de commande de système (max,+)-linéaire.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00143884 |
| Date | 12 December 2006 |
| Creators | Houssin, Laurent |
| Publisher | Université d'Angers |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0025 seconds