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

Decentralized Supervisory Control of Timed Discrete Event Systems with Conditional Decisions for Enforcing Forcible Events Contrôle de surveillance décentralisé des systèmes à événements discrets temporisés avec décisions conditionnelles pour appliquer des événements forcés

Shimpei MIURA, Shigemasa TAKAI

  • Vues en texte intégral

    0

  • Citer

Résumé:

Dans cet article, nous introduisons des décisions conditionnelles pour imposer des événements forcés dans le cadre de contrôle de supervision décentralisé pour les systèmes à événements discrets temporisés. Nous présentons dans un premier temps les conditions suffisantes pour l’existence d’un superviseur décentralisé aux décisions conditionnelles. Ces conditions suffisantes sont plus faibles que les conditions nécessaires et suffisantes pour l'existence d'un contrôleur décentralisé sans décisions conditionnelles. Nous montrons ensuite que les conditions suffisantes présentées sont également nécessaires sous l’hypothèse que si la survenance de l’événement tique, qui représente le passage d'une unité de temps, est illégal, alors un événement légal forcé qui devrait être forcé à se produire existe de manière unique. De plus, nous développons une méthode pour vérifier les conditions présentées sous la même hypothèse.

Publication
IEICE TRANSACTIONS on Fundamentals Vol.E103-A No.2 pp.417-427
Date de publication
2020/02/01
Publicisé
ISSN en ligne
1745-1337
DOI
10.1587/transfun.2019MAP0006
Type de manuscrit
Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Catégories

Auteurs

Shimpei MIURA
  Osaka University
Shigemasa TAKAI
  Osaka University

Mots-clés

Table des matières