loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: María del Mar Gallardo 1 ; Pedro Merino 1 ; Laura Panizo 1 and Antonio Linares 2

Affiliations: 1 University of Málaga, Spain ; 2 BEFESA AGUAS, SAU, Spain

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.202.198.173

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 (ICEIS 2009) - MSVVEIS; ISBN 978-989-8111-90-6, SciTePress, pages 125-131. DOI: 10.5220/0002194801250131

@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 (ICEIS 2009) - MSVVEIS},
year={2009},
pages={125-131},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002194801250131},
isbn={978-989-8111-90-6},
}

TY - CONF

JO - Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2009) - MSVVEIS
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
PB - SciTePress