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

Nonblocking Supervisory Control of Nondeterministic Systems Based on Multiple Deterministic Model Approach Contrôle de surveillance non bloquant des systèmes non déterministes basé sur une approche de modèles déterministes multiples

Seong-Jin PARK, Jong-Tae LIM

  • Vues en texte intégral

    0

  • Citer

Résumé:

Cet article présente un cadre pour le contrôle de supervision non bloquant de systèmes à événements discrets (DES) non déterministes utilisant un modèle déterministe multiple. Des conditions nécessaires et suffisantes pour l'existence d'un superviseur non bloquant à modèles multiples sont obtenues pour un modèle déterministe multiple. Nous montrons qu'un superviseur non bloquant à modèles multiples garantit le caractère non bloquant d'un système non déterministe original.

Publication
IEICE TRANSACTIONS on Information Vol.E83-D No.5 pp.1177-1180
Date de publication
2000/05/25
Publicisé
ISSN en ligne
DOI
Type de manuscrit
LETTER
Catégories
Théorie des automates, théorie du langage formel

Auteurs

Mots-clés

Table des matières