Where academic tradition
meets the exciting future

Combining Refinement and Signal-Temporal Logic for Biological Systems

Usman Sanwal, Umair Siddique, Combining Refinement and Signal-Temporal Logic for Biological Systems. In: Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke (Eds.), Intelligent Computer Mathematics, LNAI 10383, 333–3398, Springer, 2017.

http://dx.doi.org/10.1007/978-3-319-62075-6

Abstract:

System-level modeling and analysis of biological phenomena
have become an important research topic amongst different fields including
mathematics, computer science, electrical and system engineering.
This is a consequence of the recent development in these fields which can
be utilized to understand the dynamics of complex biological organisms
such as cancer, malaria and diabetes, etc. However, the concept of model
refinement (i.e., the transformation of an abstract models into a detailed
model) is largely unexplored in biology. In this paper, we describe our
ongoing project which aims at combining the concept of model refinement
and temporal logic for the analysis of a wide class of biological
systems.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpSaSi17a,
  title = {Combining Refinement and Signal-Temporal Logic for Biological Systems},
  booktitle = {Intelligent Computer Mathematics},
  author = {Sanwal, Usman and Siddique, Umair},
  volume = {10383},
  series = {LNAI},
  editor = {Geuvers, Herman and England, Matthew and Hasan, Osman and Rabe, Florian and Teschke, Olaf},
  publisher = {Springer},
  pages = {333–3398},
  year = {2017},
  keywords = {Biomodeling, Refinement, Event-B, Signal-Temporal Logic},
}

Belongs to TUCS Research Unit(s): Computational Biomodeling Laboratory (Combio Lab)

Edit publication