La fonctionnalité de recherche est en construction.
La fonctionnalité de recherche est en construction.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Weak Normality for Nonblocking Supervisory Control of Discrete Event Systems under Partial Observation Faible normalité pour le contrôle de surveillance non bloquant des systèmes à événements discrets sous observation partielle

Shigemasa TAKAI, Toshimitsu USHIO

  • Vues en texte intégral

    0

  • Citer

Résumé:

Dans cet article, nous étudions le contrôle de supervision non bloquant de systèmes à événements discrets sous observation partielle. Nous introduisons une condition de normalité faible définie en termes d'une carte de projection naturelle modifiée. La condition de normalité faible est plus faible que la condition d’origine et plus forte que la condition d’observabilité. De plus, il est conservé sous union. Étant donné une spécification de langage marquée, nous présentons une procédure de calcul du sous-langage suprême qui satisfait Lm(G)-fermeture, contrôlabilité et faible normalité. Il existe un superviseur non bloquant pour ce sous-langage suprême. Un tel superviseur est plus permissif que celui qui atteint le pouvoir suprême. Lm(G)-sous-langage fermé, contrôlable et normal.

Publication
IEICE TRANSACTIONS on Fundamentals Vol.E84-A No.11 pp.2822-2828
Date de publication
2001/11/01
Publicisé
ISSN en ligne
DOI
Type de manuscrit
Special Section PAPER (Special Section on Concurrent Systems Technology)
Catégories

Auteurs

Mots-clés

Table des matières