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

Synthesis of Reliable Decentralized Supervisors for Discrete Event Systems Sintesis Penyelia Terdesentralisasi Boleh Dipercayai untuk Sistem Acara Diskret

Shigemasa TAKAI, Toshimitsu USHIO

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Kami menganggap sistem acara diskret yang dikawal oleh penyelia terpencar yang terdiri daripada n penyelia tempatan. Memandangkan bahasa yang tidak kosong dan tertutup sebagai spesifikasi sempadan atas, kami menganggap masalah untuk mensintesis penyelia terpencar yang boleh dipercayai supaya tingkah laku gelung tertutup masih sah di bawah kemungkinan kegagalan yang kurang daripada atau sama dengan n-k (1 k n) penyelia tempatan. Kami mensintesis dua penyelia terpencar yang boleh dipercayai. Satu disintesis berdasarkan subbahasa normal yang ditakrifkan sesuai. Yang satu lagi ialah penyelia terpencar sepenuhnya yang disebabkan oleh penyelia terpusat yang ditakrifkan sesuai. Kami kemudian menunjukkan bahawa bahasa yang dijana di bawah tindakan kawalan kedua-dua penyelia terdesentralisasi ini tidak dapat dibandingkan.

Jawatankuasa
IEICE TRANSACTIONS on Fundamentals Vol.E83-A No.11 pp.2212-2218
Tarikh penerbitan
2000/11/25
Diumumkan
ISSN dalam talian
DOI
Jenis Manuskrip
Special Section PAPER (Special Section on Concurrent Systems Technology)
kategori

Pengarang

Kata kunci

Contents [show]