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.
Complete list of metadatas

Cited literature [254 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01706643
Contributor : Romain Franceschini <>
Submitted on : Monday, February 12, 2018 - 10:28:52 AM
Last modification on : Tuesday, October 20, 2020 - 11:23:53 AM
Long-term archiving on: : Monday, May 7, 2018 - 2:29:29 PM

File

Thèse finale archivable - Ro...
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01706643, version 1

Collections

Citation

Romain Franceschini. Approche formelle pour la modélisation et la simulation à évènements discrets de systèmes multi-agents. Modélisation et simulation. Université de Corse Pasquale Paoli, 2017. Français. ⟨tel-01706643⟩

Share

Metrics

Record views

326

Files downloads

460