Constrained Kripke structure for identifying parameters of biological models

DOI10.1016/J.TCS.2024.114505MaRDI QIDQ6131194zbMATH OpenFDO

Authors Jean-Paul Comet, Hélène Collavizza, Laetitia Gibart

Publication date 4 April 2024

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

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

zbMATH Keywords

model checkingautomated parameter and model synthesisbiological system analysisconstrained Kripke structureframeworks for model verification of biological systems

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Model checking of biological systems
• Parameter synthesis for polynomial biological models
• Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM
• scientific article; zbMATH DE number 1950556
• Constraint identification using modified Hoare logic on hybrid models of gene networks

Cites work

• scientific article; zbMATH DE number 50840 (Why is no real title available?)
• scientific article; zbMATH DE number 1950556 (Why is no real title available?)
• scientific article; zbMATH DE number 1903365 (Why is no real title available?)
• scientific article; zbMATH DE number 1446599 (Why is no real title available?)
• A genetically modified Hoare logic
• AEON: attractor bifurcation analysis of parametrised Boolean networks
• Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
• Applications and Theory of Petri Nets 2005
• Family-based model checking with mCRL2
• Greening R. Thomas' framework with environment variables: a divide and conquer approach
• On Boolean automata isolated cycles and tangential double-cycles dynamics
• What is a cell cycle checkpoint? The \texttt{TotemBioNet} answer

This page was built for publication: Constrained Kripke structure for identifying parameters of biological models

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