Skip to Main content Skip to Navigation
Theses

Approche formelle pour la modélisation et la simulation à évènements discrets de systèmes multi-agents

Abstract : This thesis addresses questions related to the reproducibility of numerical experiments in the context of complex environmental systems, and more specifically in the context of agent-based modeling. The activity can be seen to a numerical experiment, just like any other scientific experiment in an experimental discipline. Therefore, the description of MAS models should be shared in an unambiguous manner. To this end, we headed to a formal approach to describe models of structural and semantic point of view. We present in this manuscript two major contributions: an agent paradigm formalization proposal combined to design methods for models developments and an implementation of abstractions to facilitate the MAS development, according to the concepts defined by the formal approach through the Quartz tool. We also propose an implementation of the approach through two examples, in which the definition of a model is established from the informal description to its implementation.
Document type :
Theses
Complete list of metadata

https://tel.archives-ouvertes.fr/tel-03426947
Contributor : Abes Star :  Contact
Submitted on : Friday, November 12, 2021 - 5:23:09 PM
Last modification on : Saturday, November 13, 2021 - 3:53:44 AM

File

these_franceschini_romain.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-03426947, version 1

Collections

Citation

Romain Romain Franceschini. Approche formelle pour la modélisation et la simulation à évènements discrets de systèmes multi-agents. Autre [cs.OH]. Université Pascal Paoli, 2017. Français. ⟨NNT : 2017CORT0011⟩. ⟨tel-03426947⟩

Share

Metrics

Les métriques sont temporairement indisponibles