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 条
  • [41] Lossy communicating finite state machines
    Peng, WX
    Makki, K
    TELECOMMUNICATION SYSTEMS, 2004, 25 (3-4) : 433 - 448
  • [42] Bipolar Fuzzy Finite State Machines
    Jun, Young Bae
    Kavikumar, Jacob
    BULLETIN OF THE MALAYSIAN MATHEMATICAL SCIENCES SOCIETY, 2011, 34 (01) : 181 - 188
  • [43] Stochastic testing of finite state machines
    Hadjicostis, CN
    PROCEEDINGS OF THE 2001 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2001, : 4568 - 4573
  • [44] Lossy communicating finite state machines
    Peng, WX
    6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL X, PROCEEDINGS: MOBILE/WIRELESS COMPUTING AND COMMUNICATION SYSTEMS II, 2002, : 37 - 42
  • [45] INVERSES AND ADJOINTS OF FINITE STATE MACHINES
    PORTER, WA
    INTERNATIONAL JOURNAL OF CONTROL, 1977, 25 (02) : 201 - 211
  • [46] Products of fuzzy finite state machines
    Malik, DS
    Mordeson, JN
    Sen, MK
    FUZZY SETS AND SYSTEMS, 1997, 92 (01) : 95 - 102
  • [47] ON THE STRUCTURE OF FREE FINITE STATE MACHINES
    BEYNON, WM
    THEORETICAL COMPUTER SCIENCE, 1980, 11 (02) : 167 - 180
  • [48] Structural decomposition of finite state machines
    Bukowiec, Arkadiusz
    Barkalov, Alexander
    INTERNATIONAL JOURNAL OF ELECTRONICS AND TELECOMMUNICATIONS, 2009, 55 (02) : 243 - 267
  • [49] Incremental testing of finite state machines
    Chaves Pedrosa, Lehilton Lelis
    Moura, Arnaldo Vieira
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2013, 23 (08): : 585 - 612
  • [50] Supervisory control of finite state machines
    Aziz, A
    Balarin, F
    Brayton, RK
    DiBenedetto, MD
    Saldanha, A
    COMPUTER AIDED VERIFICATION, 1995, 939 : 279 - 292
12345