Spring til indhold
Forside

Researchers strive for better water control

Nyhed

Researchers strive for better water control

Water is one of the biggest challenges in the world. Some places get too much rain, others too little. Drinking water may be contaminated or in short supply. Water is, not without reason, the basic element of four of the Sustainable Development Goals. But digital technologies hold unused potential when it comes to optimizing current water management.

Nyhed

Researchers strive for better water control

Water is one of the biggest challenges in the world. Some places get too much rain, others too little. Drinking water may be contaminated or in short supply. Water is, not without reason, the basic element of four of the Sustainable Development Goals. But digital technologies hold unused potential when it comes to optimizing current water management.

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.


Contact

  • CLAIRE: Kim G. Larsen (PI), Thomas D. Nielsen and Jiri Srba from the Department of Computer Science, Aalborg University in collaboration with the Department of the Built Environment.
  • Verifiable and Safe AI for Autonomous Systems: Kim G. Larsen (PI) and Thomas D. Nielsen from the Department of Computer Science, Aalborg University together with Aarhus Vand, HOFOR, Seluxit and Grundfos