Abstract:Formal methods have enabled breakthroughs in many fields, such as in hardware verification, machine learning and biological systems. The key object of interest in systems biology, synthetic biology, and molecular programming is chemical reaction networks (CRNs) which formalizes coupled chemical reactions in a well-mixed solution. CRNs are pivotal for our understanding of biological regulatory and metabolic networks, as well as for programming engineered molecular behavior. Although it is clear that small CRNs are capable of complex dynamics and computational behavior, it remains difficult to explore the space of CRNs in search for desired functionality. We use Alloy, a tool for expressing structural constraints and behavior in software systems, to enumerate CRNs with declaratively specified properties. We show how this framework can enumerate CRNs with a variety of structural constraints including biologically motivated catalytic networks and metabolic networks, and seesaw networks motivated by DNA nanotechnology. We also use the framework to explore analog function computation in rate-independent CRNs. By computing the desired output value with stoichiometry rather than with reaction rates (in the sense that $X \to Y+Y$ computes multiplication by $2$), such CRNs are completely robust to the choice of reaction rates or rate law. We find the smallest CRNs computing the max, minmax, abs and ReLU (rectified linear unit) functions in a natural subclass of rate-independent CRNs where rate-independence follows from structural network properties.

CRN-based design methodology for synchronous sequential logic

A Formal Combinational Logic Synthesis with Chemical Reaction Networks.

A DNA Strand Displacement Reaction Implementation-Friendly Clock Design

Chemical Reaction Networks' Programming for Solving Equations

A Cellular Automaton Approach for Efficient Computing on Surface Chemical Reaction Networks

Arithmetic Computations Based on Chemical Reaction Networks

Enhancing reliability of composed non-output-oblivious chemical reaction networks

Implementation Of Mealy Machine With Molecular Reactions

CRNs Exposed: Systematic Exploration of Chemical Reaction Networks

CRN++: Molecular Programming Language

Molecular Device Design Based on Chemical Reaction Networks: State Feedback Controller, Static Pre-Filter, Addition Gate Control System and Full-Dimensional State Observer

A Formal Design Methodology for Synthesizing a Clock Signal with an Arbitrary Duty Cycle of M/N

A Neotype Implemention Method For Crs-Based Logic Gates In Crossbar Array

Programming Chemical Reaction Networks Using Intramolecular Conformational Motions of DNA

A novel circuit design for complementary resistive switch-based stateful logic operations*

Sequential Circuits Synthesis for Rapid Single Flux Quantum Logic Based on Finite State Machine Decomposition

Programming and training rate-independent chemical reaction networks

Reconfigurable Logic Circuit Design for Stateful Boolean Logic Computing

Analytical Study of Complementary Memristive Synchronous Logic Gates

Karnaugh Map-Aided Combinational Logic Design Approach with Bistable Molecular Reactions

New designs of reversible sequential devices