Obtaining unique input/output sequences of communication protocols

被引：0
|
作者：
Ming Chuan Univ, Taipei, Taiwan [1 ]
机构：
来源：
IEICE Trans Commun | / 10卷 / 1509-1513期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] On Preset Homing and Synchronizing Sequences for Observable Input/Output Automata
    Burdonov, I. B.
    Evtushenko, N. V.
    Kossachev, A. S.
    Kushik, N. G.
    AUTOMATION AND REMOTE CONTROL, 2023, 84 (06) : 606 - 611
  • [22] Improvements in FSM evolutions from partial input/output sequences
    Araujo, SG
    Mesquita, A
    Pedroza, ACP
    COMPUTATIONAL SCIENCE - ICCS 2004, PT 3, PROCEEDINGS, 2004, 3038 : 1265 - 1272
  • [23] On Preset Homing and Synchronizing Sequences for Observable Input/Output Automata
    I. B. Burdonov
    N. V. Evtushenko
    A. S. Kossachev
    N. G. Kushik
    Automation and Remote Control, 2023, 84 : 606 - 611
  • [24] MINIMAL DIMENSION REALIZATION AND IDENTIFIABILITY OF INPUT-OUTPUT SEQUENCES
    LIU, R
    SUEN, LC
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1977, 22 (02) : 227 - 232
  • [25] Periods of output sequences of an automaton for a given periodic input sequence
    Babash, A. V.
    DISCRETE MATHEMATICS AND APPLICATIONS, 2009, 19 (06): : 631 - 652
  • [26] Searching for optimal homing sequences for testing timed communication protocols
    Stulman, Ariel
    Journal of Networks, 2009, 4 (05) : 315 - 323
  • [27] Automated unique input output sequence generation for conformance testing of FSMs
    Derderian, K
    Hierons, RM
    Harman, M
    Guo, Q
    COMPUTER JOURNAL, 2006, 49 (03): : 331 - 344
  • [28] Input-Output Stability with Input-to-State Stable Protocols for Quantized and Networked Control Systems
    Tabbara, Mohammad
    Nesic, Dragan
    47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), 2008, : 2680 - 2685
  • [29] Automated unique input output sequence generation or conformance testing of FSMs
    Derderian, Karnig
    Hierons, Robert M.
    Harman, Mark
    Guo, Qiang
    Computer Journal, 2006, 49 (03): : 331 - 344
  • [30] Input-output stability of networked control systems with stochastic protocols and channels
    Tabbara, Mohammad
    Nesic, Dragan
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2008, 53 (05) : 1160 - 1175
12345