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

Optimal Control of Timed Petri Nets Under Temporal Logic Constraints with Generalized Mutual Exclusion Contrôle optimal des réseaux de Petri chronométrés sous contraintes logiques temporelles avec exclusion mutuelle généralisée

Kohei FUJITA, Toshimitsu USHIO

  • Vues en texte intégral

    0

  • Citer

Résumé:

Cet article présente une nouvelle méthode de contrôle optimal des réseaux de Petri temporisés, introduisant une nouvelle contrainte basée sur la logique temporelle appelée a contrainte temporelle d'exclusion mutuelle généralisée (GMETC). Le GMETC est décrit par une formule de logique temporelle métrique (MTL) où chaque proposition atomique représente une contrainte d'exclusion mutuelle généralisée (GMEC). Nous formulons un problème de contrôle optimal des réseaux de Petri temporisés sous un GMETC donné et résolvons le problème en le transformant en un problème de programmation linéaire en nombres entiers où la formule MTL est codée par des inégalités linéaires. Nous montrons l'efficacité de l'approche proposée par une simulation numérique.

Publication
IEICE TRANSACTIONS on Fundamentals Vol.E105-A No.5 pp.808-815
Date de publication
2022/05/01
Publicisé
2021/10/13
ISSN en ligne
1745-1337
DOI
10.1587/transfun.2021MAP0003
Type de manuscrit
Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Catégories

Auteurs

Kohei FUJITA
  Mitsubishi Electric Corporation,Osaka University
Toshimitsu USHIO
  Osaka University

Mots-clés

Table des matières