复杂系统控制策略的简洁性，未必真简单。
Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis
- 从博弈论视角分析控制器策略的复杂性
- 揭示记忆与随机性对策略性能的影响
- 适合关注形式化验证与自动化控制的研究者
在反应式合成的博弈论方法中，将待控系统与其环境的交互建模为两方博弈，寻求系统对应的合适（如获胜或最优）策略。该策略可作为真实控制器的形式化蓝图。普遍认为简单策略（如使用有限记忆）更优：此类控制器更易设计理解，且生产维护成本更低。本文聚焦于多种合成场景下策略的复杂性，讨论近期关于记忆与随机性的研究成果，并简要探讨传统复杂性概念之外的新方向。
原文摘要 · Abstract (English)
In the game-theoretic approach to controller synthesis, we model the interaction between a system to be controlled and its environment as a game between these entities, and we seek an appropriate (e.g., winning or optimal) strategy for the system. This strategy then serves as a formal blueprint for a real-world controller. A common belief is that simple (e.g., using limited memory) strategies are better: corresponding controllers are easier to conceive and understand, and cheaper to produce and maintain. This invited contribution focuses on the complexity of strategies in a variety of synthesis contexts. We discuss recent results concerning memory and randomness, and take a brief look at what lies beyond our traditional notions of complexity for strategies.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。