Model checking cancer automata

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

Cancer is a chronic disease where cells grow and multiply in an uncontrollable manner ultimately spreading and invading surrounding tissue, and metastasising in other parts or organs of the body. Automata can be used to capture cancer
evolving through a (discrete finite) sequence of progressive stages called phenotypes. Automata consist of states (known as hallmarks of cancer) and transitions between states, indicating a progression or regression of the cancer. We explore extensions and combinations of different variants of timed automata
and associated tools to model and analyse a model of the disease in different ways. We combine patient information and comorbidities with the cancer automaton through composition. The goal of this work is to use model checking as an analysis technique to provide further insights into the effectiveness of treatment plans for a given patient, and how these could potentially inhibit or slow down the progression of cancer.
Original languageEnglish
Title of host publicationIEEE EMBS International Conference on Biomedical and Health Informatics, BHI 2016
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages376-379
ISBN (Electronic)9781509024551
DOIs
Publication statusPublished - 18 Apr 2016
Event3rd IEEE EMBS International Conference on Biomedical and Health Informatics, BHI 2016 - The Westin Las Vegas Hotel, Las Vegas, United States
Duration: 24 Feb 201627 Feb 2016
http://bhi.embs.org/2016/

Conference

Conference3rd IEEE EMBS International Conference on Biomedical and Health Informatics, BHI 2016
Country/TerritoryUnited States
CityLas Vegas
Period24/02/1627/02/16
Internet address

Fingerprint

Dive into the research topics of 'Model checking cancer automata'. Together they form a unique fingerprint.

Cite this