Timed Automata Modeling of The Personalized Treatment Decisions In Metastatic Castration Resistant Prostate Cancer

A methodology for evaluating tooth wear monitoring using timed automata modelling

“…12 Therefore, it is important to postpone the start to an older age of the patient as much as possible. 15,16 Many other modelling formalisms exist. 4,7 An important question is not only how to perform counselling and monitoring, but also which protocol should be used: at what time intervals and in which order do monitoring and counselling take place?…”

“…Regarding the important question when to continue counselling/monitoring and when to start a restorative treatment, proposals for decision-making have been formulated. 16 For our aim, we have chosen UPPAAL because of its compositionality (allowing to build a system out of smaller components) and its graphical user interface (which makes it easier to explain and discuss models with non-experts in formal modelling). Since so many factors are involved in the multifactorial tooth wear process and a long time span is involved (decades), research to disentangle all these processes on patients is extremely difficult.…”

“…13,14 This tool has not only been used widely in various computer science applications, but also in the medical field. 15,16 Many other modelling formalisms exist. In health care, the so-called discrete-event model (DEM) has been widely used; for a comparison between UPPAAL and DEM, we refer to.…”

“…In health care, the so-called discrete-event model (DEM) has been widely used; for a comparison between UPPAAL and DEM, we refer to. 16 For our aim, we have chosen UPPAAL because of its compositionality (allowing to build a system out of smaller components) and its graphical user interface (which makes it easier to explain and discuss models with non-experts in formal modelling).…”