Title : Viability algorithms and their applications
Speakers : Alexandra Fronville et Abdoulaye Sarr (Université de Brest Occidentale)
Abstract (French) :
Pour étudier les formes engendrées par un système multi-agent, et avoir un contrôle sur leur croissance, et sur la convergence du système vers une forme stable, il faut être capable de formaliser dans un espace métrique adéquate une métaphore de la dynamique cellulaire afin d’étudier mathématiquement les conditions de croissance et de stabilité d’une forme.
En mathématiques, les outils de l’analyse classique univoque (système dynamique, équation différentielle), ne sont pas adaptés pour étudier une cellule qui croît et se multiplie. C’est ce qui a motivé le développement de l’analyse morphologique et mutationnelle. Cette théorie offre un cadre mathématique adapté à l'étude des problèmes de morphogénèse, et offre une boîte à outils permettant d'étudier l'évolution de systèmes dynamiques multivoques. Elle permet de rechercher les conditions (décisions, états) dans lesquelles les contraintes opérationnelles (comme celles induites par le contexte ou l'utilisation des ressources) seront toujours satisfaites et donc dans lesquelles le système pourra fonctionner de manière durable.
Un « laboratoire virtuel » a été implémenté pour tester cette dynamique multivoque et pour tester si un système engendré par des équations morphologiques régulé est ”viable” dans un environnement donné.
