Colloque

Contrôle et extension des systèmes à événements discrets temporel parallèlement observables

Ahmed Khoumsi

Membre a labase

Ahmed Khoumsi

Résumé du colloque

Une méthode a été proposée (Merlin et Bochmann, 1983) pour concevoir un sous-module M2 à adjoindre à un système à événements discrets (SED) M1, afin d'atteindre un comportement désiré M0. Pour cela, M2 interdit certaines séquences d'événements de M1 (contrôle) et ajoute des séquences d'événements à M1 (extension). Notons en passant, que M1 peut aussi bien être un programme qu'un système physique. Dans cette méthode, on a supposé que seulement M1 peut être interdit (commande bloquante) et seulement M1 est observable par M2. Dans une étude précédente, nous avons construit spécifié et synthétisé, en nous inspirant de la théorie des SED (Merlin et Bochmann, 1989). Les FSMs sont utilisés comme langage de spécification. Dans l'étude actuelle, M1 est un SED temporel (SEDTR), et le comportement désiré M0 est soumis à des contraintes temporelles. Dans ce cas, M2 doit interdire et aussi poser l'occurrence de certains événements. Notre approche du problème consiste à discrétiser le temps et à représenter l'écoulement d'une unité de temps par un événement particulier : t(op). Cette approche permet de transformer une problématique de contrôle en une problème équivalent non temporel: les automates temporisés S1 et S1, qui spécifient respectivement M1 et M0, sont transformés en des FSMs non temporisés S1t et S1t contenant l'événement t(op). Contrairement à des études antérieures, nous abordons le problème du contrôle et de l'extension des SEDTRs avec les trois cas suivants réunis: a) M1 est partiellement observable par M2; b) certains événements de M1 sont forçables par M2; c) M2 ajoute de nouveaux événements (extension de M1). Nous concevons alors la spécification (S1t;S1t) de M2. S1t est un FSM non temporisé contenant les fonctions et événements respectivement extension et contrôle. Et les fonctions v et e associent respectivement à tout état de S2t l'ensemble des événements interdits et celui des événements forcés.

Contexte

Section :

Informatique et recherche opérationnelle

Thème du colloque :

Informatique et recherche opérationnelle

Hôte : Université du Québec à Montréal

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Informatique et recherche opérationnelle

Impact des conventions de mesure de la complexité du logiciel sur l'effort de développement

Hadj Benyahia

Environnement pour l'analyse de traces

P. Salvai

Une sémantique relationnelle démoniaque

Fairouz Tchier

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Informatique et recherche opérationnelle

Contrôle et extension des systèmes à événements discrets temporel parallèlement observables

Ahmed Khoumsi