Document Server@UHasselt >
Research >
Research publications >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/21581

Title: Minimal output unstable configurations in chemical reaction networks and deciders
Authors: Brijder, Robert
Issue Date: 2016
Publisher: SPRINGER
Citation: NATURAL COMPUTING, 15 (2), p. 235-244
Abstract: We study the set of output stable configurations of chemical reaction deciders (CRDs). It turns out that CRDs with only bimolecular reactions (which are almost equivalent to population protocols) have a special structure that allows for an algorithm to efficiently compute their finite set of minimal output unstable configurations. As a consequence, a relatively large set of configurations may be efficiently checked for output stability. We also provide a number of observations regarding the semilinearity result of Angluin et al. (Distrib Comput 20(4):279-304, 2007) from the context of population protocols (which is a central result for output stable CRDs). In particular, we observe that the computation-friendly class of totally stable CRDs has equal expressive power as the larger class of output stable CRDs.
Notes: [Brijder, Robert] Hasselt Univ, Diepenbeek, Belgium. [Brijder, Robert] Transnatl Univ Limburg, Diepenbeek, Belgium.
URI: http://hdl.handle.net/1942/21581
DOI: 10.1007/s11047-015-9506-5
ISI #: 000376763500005
ISSN: 1567-7818
Category: A1
Type: Journal Contribution
Validation: ecoom, 2017
Appears in Collections: Research publications

Files in This Item:

Description SizeFormat
published version583.51 kBAdobe PDF
preprint302.34 kBAdobe PDF

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.