SOSÍK, Petr, Vladimír SMOLKA, Jan DRASTIK, Jaroslav BRADÍK and Max H. GARZÓN. On the robust power of morphogenetic systems for time bounded computation. Online. In GHEORGHE, Marian; ROZENBERG, Grzegorz; SALOMAA, Arto; ZANDRON, Claudio. Lecture Notes in Computer Science. volume 10725. Cham: Springer Verlag, 2018, p. 270-292. ISBN 978-3-319-73359-3. Available from: https://dx.doi.org/10.1007/978-3-319-73359-3_18.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name On the robust power of morphogenetic systems for time bounded computation
Authors SOSÍK, Petr (203 Czech Republic, guarantor, belonging to the institution), Vladimír SMOLKA (203 Czech Republic, belonging to the institution), Jan DRASTIK (203 Czech Republic, belonging to the institution), Jaroslav BRADÍK (203 Czech Republic, belonging to the institution) and Max H. GARZÓN (840 United States of America).
Edition volume 10725. Cham, Lecture Notes in Computer Science, p. 270-292, 23 pp. 2018.
Publisher Springer Verlag
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Germany
Confidentiality degree is not subject to a state or trade secret
Publication form electronic version available online
WWW URL
RIV identification code RIV/47813059:19240/18:A0000084
Organization Filozoficko-přírodovědecká fakulta – Slezská univerzita v Opavě – Repository
ISBN 978-3-319-73359-3
ISSN 0302-9743
Doi http://dx.doi.org/10.1007/978-3-319-73359-3_18
Keywords in English Membrane computing; Probabilistic complexity; Atomic components; Bounded computation; Cell divisions; Geometric constraint; Living organisms; Local interactions
Tags SGS132016, ÚI
Tags International impact, Reviewed
Links LQ1602, research and development project.
Changed by Changed by: Mgr. Kamil Matula, učo 1145. Changed: 26/3/2018 08:48.
Abstract
The time appears ripe to enrich the original idea of membrane computing with principles of self-assembly in space. To this effect, a first step was taken with the introduction of a new such family of models M systems (for morphogenetic system) that own a number of basic macro-properties exhibited by higher living organisms (such as self-assembly, cell division akin to mitosis and self-healing), while still only leveraging local interactions of simple atomic components and explicit geometric constraints of their constituting elements. Here we further demonstrate that, experimentally in silico, M systems are in general also capable of demonstrating these properties robustly after being assembled from scratch from some atomic components and entering a homeostatic regime. The results are obtained through a series of experiments carried out with an M system simulator designed to implement this kind of model by researchers interested in exploring new capabilities. We further define probabilistic complexity classes for M systems and we show that the model is theoretically capable of solving NP-complete problems in P-time, despite apparent problems of an implementation, such as kinetic and concentration bottlenecks.
Print
Add to clipboard Displayed: 7/5/2024 20:11