{"title":"Distributed Control Synthesis","authors":"D. Peled, S. Schewe","doi":"10.29007/4wwx","DOIUrl":null,"url":null,"abstract":"Synthesis of control for distributed systems is considered to be an undecidable problem, under the assumption that control is performed by supervisors synchronizing with the original processes and selectively blocking or supporting the enabled transitions. We described a decidable distributed control problem, where additional communications are allowed between supervisors. In this way, we synthesize control for invariants, reachability, repeated reachability and parity conditions. Special attention is given to reducing the number of added communications.","PeriodicalId":422904,"journal":{"name":"HOWARD-60","volume":"27 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2014-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"HOWARD-60","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.29007/4wwx","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Synthesis of control for distributed systems is considered to be an undecidable problem, under the assumption that control is performed by supervisors synchronizing with the original processes and selectively blocking or supporting the enabled transitions. We described a decidable distributed control problem, where additional communications are allowed between supervisors. In this way, we synthesize control for invariants, reachability, repeated reachability and parity conditions. Special attention is given to reducing the number of added communications.