The content introduces a contract-based synthesis framework for distributed logical controllers in two-objective parity games. It highlights the significance of permissive templates in enabling efficient negotiation mechanisms. The proposed approach aims to provide sound and complete solutions to distributed synthesis problems by locally co-synthesizing contracts and controllers.
The framework relies on the concept of permissive templates to collect an infinite number of controller candidates efficiently. It emphasizes adaptability, computability, and compositionality to achieve an effective negotiation process for contract-based distributed logical control.
By comparing their prototype tool CoSMo with existing tools on a robot motion planning benchmark suite, the authors showcase the superior performance of their approach. The content delves into examples illustrating how strategy templates can be composed and adapted flexibly to meet changing requirements in complex systems.
Til et andet sprog
fra kildeindhold
arxiv.org
Vigtigste indsigter udtrukket fra
by Ashwani Anan... kl. arxiv.org 03-08-2024
https://arxiv.org/pdf/2307.06212.pdfDybere Forespørgsler