Use of timed automata and model-checking to explore scenarios on ecosystem models

The interest to build ecosystem models is well acknowledged in order to improve the understanding of the sophisticated linkages between humans and natural species embedded within variable local and global environmental contexts. It is especially true when a complex temporal evolution intervenes as i...

Full description

Saved in:

Bibliographic Details
Published in:	Environmental modelling & software : with environment data news Vol. 30; no. 30; pp. 123 - 138
Main Authors:	Largouët, Christine, Cordier, Marie-Odile, Bozec, Yves-Marie, Zhao, Yulong, Fontenelle, Guy
Format:	Journal Article
Language:	English
Published:	Elsevier Ltd 01.04.2012 Elsevier
Subjects:	Artificial Intelligence biomass Computer Science computer software Decision-aid Discrete-event system Dynamical systems Dynamics Ecosystems environmental models fish fisheries fisheries management humans issues and policy marine ecosystems Mathematical models Model-checking Modelling Qualitative modelling Query patterns Scenario exploration stakeholders Tantalum Temporal logic Timed automata Qualitative modelling Discrete-event system Timed automata Decision-aid Scenario exploration Model-checking Query patterns decision-aid qualitative modelling discrete-event systems model-checking query patterns scenario exploration timed automata
ISSN:	1364-8152, 1873-6726
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!