Nyhed
Researchers strive for better water control
![](https://prod-aaudxp-cms-001-app.azurewebsites.net/media/i51jrr3n/billede_claire_011202020_larshornpng.png?width=2)
Nyhed
Researchers strive for better water control
![](https://prod-aaudxp-cms-001-app.azurewebsites.net/media/i51jrr3n/billede_claire_011202020_larshornpng.png?width=2)
Researchers strive for better water control
Nyhed
Nyhed
Researchers from the Department of Computer Science, Aalborg University, respond to this in a number of projects, all having water as the primary focus.
In the research project CLAIRE, funded by the VILLUM, the researchers work with colleagues from the Department of the Built Environment at Aalborg University to improve the possibilities for controlling water in urban areas in order to prevent the number and extent of floods.
In the DIREC project Verifiable and Safe AI for Autonomous Systems, the researchers contribute to developing methods and tools to strengthen the safety of cyber-physical systems, including water systems. The project is carried out in collaboration with Aarhus Vand, HOFOR, Seluxit and Grundfos.
Both projects use UPPAAL Stratego, a further development of the tool UPPAAL that is used for improving, validating and constructing systems. The tool was developed at the Department of Computer Science in collaboration with Uppsala University – and is used in several applications – from controlling traffic and floor-heating systems to developing better decision-making tools for COVID-19 initiatives.