Conference paper
Modeling and analysis of radiation therapy system with respiratory compensation using Uppaal
2011 IEEE Ninth International Symposium on Parallel and Distributed Processing with Applications Workshops, pp.50-54
IEEE
9th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPAW 2011) (Busan, South Korea, 26/05/2011–28/05/2011)
2011
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.).
Details
- Title
- Modeling and analysis of radiation therapy system with respiratory compensation using Uppaal
- Authors/Creators
- K. L. Man (Author/Creator) - Xi’an Jiaotong-Liverpool UniversityT. Krilavicius (Author/Creator) - Baltic Institute of Advanced TechnologyK. Wang (Author/Creator)D. Hughes (Author/Creator) - Xi’an Jiaotong-Liverpool UniversityK. Lee (Author/Creator) - Murdoch University
- Publication Details
- 2011 IEEE Ninth International Symposium on Parallel and Distributed Processing with Applications Workshops, pp.50-54
- Conference
- 9th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPAW 2011) (Busan, South Korea, 26/05/2011–28/05/2011)
- Publisher
- IEEE
- Identifiers
- 991005545429707891
- Copyright
- © 2011 IEEE
- Murdoch Affiliation
- School of Information Technology
- Language
- English
- Resource Type
- Conference paper
- Note
- Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. This paper appears in: Proceedings of the 9th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPAW 2011), pp 50 - 54.
Metrics
470 File views/ downloads
59 Record Views