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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Environmental modelling & software : with environment data news Jg. 30; H. 30; S. 123 - 138
Hauptverfasser:	Largouët, Christine, Cordier, Marie-Odile, Bozec, Yves-Marie, Zhao, Yulong, Fontenelle, Guy
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Ltd 01.04.2012 Elsevier
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!