RT Journal Article
T1 Integrating river basin DSSs with model checking.
A1 Gallardo-Melgarejo, María del Mar
A1 Merino-Gómez, Pedro
A1 Panizo-Jaime, Laura
A1 Salmerón Moreno, Alberto
K1 Cuencas hidrográficas - Gestión
K1 Inundaciones - Control
K1 Sistemas de soporte a la decisión
K1 Métodos formales (Informática)
AB This paper presents a Decision Support System (DSS) based on formal methods for the management of complex river basins in flood scenarios. The DSS is the result of integrating two different DSSs. First, a DSS for dam management that uses the \spin model checker to produce the manoeuvres and the discharged water over time to satisfy user-defined constraints.Second, a DSS that performs numeric simulations of rainfall and water flow along the river basin, taking into account the water discharged by dams.By integrating these two DSSs, the user can define constraints over the parameters of the river basin and all the dams. We use \spin to find the sequences of dam manoeuvres that mitigate the effect of floods along the river basin, according to these constraints.This work is part of the SAID project, a European demonstration project whose main goal is to smartly manage river basins by means of the integration of different DSSs. The demonstrator basin is the Guadalhorce river basin, located in the south of Spain. We apply the method to develop a DSS for this river basin in particular, but the approach is general enough that it can be applied to any river basin.
PB Springer
YR 2017
FD 2017-10-24
LK https://hdl.handle.net/10630/30994
UL https://hdl.handle.net/10630/30994
LA spa
NO This work has been partially funded by the Spanish Ministry of Innovation and Science under grant TIN2015-67083-R (DADIoT) and the European Commission under FP7 Environment project SAID, Grant agreement 619132, and FEDER.
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 19 ene 2026