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

Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications Penyelia Deterministik untuk Kawalan Kesamarataan Sistem Acara Diskret Tak Tentu Yang Diperhati Separa dengan Spesifikasi Deterministik

Kohei SHIMATANI, Shigemasa TAKAI

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Kami menganggap masalah kawalan bisimilariti untuk sistem peristiwa diskret tak tentu yang diperhatikan sebahagiannya dengan spesifikasi deterministik. Masalah ini memerlukan kita untuk mensintesis penyelia yang mencapai kesetaraan bisimulasi sistem yang diselia dan spesifikasi deterministik di bawah pemerhatian separa. Kami membentangkan syarat yang perlu dan mencukupi untuk kewujudan penyelia deterministik sedemikian dan menunjukkan bahawa syarat ini boleh disahkan secara polinomial.

Jawatankuasa
IEICE TRANSACTIONS on Fundamentals Vol.E104-A No.2 pp.438-446
Tarikh penerbitan
2021/02/01
Diumumkan
ISSN dalam talian
1745-1337
DOI
10.1587/transfun.2020MAP0004
Jenis Manuskrip
Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
kategori

Pengarang

Kohei SHIMATANI
  Osaka University
Shigemasa TAKAI
  Osaka University

Kata kunci

Contents [show]