Toggle Main Menu Toggle Search

Open Access padlockePrints

Reaction mining for reaction systems

Lookup NU author(s): Artur Meski, Professor Maciej Koutny

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

© 2018, Springer International Publishing AG, part of Springer Nature. Reaction systems are a formal model for specifying and analysing computational processes in which reactions operate on sets of entities (molecules), providing a framework for dealing with qualitative aspects of biochemical systems. This paper is concerned with reaction systems in which entities can have discrete concentrations and reactions operate on multisets of entities, providing a succinct framework for dealing with quantitative aspects of systems. This is facilitated by a dedicated linear-time temporal logic which allows one to express and verify a wide range of behavioural system properties. In practical applications, a reaction system with discrete concentrations may only be partially specified, and effective calculation of the missing details would provide an attractive design approach. To develop such an approach, this paper introduces reaction systems with parameters representing the unknown parts of the reactions. The main result is a method which attempts to replace these parameters in such a way that the resulting reaction system operating in a given external environment satisfies a given temporal logic formula. We provide a suitable encoding of parametric reaction systems in smt, and outline a synthesis procedure based on bounded model checking for solving the synthesis problem. We also provide preliminary experimental results demonstrating the feasibility of the new synthesis method.


Publication metadata

Author(s): Meski A, Koutny M, Penczek W

Editor(s): Susan Stepney and Sergey Verlan

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 17th International Conference on Unconventional Computation and Natural Computation (UCNC 2018)

Year of Conference: 2018

Pages: 131-144

Online publication date: 31/05/2018

Acceptance date: 02/04/2018

ISSN: 0302-9743

Publisher: Springer Verlag

URL: https://doi.org/10.1007/978-3-319-92435-9_10

DOI: 10.1007/978-3-319-92435-9_10

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783319924342


Actions

Find at Newcastle University icon    Link to this publication


Share