Controller/Orchestrator Synthesis via Filtration
Electronic Notes in Theoretical Computer Science(2010)
摘要
The present paper is interested in the following decision problems: (1) given finite frames F, F^', determine if there exists a frame F^'' such that F and F^'@?F^'', the synchronous product of F^' and F^'', are bisimilar; (2) given finite frames F, F^', determine if there exists a frame F^'' such that F and F^'@?F^'', the asynchronous product of F^' and F^'', are bisimilar. It shows that variants of the filtration method are adequate for solving them.
更多查看译文
关键词
asynchronous product,frame f,orchestrator synthesis,filtration method,controller synthesis,present paper,filtration,finite frames f,modal logic,bisimulation,following decision problem,synchronous product,decision problem
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要