安全且近最优的闸门控制：丹麦西海岸案例研究

Ringkoebing Fjord是丹麦西海岸的一个内陆水域盆地，与北海隔开的是一组用于控制进入和离开峡湾的水量的闸门。目前，人类操作员决定何时以及打开多少闸门来控制峡湾的水位，目标是满足一系列相互冲突的安全和性能要求，例如将水位保持在目标范围内、允许海上交通以及促进鱼类迁徙。Uppaal Stratego。随后，我们利用这一数字孪生模型，结合海平面和风速的预测，以在线方式学习一个闸门控制器。我们在不同的海平面场景下评估所学习的控制器，这些场景代表了正常的潮汐行为、高水位和低水位。我们的评估表明，与基线控制器不同，所学习的控制器满足安全要求，同时在其他要求方面的表现类似。