Logic-based multi-objective design of chemical reaction networks

DOI10.1007/978-3-319-47151-8_11MaRDI QIDQ5204380zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

robustnessmulti-objective optimizationsystem designtemporal logic

Mathematics Subject Classification ID

Epidemiology (92D30) Biochemistry, molecular biology (92C40) Systems biology, networks (92C42) Sensitivity (robustness) (93B35) Temporal logic (03B44)

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

Cited in

(6)

• Multiobjective \(H_2/H_\infty\) synthetic gene network design based on promoter libraries
• Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
• 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
• Syntax-guided optimal synthesis for chemical reaction networks
• Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement

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)