Deterministic synchronization of bounded-delay automata

被引：8
|
作者：
Frougny, C
Sakarovitch, J [1 ]
机构：
[1] IBP, CNRS, Lab Informat Theor & Programmat, Paris, France
[2] Univ Paris 08, Paris, France
来源：
THEORETICAL COMPUTER SCIENCE | 1998年 / 191卷 / 1-2期
关键词：
D O I：
10.1016/S0304-3975(96)00305-2
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
It is shown that a subsequential automaton (i.e. an automaton deterministic with respect to the input) with bounded delay is equivalent to an on-line automaton, that is an automaton which is letter-to-letter after an initial period where it reads the input and output nothing, and subsequential. The results on the synchronisation of automaton with bounded delay established so far did not keep the property of being subsequential.
引用
收藏
页码：61 / 77
页数：17
相关论文
共 50 条
  • [1] ON THE CONSTRUCTION OF BOUNDED-DELAY ENCODABLE CODES FOR CONSTRAINED SYSTEMS
    HOLLMANN, HDL
    IEEE TRANSACTIONS ON INFORMATION THEORY, 1995, 41 (05) : 1354 - 1378
  • [2] Threshold and bounded-delay voting in critical control systems
    Caspi, P
    Salem, R
    FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 2000, 1926 : 70 - 81
  • [3] Byzantine self-stabilizing pulse in a bounded-delay model
    Dolev, Danny
    Hoch, Ezra N.
    STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS, 2007, 4838 : 234 - +
  • [4] A self-extracting accurate modeling for bounded-delay video services
    de Amorim, MD
    Duarte, OCMB
    COMPUTER COMMUNICATIONS, 2004, 27 (03) : 197 - 207
  • [5] Quality-of-service allocation for networks with bounded-delay service
    Chu, YP
    Lin, KC
    ELECTRONICS LETTERS, 2000, 36 (01) : 97 - 99
  • [6] Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications
    Takai, Shigemasa
    Kumar, Ratnesh
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2012, 57 (05) : 1259 - 1265
  • [7] CODES WITH BOUNDED SYNCHRONIZATION DELAY
    GOLOMB, SW
    GORDON, B
    INFORMATION AND CONTROL, 1965, 8 (04): : 355 - &
  • [8] Input-to-state stability of delayed systems with bounded-delay impulses
    Jiang, Bangxin
    Lou, Yijun
    Lu, Jianquan
    MATHEMATICAL MODELLING AND CONTROL, 2022, 2 (02): : 44 - 54
  • [9] Distributed diagnosis under bounded-delay communication of immediately forwarded local observations
    Qiu, Wenbin
    Kumar, Ratnesh
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 38 (03): : 628 - 643
  • [10] Distributed Prognosis of Discrete Event Systems under Bounded-Delay Communications
    Takai, Shigemasa
    Kumar, Ratnesh
    PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009), 2009, : 1235 - 1240
12345