CONTINUOUS STATE MODELS FOR FINITE STATE MACHINES

被引：2

作者：

PORTER, WA ^{[1
]}

机构：

[1] UNIV MICHIGAN,COMP INFORMAT & CONTROL ENGN,ANN ARBOR,MI 48104

来源：

INTERNATIONAL JOURNAL OF CONTROL | 1977年 / 25卷 / 02期

关键词：

D O I：

10.1080/00207177708922220

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：165 / 183

页数：19

共 50 条

[21] Synthesis of finite state machines for improved state verification
Ahmad, InItiaz
Ali, Faridah M.
Das, A. Shoba
COMPUTERS & ELECTRICAL ENGINEERING, 2006, 32 (05) : 349 - 363
[22] A parallel algorithm for state assignment of finite state machines
Hasteer, G
Banerjee, P
IEEE TRANSACTIONS ON COMPUTERS, 1998, 47 (02) : 242 - 246
[23] Evolutionary state assignment for synchronous finite state machines
Nedjah, N
Mourelle, LD
COMPUTATIONAL SCIENCE - ICCS 2004, PT 3, PROCEEDINGS, 2004, 3038 : 1289 - 1296
[24] The state reduction of nondeterministic finite-state machines
Damiani, M
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1997, 16 (11) : 1278 - 1291
[25] Twofold State Assignment for the Moore Finite State Machines
A. A. Barkalov
L. A. Titarenko
A. V. Baev
A. V. Matviienko
Cybernetics and Systems Analysis, 2023, 59 : 27 - 38
[26] Evolutionary algorithm for state assignment of finite state machines
Chyzy, M
Kosinski, W
EUROMICRO SYMPOSIUM ON DIGITAL SYSTEM DESIGN, PROCEEDINGS: ARCHITECTURES, METHODS AND TOOLS, 2002, : 359 - 362
[27] State assignment and logic optimization for finite state machines
Czerwinski, Robert
Kania, Dariusz
IFAC WORKSHOP ON PROGRAMMABLE DEVICES AND EMBEDDED SYSTEMS (PDES 2009), PROCEEDINGS, 2009, : 39 - 44
[28] On state reduction of incompletely specified finite state machines
Goren, Sezer
Ferguson, F. Joel
COMPUTERS & ELECTRICAL ENGINEERING, 2007, 33 (01) : 58 - 69
[29] Structural Models for Failure Detection of Moore Finite-State Machines
V. V. Solov’ev
Journal of Computer and Systems Sciences International, 2023, 62 : 977 - 990
[30] Structural Models for Failure Detection of Moore Finite-State Machines
Solov'ev, V. V.
JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 2023, 62 (06) : 977 - 990

← 1 2 3 4 5 →