Timed model of the radiation therapy system with respiratory motion compensation

Tomas Krilavičius; Ka Lok Man

Timed model of the radiation therapy system with respiratory motion compensation

Tomas Krilavičius
, Ka Lok Man

Department of Computing

Vytautas Magnus University

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

4 Citations (Scopus)

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.

Original language	English
Title of host publication	6th International Conference on Electrical and Control Technologies, ECT 2011
Editors	A. Jonaitis, A. Sauhats, A. Virbalis, K. Brazauskas, M. Azubalis, A. Navickas, V. Galvanauskas
Publisher	Kaunas University of Technology
Pages	92-95
Number of pages	4
ISBN (Electronic)	9781634398008
Publication status	Published - 2011
Event	6th International Conference on Electrical and Control Technologies, ECT 2011 - Kaunas, Lithuania Duration: 5 May 2011 → 6 May 2011

Publication series

Name	6th International Conference on Electrical and Control Technologies, ECT 2011

Conference

Conference	6th International Conference on Electrical and Control Technologies, ECT 2011
Country/Territory	Lithuania
City	Kaunas
Period	5/05/11 → 6/05/11

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 3 Good Health and Well-being

Keywords

Formal methods
Medical systems
Simulation
Verification

Cite this

Krilavičius, T., & Man, K. L. (2011). Timed model of the radiation therapy system with respiratory motion compensation. In A. Jonaitis, A. Sauhats, A. Virbalis, K. Brazauskas, M. Azubalis, A. Navickas, & V. Galvanauskas (Eds.), 6th International Conference on Electrical and Control Technologies, ECT 2011 (pp. 92-95). (6th International Conference on Electrical and Control Technologies, ECT 2011). Kaunas University of Technology.

Krilavičius, Tomas ; Man, Ka Lok. / Timed model of the radiation therapy system with respiratory motion compensation. 6th International Conference on Electrical and Control Technologies, ECT 2011. editor / A. Jonaitis ; A. Sauhats ; A. Virbalis ; K. Brazauskas ; M. Azubalis ; A. Navickas ; V. Galvanauskas. Kaunas University of Technology, 2011. pp. 92-95 (6th International Conference on Electrical and Control Technologies, ECT 2011).

@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",

}

Krilavičius, T & Man, KL 2011, Timed model of the radiation therapy system with respiratory motion compensation. in A Jonaitis, A Sauhats, A Virbalis, K Brazauskas, M Azubalis, A Navickas & V Galvanauskas (eds), 6th International Conference on Electrical and Control Technologies, ECT 2011. 6th International Conference on Electrical and Control Technologies, ECT 2011, Kaunas University of Technology, pp. 92-95, 6th International Conference on Electrical and Control Technologies, ECT 2011, Kaunas, Lithuania, 5/05/11.

Timed model of the radiation therapy system with respiratory motion compensation. / Krilavičius, Tomas; Man, Ka Lok.
6th International Conference on Electrical and Control Technologies, ECT 2011. ed. / A. Jonaitis; A. Sauhats; A. Virbalis; K. Brazauskas; M. Azubalis; A. Navickas; V. Galvanauskas. Kaunas University of Technology, 2011. p. 92-95 (6th International Conference on Electrical and Control Technologies, ECT 2011).

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

TY - GEN

T1 - Timed model of the radiation therapy system with respiratory motion compensation

AU - Krilavičius, Tomas

AU - Man, Ka Lok

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

KW - Formal methods

KW - Medical systems

KW - Simulation

KW - Verification

UR - https://www.scopus.com/pages/publications/84941710323

M3 - Conference Proceeding

AN - SCOPUS:84941710323

T3 - 6th International Conference on Electrical and Control Technologies, ECT 2011

SP - 92

EP - 95

BT - 6th International Conference on Electrical and Control Technologies, ECT 2011

A2 - Jonaitis, A.

A2 - Sauhats, A.

A2 - Virbalis, A.

A2 - Brazauskas, K.

A2 - Azubalis, M.

A2 - Navickas, A.

A2 - Galvanauskas, V.

PB - Kaunas University of Technology

T2 - 6th International Conference on Electrical and Control Technologies, ECT 2011

Y2 - 5 May 2011 through 6 May 2011

ER -

Krilavičius T, Man KL. Timed model of the radiation therapy system with respiratory motion compensation. In Jonaitis A, Sauhats A, Virbalis A, Brazauskas K, Azubalis M, Navickas A, Galvanauskas V, editors, 6th International Conference on Electrical and Control Technologies, ECT 2011. Kaunas University of Technology. 2011. p. 92-95. (6th International Conference on Electrical and Control Technologies, ECT 2011).

Timed model of the radiation therapy system with respiratory motion compensation

Abstract

Publication series

Conference

UN SDGs

Keywords

Other files and links

Fingerprint

Cite this