Résumé du séminaire du 23 Novembre 2005


Jan KOMENDA - Commande des systèmes à événements discrets concurrents aux observations partielles

Les systèmes à événements discrets modulaires (aussi dit concurrents) sont formés par une collection de modules (sous-systèmes locaux), où le système (automate) global est le produit synchrone des modules. De plus, les événements locaux ne sont pas tous observables, mais ils sont composés des événements observables et inobservables. Nous allons présenter des méthodes pour calculer les superviseurs optimaux (le moins restrictif) sans le recours à la construction du système globale. Les deux cas des spécifications locales (décomposables) et globales (indécomposables) seront considérés.