Logic-based multi-objective design of chemical reaction networks
DOI10.1007/978-3-319-47151-8_11zbMATH Open1428.92035OpenAlexW2526596885MaRDI QIDQ5204380FDOQ5204380
Authors: Luca Bortolussi, Alberto Policriti, Simone Silvetti 
Publication date: 4 December 2019
Published in: Hybrid Systems Biology (Search for Journal in Brave)
Full work available at URL: https://rd.springer.com/content/pdf/10.1007%2F978-3-319-47151-8_11.pdf
Recommendations
- Synthesizing and tuning chemical reaction networks with specified behaviours
- Syntax-guided optimal synthesis for chemical reaction networks
- Multiobjective \(H_2/H_\infty\) synthetic gene network design based on promoter libraries
- Precise parameter synthesis for stochastic biochemical systems
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
Epidemiology (92D30) Biochemistry, molecular biology (92C40) Systems biology, networks (92C42) Sensitivity (robustness) (93B35) Temporal logic (03B44)
Cited In (6)
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
- Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
- Syntax-guided optimal synthesis for chemical reaction networks
- Population design for synthetic gene circuits
- Molecular device design based on chemical reaction networks: state feedback controller, static pre-filter, addition gate control system and full-dimensional state observer
- Multiobjective \(H_2/H_\infty\) synthetic gene network design based on promoter libraries
This page was built for publication: Logic-based multi-objective design of chemical reaction networks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5204380)
