Abstract simulation of reaction networks via Boolean networks
From MaRDI portal
Publication:2112137
DOI10.1007/978-3-031-15034-0_2zbMath1505.92077OpenAlexW4280589662MaRDI QIDQ2112137
Cristian Versari, Joachim Niehren, Athénaïs Vaginay
Publication date: 18 January 2023
Full work available at URL: https://doi.org/10.1007/978-3-031-15034-0_2
logicconstraint programmingBoolean networkssystems biologyabstract interpretationreaction networksSBML
Biochemistry, molecular biology (92C40) Systems biology, networks (92C42) Switching theory, applications of Boolean algebras to circuits and networks (94C11)
Related Items
Uses Software
Cites Work
- Inferring reaction systems from ordinary differential equations
- Implicit semi-algebraic abstraction for polynomial dynamical systems
- Computing difference abstractions of metabolic networks under kinetic constraints
- Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
- Abstract interpretation and types for systems biology
- Knockout Prediction for Reaction Networks with Partial Kinetic Information
- Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT
- Attractor Equivalence: An Observational Semantics for Reaction Networks