Mealy-automata in which the output-equivalence is a congruence

被引：0

|

作者：

Babcsanyi, I.

Nagy, A.

机构：

来源：

Acta Cybernetica | 1994年 / 11卷 / 03期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 11 条

[1] The equivalence between quantum mealy automata and quantum Moore automata
Xi, Zhengjun
Wang, Xin
Li, Yongming
[J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2009, 46 (09): : 1523 - 1529
[2] Moore-automata in which the sign-equivalence is a Moore-congruence
Babcsanyi, I
Nagy, A
[J]. PUBLICATIONES MATHEMATICAE-DEBRECEN, 1995, 47 (3-4): : 393 - 401
[3] WHICH EQUIVALENCE SYSTEMS ARE CONGRUENCE DISTRIBUTIVE LATTICES
KURINNOI, GC
[J]. IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII MATEMATIKA, 1985, (12): : 67 - 68
[4] Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach
Yin, Xiang
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (05) : 2576 - 2581
[5] STATISTICAL INPUT-OUTPUT EQUIVALENCE OF AUTOMATA
BARASHKO, AS
[J]. AUTOMATION AND REMOTE CONTROL, 1987, 48 (09) : 1236 - 1240
[6] Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
Takai, Shigemasa
Ushio, Toshimitsu
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2012, 57 (03) : 798 - 804
[7] Supervisory Control of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions
Ushio, Toshimitsu
Takai, Shigemasa
[J]. 2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9, 2009, : 4260 - +
[8] Decentralized Diagnosis of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions
Takai, Shigemasa
Ushio, Toshimitsu
[J]. 2010 AMERICAN CONTROL CONFERENCE, 2010, : 2613 - 2618
[9] Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
Ushio, Toshimitsu
Takai, Shigemasa
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 61 (03) : 799 - 804
[10] EQUIVALENCE OF MEALY-TYPE AND MOORE-TYPE AUTOMATA AND A RELATION BETWEEN REDUCIBILITY AND MOORE-REDUCIBILITY
FLEISCHNER, H
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1977, 14 (01) : 1 - 16