{"title":"通信诱发检查点的离散事件系统方法","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":"{\"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}","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}
A discrete-event systems approach to communication induced checkpointing
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号
