Combining refinement and signal-temporal logic for biological systems

DOI10.1007/978-3-319-62075-6_23zbMATH Open1367.92045OpenAlexW2731247677MaRDI QIDQ2364692FDOQ2364692

Authors: Usman Sanwal, Umair Siddique 

Publication date: 21 July 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-62075-6_23

Recommendations

• Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM
• A Hybrid Approach to Modeling Biological Systems
• Model checking of biological systems
• Bio-logics: logical analysis of bioregulatory networks
• Quantitative model refinement as a solution to the combinatorial size explosion of biomodels

zbMATH Keywords

biomodelingrefinementEvent-Bsignal-temporal logic

Mathematics Subject Classification ID

Systems biology, networks (92C42) General theory of mathematical modeling (00A71) Temporal logic (03B44)

Cites Work

• The benefits of relaxing punctuality
• Modeling in Event B. System and software engineering.
• The B-Book
• Robust satisfaction of temporal logic over real-valued signals
• Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
• Quantitative model refinement as a solution to the combinatorial size explosion of biomodels

Cited In (1)

• A proof theoretic view of spatial and temporal dependencies in biochemical systems

Uses Software

• Rodin
• Breach

This page was built for publication: Combining refinement and signal-temporal logic for biological systems

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