Controllability of reaction systems
From MaRDI portal
Publication:1982983
Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Systems biology, networks (92C42) Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.) (92C45) Controllability (93B05)
Abstract: Controlling a dynamical system is the ability of changing its configuration arbitrarily through a suitable choice of inputs. It is a very well studied concept in control theory, with wide ranging applications in medicine, biology, social sciences, engineering. We introduce in this article the concept of controllability of reaction systems as the ability of transitioning between any two states through a suitable choice of context sequences. We show that the problem is PSPACE-hard. We also introduce a model of oncogenic signalling based on reaction systems and use it to illustrate the intricacies of the controllability of reaction systems.
Recommendations
Cites work
- A tour of reaction systems
- An excursion in reaction systems: from computer science to biology
- Complexity of model checking for reaction systems
- Complexity of the dynamics of reaction systems
- Constrained target controllability of complex networks
- Cycles and global attractors of reaction systems
- Dependency graphs and mass conservation in reaction systems
- Efficient simulation of reaction systems on graphics processing units
- Enjoying natural computing. Essays dedicated to Mario de Jesús Pérez-Jiménez on the occasion of his 70th birthday
- Functional constructions between reaction systems and propositional logic
- Functions and sequences generated by reaction systems
- scientific article; zbMATH DE number 3242549 (Why is no real title available?)
- Minimal and almost minimal reaction systems
- Minimal reaction systems defining subset functions
- Model checking temporal properties of reaction systems
- Multi-Stability, Limit Cycles, and Period-Doubling Bifurcation with Reaction Systems
- On state sequences defined by reaction systems
- On the complexity of occurrence and convergence problems in reaction systems
- Reachability in resource-bounded reaction systems
- Reaction System Models for the Heat Shock Response
- Reaction systems
- Simulation of reaction systems by the strictly minimal ones
- Two-step simulations of reaction systems by minimal ones
- Verification of linear-time temporal properties for reaction systems with discrete concentrations
Cited in
(14)- Controlled reversibility in reaction systems
- Ranks of strictly minimal reaction systems induced by permutations
- Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation
- Evolvability of reaction systems and the invisibility theorem
- Global controllability of chemical reactions
- Control of Traveling Solutions in a Loop-Reactor
- Dynamics and control of loop reactors: a review
- Numerical networks of cells
- Fixed points and attractors of reactantless and inhibitorless reaction systems
- A P systems variant for reasoning about sequential controllability of Boolean networks
- P versus B: P systems as a formal framework for controllability of Boolean networks
- Ranks of compositionally closed minimal reaction systems
- Strong regulatory graphs
- Cycles and global attractors of reactantless and inhibitorless reaction systems
This page was built for publication: Controllability of reaction systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1982983)
