Modeling and analysis of radiation therapy system with respiratory compensation using Uppaal

Ka Lok Man; Tomas Krilavičius; Kaiyu Wan; Danny Hughes; Kevin Lee

doi:10.1109/ISPAW.2011.19

Modeling and analysis of radiation therapy system with respiratory compensation using Uppaal

Ka Lok Man^*
, Tomas Krilavičius
, Kaiyu Wan
, Danny Hughes
, Kevin Lee

^*Corresponding author for this work

Baltic Institute of Advanced Technology
Vytautas Magnus University
Xi'an Jiaotong-Liverpool University
Murdoch University

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

7 Citations (Scopus)

Abstract

The goal of radiation therapy is to give as much dose as possible to the exact target location and minimizing any dose to a normal tissue. Advances of Cyber-physical control systems allow planning and provide very accurate treatments. However, the current technology does not sufficiently compensate a respiratory movement, that is especially important in case of lung (area) cancer. In this paper we present a model of radiation treatment system developed to analyze a system that compensates respiratory motion. We use Uppaal, an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).

Original language	English
Title of host publication	Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011
Pages	50-54
Number of pages	5
DOIs	https://doi.org/10.1109/ISPAW.2011.19
Publication status	Published - 2011
Event	9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - 2011, ICASE 2011, SGH 2011, GSDP 2011 - Busan, Korea, Republic of Duration: 26 May 2011 → 28 May 2011

Publication series

Name	Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011

Conference

Conference	9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - 2011, ICASE 2011, SGH 2011, GSDP 2011
Country/Territory	Korea, Republic of
City	Busan
Period	26/05/11 → 28/05/11

Access to Document

10.1109/ISPAW.2011.19

Cite this

Man, K. L., Krilavičius, T., Wan, K., Hughes, D., & Lee, K. (2011). Modeling and analysis of radiation therapy system with respiratory compensation using Uppaal. In Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011 (pp. 50-54). Article 5951949 (Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011). https://doi.org/10.1109/ISPAW.2011.19

Man, Ka Lok ; Krilavičius, Tomas ; Wan, Kaiyu et al. / Modeling and analysis of radiation therapy system with respiratory compensation using Uppaal. Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011. 2011. pp. 50-54 (Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011).

@inproceedings{e525b7c87fb347f0920c6f0a6d46ec7a,

title = "Modeling and analysis of radiation therapy system with respiratory compensation using Uppaal",

abstract = "The goal of radiation therapy is to give as much dose as possible to the exact target location and minimizing any dose to a normal tissue. Advances of Cyber-physical control systems allow planning and provide very accurate treatments. However, the current technology does not sufficiently compensate a respiratory movement, that is especially important in case of lung (area) cancer. In this paper we present a model of radiation treatment system developed to analyze a system that compensates respiratory motion. We use Uppaal, an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).",

author = "Man, \{Ka Lok\} and Tomas Krilavi{\v c}ius and Kaiyu Wan and Danny Hughes and Kevin Lee",

year = "2011",

doi = "10.1109/ISPAW.2011.19",

language = "English",

isbn = "9780769544298",

series = "Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011",

pages = "50--54",

booktitle = "Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011",

note = "9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - 2011, ICASE 2011, SGH 2011, GSDP 2011 ; Conference date: 26-05-2011 Through 28-05-2011",

}

Man, KL, Krilavičius, T, Wan, K, Hughes, D & Lee, K 2011, Modeling and analysis of radiation therapy system with respiratory compensation using Uppaal. in Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011., 5951949, Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011, pp. 50-54, 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - 2011, ICASE 2011, SGH 2011, GSDP 2011, Busan, Korea, Republic of, 26/05/11. https://doi.org/10.1109/ISPAW.2011.19

Modeling and analysis of radiation therapy system with respiratory compensation using Uppaal. / Man, Ka Lok; Krilavičius, Tomas; Wan, Kaiyu et al.
Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011. 2011. p. 50-54 5951949 (Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011).

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

TY - GEN

T1 - Modeling and analysis of radiation therapy system with respiratory compensation using Uppaal

AU - Man, Ka Lok

AU - Krilavičius, Tomas

AU - Wan, Kaiyu

AU - Hughes, Danny

AU - Lee, Kevin

PY - 2011

Y1 - 2011

N2 - The goal of radiation therapy is to give as much dose as possible to the exact target location and minimizing any dose to a normal tissue. Advances of Cyber-physical control systems allow planning and provide very accurate treatments. However, the current technology does not sufficiently compensate a respiratory movement, that is especially important in case of lung (area) cancer. In this paper we present a model of radiation treatment system developed to analyze a system that compensates respiratory motion. We use Uppaal, an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).

AB - The goal of radiation therapy is to give as much dose as possible to the exact target location and minimizing any dose to a normal tissue. Advances of Cyber-physical control systems allow planning and provide very accurate treatments. However, the current technology does not sufficiently compensate a respiratory movement, that is especially important in case of lung (area) cancer. In this paper we present a model of radiation treatment system developed to analyze a system that compensates respiratory motion. We use Uppaal, an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).

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

U2 - 10.1109/ISPAW.2011.19

DO - 10.1109/ISPAW.2011.19

M3 - Conference Proceeding

AN - SCOPUS:80052001050

SN - 9780769544298

T3 - Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011

SP - 50

EP - 54

BT - Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011

T2 - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - 2011, ICASE 2011, SGH 2011, GSDP 2011

Y2 - 26 May 2011 through 28 May 2011

ER -

Man KL, Krilavičius T, Wan K, Hughes D, Lee K. Modeling and analysis of radiation therapy system with respiratory compensation using Uppaal. In Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011. 2011. p. 50-54. 5951949. (Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011). doi: 10.1109/ISPAW.2011.19

Modeling and analysis of radiation therapy system with respiratory compensation using Uppaal

Abstract

Publication series

Conference

Access to Document

Other files and links

Cite this