Fragments-based model reduction: some case studies

DOI10.1016/J.ENTCS.2010.12.007MaRDI QIDQ5404088zbMATH OpenOpenAlexWikidataFDO

Authors Jerome Feret

Publication date 21 March 2014

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.12.007

zbMATH Keywords

abstract interpretationmodel reductionstochastic semanticsdifferential semanticsrules-based modeling

Mathematics Subject Classification ID

Protein sequences, DNA sequences (92D20)

Recommendations

• Combining model reductions
• Formal reduction for rule-based models
• Model decomposition and stochastic fragments
• A large-scale assessment of exact model reduction in the biomodels repository
• Intrinsic information carriers in combinatorial dynamical systems

Cites work

• scientific article; zbMATH DE number 1956561 (Why is no real title available?)
• Bisimulation relations for weighted automata
• Exact and ordinary lumpability in finite Markov chains
• Rule-Based Modelling of Cellular Signalling

Cited in

(7)

• Lumpability abstractions of rule-based systems
• Quantitative abstractions for collective adaptive systems
• Intrinsic information carriers in combinatorial dynamical systems
• Combining model reductions
• Model decomposition and stochastic fragments
• Formal reduction for rule-based models
• Symbolic computation of differential equivalences

Describes a project that uses

Uses Software

• BioNetGen

This page was built for publication: Fragments-based model reduction: some case studies

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