@inproceedings{84210671d8ac4e39bd48b3c558f2bbc0,
title = "Timed model of the radiation therapy system with respiratory motion compensation",
abstract = "The goal of the radiation therapy is to give as much dose as possible to the target volume and avoid giving any dose at all to a normal tissue. Despite the advances of the computer-based control current technology does not allow to compensate respiratory movement. It considerably restricts effectiveness of such treatment the case of lung cancer. In this paper we present a work in progress, a timed model of radiation treatment system developed to analyze a potential set up for a system that compensates respiratory motion. We model the system with Uppaal, a tool for modeling, validation and verification of realtime systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.). The model is used to validate understanding of the model and selected scenarios.",
keywords = "Formal methods, Medical systems, Simulation, Verification",
author = "Tomas Krilavi{\v c}ius and Man, {Ka Lok}",
year = "2011",
language = "English",
series = "6th International Conference on Electrical and Control Technologies, ECT 2011",
publisher = "Kaunas University of Technology",
pages = "92--95",
editor = "A. Jonaitis and A. Sauhats and A. Virbalis and K. Brazauskas and M. Azubalis and A. Navickas and V. Galvanauskas",
booktitle = "6th International Conference on Electrical and Control Technologies, ECT 2011",
note = "6th International Conference on Electrical and Control Technologies, ECT 2011 ; Conference date: 05-05-2011 Through 06-05-2011",
}
