论文标题
建设性混合游戏
Constructive Hybrid Games
论文作者
论文摘要
混合游戏是结合离散，连续和对抗性动态的模型。游戏逻辑可以证明（经典）获奖策略的存在。我们为混合游戏介绍了建设性的差异游戏逻辑（CDGL），在这种情况下，玩家可以赢得游戏对应于可计算的获胜策略的证据。这是合成正确控制和监视安全性网络物理系统的正确控制和监视代码的逻辑基础。我们的贡献包括新颖的静态和动态语义以及健全性和一致性。
Hybrid games are models which combine discrete, continuous, and adversarial dynamics. Game logic enables proving (classical) existence of winning strategies. We introduce constructive differential game logic (CdGL) for hybrid games, where proofs that a player can win the game correspond to computable winning strategies. This is the logical foundation for synthesis of correct control and monitoring code for safety-critical cyber-physical systems. Our contributions include novel static and dynamic semantics as well as soundness and consistency.
