Symbolic model checking: 1020 states and beyond
Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
Model-checking in dense real-time
Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
Theoretical Computer Science
Symbolic model checking for real-time systems
Information and Computation
Qualitative reasoning: modeling and simulation with incomplete knowledge
Qualitative reasoning: modeling and simulation with incomplete knowledge
Proving properties of continuous systems: qualitative simulation and temporal logic
Artificial Intelligence
Automated modeling of complex systems to answer prediction questions
Artificial Intelligence
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Computers and Biomedical Research
Protocol Verification as a Hardware Design Aid
ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Progress on the State Explosion Problem in Model Checking
Informatics - 10 Years Back. 10 Years Ahead.
Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
Efficient on-the-fly algorithms for the analysis of timed games
CONCUR 2005 - Concurrency Theory
Improving the landcover classification using domain knowledge
AI Communications
Computers and Electronics in Agriculture
Computational Biology and Chemistry
Environmental Modelling & Software
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Position Paper: Modelling with stakeholders
Environmental Modelling & Software
Modelling with stakeholders within a development project
Environmental Modelling & Software
Systems and Software Verification: Model-Checking Techniques and Tools
Systems and Software Verification: Model-Checking Techniques and Tools
Environmental Modelling & Software
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
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 in population regulations. Ecological modellers usually resort to numerical models supported by accurate data and extensive knowledge on biological processes. Unfortunately, the task becomes more difficult to model ecosystems with limited data and knowledge. Qualitative models may be more suitable for designing data-poor systems in a decision-aid context. We propose a new qualitative approach for ecosystem modelling based on timed automata (TA) formalism combined with a high-level query language for exploring scenarios. TA rely on a discrete-event system formalism to reproduce the temporal dynamics of a system. Combined with model-checking techniques, TA enable the exploration of system properties in response to a wide range of scenarios based on a temporal logic. Our applicative case concerns the evolution of different fish biomass along time according to fishing policies, especially when exogenous environmental issues may also be considered. We have developed this approach to model a simplified marine ecosystem subject to different fishing policies. Using predefined query patterns, we show that TA and model-checking are relevant tools to query timed properties of a fishery system in response to different management options. This modelling approach may be especially useful for fostering better discussion among all stakeholders involved in fisheries management.