{"title":"A discrete-event systems approach to communication induced checkpointing","authors":"S. L. Ricker","doi":"10.1109/WODES.2002.1167671","DOIUrl":null,"url":null,"abstract":"A particular communication protocol for distributed computations is examined in the context of supervisory control. A critical part of these protocols allows for the formation of special system states the system reliably returns to in the event of deadlock or failure. The proposed discrete-event system makes use of Z-path theory from distributed computing literature to provide decentralized controllers with information to identify these special states.","PeriodicalId":435263,"journal":{"name":"Sixth International Workshop on Discrete Event Systems, 2002. Proceedings.","volume":"56 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2002-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Sixth International Workshop on Discrete Event Systems, 2002. Proceedings.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WODES.2002.1167671","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
A particular communication protocol for distributed computations is examined in the context of supervisory control. A critical part of these protocols allows for the formation of special system states the system reliably returns to in the event of deadlock or failure. The proposed discrete-event system makes use of Z-path theory from distributed computing literature to provide decentralized controllers with information to identify these special states.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
