On robustness computation and optimization in BIOCHAM-4

DOI10.1007/978-3-319-99429-1_18MaRDI QIDQ1796529zbMATH OpenOpenAlexFDO

Authors François Fages, Sylvain Soliman

Publication date 17 October 2018

Full work available at URL https://hal.inria.fr/hal-01814854/file/FS18cmsbhal.pdf

zbMATH Keywords

model robustnessparameter perturbationsquantitative temporal logic

Mathematics Subject Classification ID

Computational methods for problems pertaining to biology (92-08) Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.) (92C45)

Recommendations

• Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
• Computational Methods in Systems Biology
• Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM
• System design of stochastic models using robustness of temporal properties
• Robust stability and instability of biochemical networks with parametric uncertainty

Cited in

(2)

• Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
• Computational Methods in Systems Biology

This page was built for publication: On robustness computation and optimization in BIOCHAM-4

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1796529)