Quasi-synchronous approach for distributed control in synchronous systems

被引：0

作者：

Yeddes, M ^{[1
]}

Mullins, J ^{[1
]}

机构：

[1] Ecole Polytech, Dept Genie Elect & Genie Informat, Montreal, PQ H3C 3A7, Canada

来源：

PROCEEDINGS OF THE 2001 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL (ISIC'01) | 2001年

关键词：

distributed system; order-insensitivity; confluence;

D O I：

10.1109/ISIC.2001.971513

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper show how we can transform a synchronous system into a globally asynchronous locally synchronous systems in which each site behaves synchronously while the exchange between sites are asynchronous. This is a case of synchronous distributed systems called quasi-synchronous systems. We investigate in this paper a hybrid system, where we show that the continuous control have no problem when distribution unlike to the discrete sequential one. We propose here a method allowing the validation of the distributed system through the validation of the centralized one.

引用

页码：231 / 235

页数：5

共 50 条

[1] A quasi-synchronous approach for roll-forward recovery in distributed systems
Liu, H
Shen, L
Gu, M
Gupta, B
[J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, 2000, : 2117 - 2122
[2] Distributed Power Control in Quasi-synchronous Multi-Carrier CDMA Systems
Campos-Delgado, Daniel U.
Luna-Rivera, Martin
[J]. 2012 AMERICAN CONTROL CONFERENCE (ACC), 2012, : 466 - 471
[3] A Validation Approach for Quasi-Synchronous Checkpointing Algorithms in HPC Systems
Khlif, Houda
Kacem, Hatem Hadj
Hernandez, Saul E. Pomares
Kacem, Ahmed Hadj
[J]. 2017 IEEE/ACS 14TH INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS (AICCSA), 2017, : 622 - 629
[4] VERIFICATION OF QUASI-SYNCHRONOUS SYSTEMS WITH UPPAAL
Bhattacharyya, S.
Miller, S.
Yang, J.
Smolka, S.
Meng, B.
Sticksel, C.
Tinelli, C.
[J]. 2014 IEEE/AIAA 33RD DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2014,
[5] An efficient validation approach for quasi-synchronous checkpointing oriented to distributed diagnosability
Khlif, Houda
Kacem, Hatem Hadj
Pomares Hernandez, Saul E.
Kacem, Ahmed Hadj
Eichler, Cedric
Calixto Simon, Alberto
[J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2016, 122 : 364 - 377
[6] Sequences selection for quasi-synchronous CDMA systems
Jeszensky, PJE
Fitzgerald, JR
[J]. 1998 IEEE 5TH INTERNATIONAL SYMPOSIUM ON SPREAD SPECTRUM TECHNIQUES AND APPLICATIONS - PROCEEDINGS, VOLS 1-3, 1998, : 706 - 708
[7] Timing estimation for quasi-synchronous SDMA systems
Ma, SD
Ng, TS
[J]. 2004 9TH IEEE SINGAPORE INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS (ICCS), 2004, : 410 - 413
[8] Soundness of the Quasi-Synchronous Abstraction
Baudart, Guillaume
Bourke, Timothy
Pouzet, Marc
[J]. PROCEEDINGS OF THE 2016 16TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2016), 2016, : 9 - 16
[9] Quasi-synchronous orbits and their employment for the approach of a spacecraft to Phobos
Tuchin, A. G.
[J]. COSMIC RESEARCH, 2007, 45 (02) : 131 - 136
[10] Quasi-synchronous orbits and their employment for the approach of a spacecraft to Phobos
A. G. Tuchin
[J]. Cosmic Research, 2007, 45 : 131 - 136

← 1 2 3 4 5 →