Search papers, labs, and topics across Lattice.
This paper addresses the problem of safe and near-optimal gate control for Ringkoebing Fjord on the Danish west coast, where human operators currently manage gate operations to balance conflicting safety and performance objectives. The authors develop a digital twin of the fjord using Uppaal Stratego and leverage online learning to train gate controllers based on sea-level and wind speed forecasts. Results show that the learned controllers meet safety requirements, unlike a baseline, while maintaining comparable performance on other objectives.
Autonomous gate controllers can learn to manage complex, real-world environments like the Ringkoebing Fjord, achieving safety guarantees that surpass human-designed baselines.
Ringkoebing Fjord is an inland water basin on the Danish west coast separated from the North Sea by a set of gates used to control the amount of water entering and leaving the fjord. Currently, human operators decide when and how many gates to open or close for controlling the fjord's water level, with the goal to satisfy a range of conflicting safety and performance requirements such as keeping the water level in a target range, allowing maritime traffic, and enabling fish migration. Uppaal Stratego. We then use this digital twin along with forecasts of the sea level and the wind speed to learn a gate controller in an online fashion. We evaluate the learned controllers under different sea-level scenarios, representing normal tidal behavior, high waters, and low waters. Our evaluation demonstrates that, unlike a baseline controller, the learned controllers satisfy the safety requirements, while performing similarly regarding the other requirements.
