Using SCADE for Decision Support in Dam Management

María del Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares

2009

Abstract

Formal methods have been widely used to analyze discrete systems such as software. However, in recent years their field of application has been extended to deal with hybrid systems, that is, systems that combine both continuous and discrete behaviors. This paper presents the experimental use of formal methods in a new application domain, the management of dams. Such systems present hybrid behaviors which are not properly dealt with by classic numerical models. We use the tool SCADE, based on the formal language Lustre, to model, simulate and verify dam elements in order to obtain a Decision Support System (DSS) suitable for use by the dam operator.

References

  1. SCADE Language Reference Manual. http://www. esterel-technologies.com.
  2. Ferrari-Trecate, G., Mignone, D., Castagnoli, D., and Morari, M.: Mixed Logic Dynamical Model of a Hydroelectric Power Plant. In ADPM'2000.
  3. Frehse, G.: PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech. In HSCC'05.
  4. Glanzmann, G., von Siebenthal, M., Geyer, T., Papafotiou, G., and Morari, M.: Supervisory Water Level Control for Cascaded River Power Plants. In Int. Conf. on Hydropower, Stavanger, Norway, 2005.
  5. Jessen, J.J., Rasmussen, J.I., Larsen, K.G., and David, A.: Guided Controller Synthesis for Climate Controller Using UPPAAL Tiga. In FORMATS, 2007.
  6. Rajasekaram, V., and Nandalal, K.D.W.: Decision support system for reservoir water management conflict resolution. Journal of Water Resources Planning and Management, 2005.
  7. Romero, R., Linares, A., García, E., and L ópez, L.: Resevoir management in real time flood forecastig and decision support in the Ebro river basin. In ACTIF/FloodMan/FloodRelief, 2005.
  8. Torrisi, F., and Bemporad, A.: HYSDEL - A tool for generating computational hybrid models for analysis and synthesis problems. IEEE Trans. on Control Systems Technology, 2004.
Download


Paper Citation


in Harvard Style

del Mar Gallardo M., Merino P., Panizo L. and Linares A. (2009). Using SCADE for Decision Support in Dam Management . In Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2009) ISBN 978-989-8111-90-6, pages 125-131. DOI: 10.5220/0002194801250131


in Bibtex Style

@conference{msvveis09,
author={María del Mar Gallardo and Pedro Merino and Laura Panizo and Antonio Linares},
title={Using SCADE for Decision Support in Dam Management},
booktitle={Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2009)},
year={2009},
pages={125-131},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002194801250131},
isbn={978-989-8111-90-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2009)
TI - Using SCADE for Decision Support in Dam Management
SN - 978-989-8111-90-6
AU - del Mar Gallardo M.
AU - Merino P.
AU - Panizo L.
AU - Linares A.
PY - 2009
SP - 125
EP - 131
DO - 10.5220/0002194801250131