English
Related papers

Related papers: Robust Biomolecular Finite Automata

200 papers

Reaction systems are a formal model that has been introduced to investigate the interactive behaviors of biochemical reactions. Based on the formal framework of reaction systems, we propose new computing models called reaction automata that…

Formal Languages and Automata Theory · Computer Science 2011-11-29 Fumiya Okubo , Satoshi Kobayashi , Takashi Yokomori

We present a computational method for performing structural translation, which has been studied recently in the context of analyzing the steady states and dynamical behavior of mass-action systems derived from biochemical reaction networks.…

Optimization and Control · Mathematics 2018-08-29 Matthew D. Johnston , Evan Burton

In automata theory, while determinisation provides a standard route to solving many common problems in automata theory, some weak forms of nondeterminism can be dealt with in some problems without costly determinisation. For example, the…

Formal Languages and Automata Theory · Computer Science 2026-05-29 Thomas A. Henzinger , Keya Prakash , K. S. Thejaswini

Neural Cellular Automata (NCA) are a powerful combination of machine learning and mechanistic modelling. We train NCA to learn complex dynamics from time series of images and PDE trajectories. Our method is designed to identify underlying…

Pattern Formation and Solitons · Physics 2024-04-23 Alex D. Richardson , Tibor Antal , Richard A. Blythe , Linus J. Schumacher

Homeostasis occurs in a biological system when a chosen output variable remains approximately constant despite changes in an input variable. In this work we specifically focus on biological systems which may be represented as chemical…

Quantitative Methods · Quantitative Biology 2024-07-19 Jiaxin Jin , Grzegorz A. Rempala

Simulating chemical reaction networks is often computationally demanding, in particular due to stiffness. We propose a novel simulation scheme where long runs are not simulated as a whole but assembled from shorter precomputed segments of…

Logic in Computer Science · Computer Science 2022-06-22 Martin Helfrich , Milan Češka , Jan Křetínský , Štefan Martiček

In this work we present an efficient and practically implementable approach for the application of reinforcement learning (RL)-based control in chemical process systems. This is an area that has yet to widely adopt RL-based control largely…

Systems and Control · Electrical Eng. & Systems 2026-05-21 Austin Braniff , Yuhe Tian

Human-designed rules are widely used to build industry applications. However, it is infeasible to maintain thousands of such hand-crafted rules. So it is very important to integrate the rule knowledge into neural networks to build a hybrid…

Computation and Language · Computer Science 2021-09-08 Shaobo Li , Qun Liu , Xin Jiang , Yichun Yin , Chengjie Sun , Bingquan Liu , Zhenzhou Ji , Lifeng Shang

We present briefly the Nondeterministic Waiting Time algorithm. Our technique for the simulation of biochemical reaction networks has the ability to mimic the Gillespie Algorithm for some networks and solutions to ordinary differential…

Formal Languages and Automata Theory · Computer Science 2009-07-28 John Jack , Andrei Paun

Recurrent Neural Networks (RNNs) have achieved tremendous success in processing sequential data, yet understanding and analyzing their behaviours remains a significant challenge. To this end, many efforts have been made to extract finite…

Computation and Language · Computer Science 2023-06-27 Zeming Wei , Xiyue Zhang , Yihao Zhang , Meng Sun

Robust machine learning for regulatory genomics is studied under biologically and technically induced distribution shifts. Deep convolutional and attention based models achieve strong in distribution performance on DNA regulatory sequence…

Genomics · Quantitative Biology 2026-02-20 Yiyao Yang

This study introduces the concept of finite element network analysis (FENA) which is a physics-informed, machine-learning-based, computational framework for the simulation of complex physical systems. The framework leverages the extreme…

Computational Physics · Physics 2021-02-24 Mehdi Jokar , Fabio Semperlotti

Chemical systems are interpreted through the species they contain and the reactions they may undergo, i.e., their chemical reaction network (CRN). In spite of their central importance to chemistry, the structure of CRNs continues to be…

Statistical Mechanics · Physics 2025-06-17 Alex Blokhuis , Martijn van Kuppeveld , Daan van de Weem , Robert Pollice

We introduce a new model of \emph{step} Chemical Reaction Networks (step CRNs), motivated by the step-wise addition of materials in standard lab procedures. Step CRNs have ordered reactants that transform into products via reaction rules…

We introduce a new motif for constructing robust digital logic circuits using input/output chemical reaction networks. These chemical circuits robustly handle perturbations in input signals, initial concentrations, rate constants, and…

Emerging Technologies · Computer Science 2018-08-22 Samuel J. Ellis , Titus H. Klinge , James I. Lathrop

Endowing continuum robots with compliance while it is interacting with the internal environment of the human body is essential to prevent damage to the robot and the surrounding tissues. Compared with passive compliance, active compliance…

Robotics · Computer Science 2024-01-30 David Jakes , Zongyuan Ge , Liao Wu

Grammatical inference consists in learning a formal grammar as a finite state machine or as a set of rewrite rules. In this paper, we are concerned with inferring Nondeterministic Finite Automata (NFA) that must accept some words, and…

Artificial Intelligence · Computer Science 2023-03-17 Tomasz Jastrzab , Frédéric Lardeux , Eric Monfroy

A family of results, referred to as inheritance results, tell us which enlargements of a chemical reaction network (CRN) preserve its capacity for nontrivial behaviours such as multistationarity and oscillation. In this paper, the following…

Dynamical Systems · Mathematics 2023-02-23 Murad Banaji

We show that neural networks can be optimized to represent minimum energy paths as continuous functions, offering a flexible alternative to discrete path-search methods such as Nudged Elastic Band (NEB). Our approach parameterizes reaction…

Machine Learning · Computer Science 2025-07-10 Kalyan Ramakrishnan , Lars L. Schaaf , Chen Lin , Guangrun Wang , Philip Torr

Modern data-driven control applications call for flexible nonlinear models that are amenable to principled controller synthesis and realtime feedback. Many nonlinear dynamical systems of interest are control affine. We propose two novel…

Machine Learning · Computer Science 2024-06-12 Kimia Kazemian , Yahya Sattar , Sarah Dean