arXiv:2503.06420v2 控制器类型: 修订 摘要：手动构建复杂系统的安全关键控制器非常困难。自动方法如控制器合成或学习提供了一种诱人的替代方案，但通常缺乏可解释性。为此目的，学习决策树（DTs）已被广泛用于生成控制器的可解释模型。然而，DTs没有利用共享决策概念，这是二元决策图（BDDs）中利用的一种关键概念，用于减少其大小并从而提高可解释性。在本文中，我们介绍了命题决策图（PDDs），它通过引入谓词扩展了BDDs，从而结合了DTs和BDDs在控制器表示中的优点。我们建立了一条合成管道，从表示控制器的决策树高效地构建PDDs，并利用BDDs的减少技术也应用于PDDs来构建PDDs。