Combining refinement and signal-temporal logic for biological systems

DOI10.1007/978-3-319-62075-6_23MaRDI QIDQ2364692zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

biomodelingrefinementEvent-Bsignal-temporal logic

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(1)

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

Describes a project that uses

Uses Software

• Breach
• Rodin

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)