Fungsi carian sedang dalam pembinaan.
Fungsi carian sedang dalam pembinaan.

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 Kawalan Optimum Jaring Petri Bermasa Di Bawah Kekangan Logik Temporal dengan Pengecualian Bersama Umum

Kohei FUJITA, Toshimitsu USHIO

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Makalah ini membentangkan kaedah baru untuk kawalan optimum jaring Petri bermasa, memperkenalkan kekangan berasaskan logik temporal baru yang dipanggil kekangan sementara pengecualian bersama umum (GMETC). GMETC diterangkan oleh formula logik temporal metrik (MTL) di mana setiap proposisi atom mewakili kekangan pengecualian bersama umum (GMEC). Kami merumuskan masalah kawalan optimum bagi jaring Petri bermasa di bawah GMETC tertentu dan menyelesaikan masalah dengan mengubahnya menjadi masalah pengaturcaraan linear integer di mana formula MTL dikodkan oleh ketaksamaan linear. Kami menunjukkan keberkesanan pendekatan yang dicadangkan melalui simulasi berangka.

Jawatankuasa
IEICE TRANSACTIONS on Fundamentals Vol.E105-A No.5 pp.808-815
Tarikh penerbitan
2022/05/01
Diumumkan
2021/10/13
ISSN dalam talian
1745-1337
DOI
10.1587/transfun.2021MAP0003
Jenis Manuskrip
Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
kategori

Pengarang

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

Kata kunci

Contents [show]