Using Rewriting Techniques in the Simulation of Dynamical Systems: Application to the Modeling of Sperm Crawling

Spicher, Antoine; Michel, Olivier

doi:10.1007/11428831_102

Cited by 7 publications

(4 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…An additional difficulty is to produce a graphical rendering of an n-BDG. Here also, MGS simplifies the problem by proposing graph layout algorithms that have been already proved relevant to represent graphically cells positions [19,22].…”

Section: A Generalization Of Gridsmentioning

confidence: 99%

Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections

Giavitto

Klaudel

Pommereau

2010

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

In this paper, we aim at modelling and analyzing the regulation processes in multi-cellular biological systems, in particular tissues. The modelling framework is based on interconnected logical regulatory networks a la Rene Thomas equipped with information about their spatial relationships. The semantics of such models is expressed through colored Petri nets to implement regulation rules, combined with topological collections to implement the spatial information. Some constraints are put on the the representation of spatial information in order to preserve the possibility of an enumerative and exhaustive state space exploration. This paper presents the modelling framework, its semantics, as well as a prototype implementation that allowed preliminary experimentation on some applications

show abstract

Section: A Generalization Of Gridsmentioning

confidence: 99%

Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections

Giavitto

Klaudel

Pommereau

2010

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

show abstract

“…Those for physical technologies such as nanobots or protocells need to be tailored for the physical capabilities of the embodying systems. Example of virtual technologies include Morphogenetic Engineering (ME) [5,6,26], Developmental Cellular Automata (DCA) [20,22], Generative Systems (GS) [11-13, 23, 24, 27], Self-Modifying Cartesian Genetic Programming (SMCGP) [8,21], and Spatial Computing (SC) [4,30,31].…”

Section: Seed Factorymentioning

confidence: 99%

Gardening Cyber-Physical Systems

Stepney

Diaconescu

Doursat

et al. 2012

Unconventional Computation and Natural Computation

Self Cite

View full text Add to dashboard Cite

Today's artefacts, from small devices to buildings and cities, are, or are becoming, cyber-physical socio-technical systems, with tightly interwoven material and computational parts. Currently, we have to laboriously build such systems, component by component, and the results are often difficult to maintain, adapt, and reconfigure. Even "soft"ware is brittle and non-trivial to adapt and change. If we look to nature, however, large complex organisms grow, adapt to their environment, and repair themselves when damaged. In this position paper, we present Gro-CyPhy, an unconventional computational framework for growing cyber-physical systems from computational seeds, and gardening the growing systems, in order to adapt them to specific needs. The Gro-CyPhy architecture comprises: a Seed Factory, a process for designing specific computational seeds to meet cyber-physical system requirements; a Growth Engine, providing the computational processes that grow seeds in simulation; and a Computational Garden, where multiple seeds can be planted and grown in concert, and where a high-level gardener can shape them into complex cyber-physical systems. We outline how the Gro-CyPhy architecture might be applied to a significant exemplar application: a (simulated) skyscraper, comprising several mutually interdependent physical and virtual subsystems, such as the shell of exterior and interior walls, electrical power and data networks, plumbing and rain-water harvesting, heating and airconditioning systems, and building management control systems.

show abstract

“…Applications of MGS in the biological field are described for example in [22,23,2,18,26,8]. The relations between MGS and the simulation of discrete dynamical systems are investigated in [25, ?…”

Section: Applications To (Ds)mentioning

confidence: 99%