English
Related papers

Related papers: Reachability Problems for Continuous Chemical Reac…

200 papers

Principles of feedback control have been shown to naturally arise in biological systems and successfully applied to build synthetic circuits. In this work we consider Biochemical Reaction Networks (CRNs) as a paradigm for modelling…

Systems and Control · Computer Science 2019-03-26 Max Whitby , Luca Cardelli , Marta Kwiatkowska , Luca Laurenti , Mirco Tribastone , Max Tschaikowski

The online estimation of the derivative of an input signal is widespread in control theory and engineering. In the realm of chemical reaction networks (CRN), this raises however a number of specific issues on the different ways to achieve…

Quantitative Methods · Quantitative Biology 2023-07-11 Mathieu Hemery , François Fages

We present here a combination of two networks, Recurrent Neural Networks (RNN) and Temporarily Convolutional Neural Networks (TCN) in de novo reaction generation using the novel Reaction Smiles-like representation of reactions (CGRSmiles)…

Machine Learning · Computer Science 2023-11-03 Andrei Buin , Hung Yi Chiang , S. Andrew Gadsden , Faraz A. Alderson

The interaction of phase-separating systems with chemical reactions is of great interest in various contexts, from biology to material science. In biology, phase separation is thought to be the driving force behind the formation of…

Soft Condensed Matter · Physics 2026-01-08 Franco Blanchini , Elisa Franco , Giulia Giordano , Dino Osmanovic

We show that if a chemical reaction network (CRN) admits nondegenerate (resp., linearly stable) oscillation, and we add new reversible reactions involving new species to this CRN, then the new CRN so created also admits nondegenerate…

Dynamical Systems · Mathematics 2021-06-14 Murad Banaji

A novel approach is presented for the solution of instantaneous chemical equilibrium problems. The chemical equilibrium can be considered, due to its intrinsically local character, as a mapping of the three-dimensional parameter space…

Astrophysics · Physics 2009-11-11 A. Asensio Ramos , H. Socas-Navarro

The pharmaceutical industry has witnessed exponential growth in transforming operations towards continuous manufacturing to effectively achieve increased profitability, reduced waste, and extended product range. Model Predictive Control…

Systems and Control · Computer Science 2018-07-26 Wee Chin Wong , Jiali Li , Xiaonan Wang

Chemical reaction network theory is a powerful framework to describe and analyze chemical systems. While much about the concentration profile in an equilibrium state can be determined in terms of the graph structure, the overall reaction's…

Molecular Networks · Quantitative Biology 2024-02-29 Tomoharu Suda

Deep learning has achieved remarkable success in learning representations for molecules, which is crucial for various biochemical applications, ranging from property prediction to drug design. However, training Deep Neural Networks (DNNs)…

Machine Learning · Computer Science 2023-04-28 Jun Xia , Yanqiao Zhu , Yuanqi Du , Stan Z. Li

Constrained reinforcement learning (CRL) has gained significant interest recently, since safety constraints satisfaction is critical for real-world problems. However, existing CRL methods constraining discounted cumulative costs generally…

Machine Learning · Computer Science 2022-06-08 Dongjie Yu , Haitong Ma , Shengbo Eben Li , Jianyu Chen

Analyzing synthesis pathways for target molecules in a chemical reaction network annotated with information on the kinetics of individual reactions is an area of active study. This work presents a computational methodology for searching for…

Computational Engineering, Finance, and Science · Computer Science 2026-03-31 Adittya Pal , Rolf Fagerberg , Jakob Lykke Andersen , Peter Dittrich , Daniel Merkle

We propose a framework for reasoning about unbounded dynamic networks of infinite-state processes. We propose Constrained Petri Nets (CPN) as generic models for these networks. They can be seen as Petri nets where tokens (representing…

Logic in Computer Science · Computer Science 2015-07-01 Ahmed Bouajjani , Cezara Dragoi , Constantin Enea , Yan Jurski , Mihaela Sighireanu

We investigate a class of stochastic chemical reaction networks with $n{\ge}1$ chemical species $S_1$, \ldots, $S_n$, and whose complexes are only of the form $k_iS_i$, $i{=}1$,\ldots, $n$, where $(k_i)$ are integers. The time evolution of…

Probability · Mathematics 2024-08-29 Lucie Laurence , Philippe Robert

The ability to detect whether a species (or dimension) is zero in Chemical Reaction Networks (CRN), Vector Addition Systems, or Petri Nets is known to increase the power of these models -- making them capable of universal computation. While…

Continuous time recurrent neural networks (CTRNN) are systems of coupled ordinary differential equations that are simple enough to be insightful for describing learning and computation, from both biological and machine learning viewpoints.…

Dynamical Systems · Mathematics 2021-06-18 Peter Ashwin , Claire M Postlethwaite

This paired article aims to develop an automated and programmable biochemical fully connected neural network (BFCNN) with solid theoretical support. In Part I, a concrete design for BFCNN is presented, along with the validation of the…

Dynamical Systems · Mathematics 2024-01-17 Yuzhen Fan , Xiaoyu Zhang , Chuanhou Gao , Denis Dochain

There has been an increasing interest in using neural networks in closed-loop control systems to improve performance and reduce computational costs for on-line implementation. However, providing safety and stability guarantees for these…

Systems and Control · Electrical Eng. & Systems 2020-04-20 Haimin Hu , Mahyar Fazlyab , Manfred Morari , George J. Pappas

The successful operation of cognitive radio (CR) between CR transmitter and CR receiver (CR link) relies on reliable spectrum sensing. To network CRs requires spectrum sensing at CR transmitter and further information regarding the spectrum…

Information Theory · Computer Science 2009-07-17 Sheng-Yuan Tu , Kwang-Cheng Chen

Biomolecular networks underpin emerging technologies in synthetic biology-from robust biomanufacturing and metabolic engineering to smart therapeutics and cell-based diagnostics-and also provide a mechanistic language for understanding…

Quantitative Methods · Quantitative Biology 2026-03-02 Maurice Filo , Nicolò Rossi , Zhou Fang , Mustafa Khammash

We classify the functions $f:\mathbb{N}^2 \rightarrow \mathbb{N}$ which are stably computable by output-oblivious Stochastic Chemical Reaction Networks (CRNs), i.e., systems of reactions in which output species are never reactants. While it…

Computational Complexity · Computer Science 2022-08-31 Ben Chugg , Anne Condon , Hooman Hashemi