The Virtual Reality applied to the biology understanding: the in virtuo experimentation

International audienceThe advent of the computer and computer science, and in particular virtual reality, offers new experiment possibilities with numerical simulations and introduces a new type of investigation for the complex systems study: the in virtuo experiment. This work lies on the framework of multi-agent systems. We propose a generic model for systems biology based on reification of the interactions, on a concept of organization and on a multi-model approach. By 'reification' we understand that interactions are considered as autonomous agents. The aim has been to combine the systemic paradigm and the virtual reality to provide an application able to collect, simulate, experiment and understand the knowledge owned by different biologists working around an interdisciplinary subject. Here, we have been focused on the urticaria disease understanding. Autonomy is taken as a principle. The method permits to integrate different natures of model in the same application using chaotic asynchronous iterations and C++ library: AReVi. We have modeled biochemical reactions, molecular 3D diffusion, cell organizations and mechanical 3D interactions. It also permits to embed different expert system modeling methods like fuzzy cognitive maps. This work provides a toolbox easily adaptable to new biological studies

Modelling and analysis of structure in cellular signalling systems

Cellular signalling is an important area of study in biology. Signalling pathways are well-known abstractions that explain the mechanisms whereby cells respond to signals. Collections of pathways form signalling networks, and interactions between pathways in a network, known as cross-talk, enables further complex signalling behaviours. Increasingly, computational modelling and analysis is required to handle the complexity of such systems. While there are several computational modelling approaches for signalling pathways, none make cross-talk explicit. We present a modular modelling framework for pathways and their cross-talk. Networks are formed by composing pathways: different cross-talks result from different synchronisations of reactions between, and overlaps of, the pathways. We formalise five types of cross-talk and give approaches to reason about possible cross-talks in a network. The complementary problem is how to handle unstructured signalling networks, i.e. networks with no explicit notion of pathways or cross-talk. We present an approach to better understand unstructured signalling networks by modelling them as a set of signal flows through the network. We introduce the Reaction Minimal Paths (RMP) algorithm that computes the set of signal flows in a model. To the best of our knowledge, current algorithms cannot guarantee both correctness and completeness of the set of signal flows in a model. The RMP algorithm is the first. Finally, the RMP algorithm suffers from the well-known state space explosion problem. We use suitable partial order reduction algorithms to improve the efficiency of this algorithm

Task Allocation in Foraging Robot Swarms:The Role of Information Sharing

Autonomous task allocation is a desirable feature of robot swarms that collect and deliver items in scenarios where congestion, caused by accumulated items or robots, can temporarily interfere with swarm behaviour. In such settings, self-regulation of workforce can prevent unnecessary energy consumption. We explore two types of self-regulation: non-social, where robots become idle upon experiencing congestion, and social, where robots broadcast information about congestion to their team mates in order to socially inhibit foraging. We show that while both types of self-regulation can lead to improved energy efficiency and increase the amount of resource collected, the speed with which information about congestion flows through a swarm affects the scalability of these algorithms