Combining model reductions

DOI10.1016/J.ENTCS.2010.08.006MaRDI QIDQ3178247zbMATH OpenOpenAlexFDO

Authors Ferdinanda Camporesi, Jerome Feret, Heinz Koeppl, Tatjana Petrov

Publication date 8 July 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2010.08.006

zbMATH Keywords

abstract interpretationmodel reductionrules-based modelingsymmetries

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Biochemistry, molecular biology (92C40)

Recommendations

• Formal reduction for rule-based models
• Fragments-based model reduction: some case studies
• Lumpability abstractions of rule-based systems
• Efficient reduction of Kappa models by static inspection of the rule-set
• Handling biological complexity using Kron reduction

Cites work

• Bisimulation relations for weighted automata
• Exact and ordinary lumpability in finite Markov chains
• scientific article; zbMATH DE number 1956561 (Why is no real title available?)
• Intrinsic information carriers in combinatorial dynamical systems
• Rule-Based Modelling of Cellular Signalling
• Systematic design of program transformation frameworks by abstract interpretation

Cited in

(13)

• Combining different models
• Eliminating models during model elimination
• Comparing chemical reaction networks: a categorical and algorithmic perspective
• Compact representation of photosynthesis dynamics by rule-based models
• An algebraic approach for inferring and using symmetries in rule-based models
• Optimal reduction of models using a hybrid searching strategy
• Quantitative abstractions for collective adaptive systems
• Lumpability abstractions of rule-based systems
• Efficient reduction of Kappa models by static inspection of the rule-set
• Fragments-based model reduction: some case studies
• Formal reduction for rule-based models
• Symbolic computation of differential equivalences
• Computation of Kullback-Leibler divergence between labeled stochastic systems with non-identical state spaces

Describes a project that uses

Uses Software

• BioNetGen

This page was built for publication: Combining model reductions

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