Modeling and analysis of radiation therapy system with respiratory compensation using Uppaal
Man, K. L., Krilavicius, T., Wang, K., Hughes, D. and Lee, K. (2011) Modeling and analysis of radiation therapy system with respiratory compensation using Uppaal. In: 9th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPAW 2011), 26 - 28 May, Busan, South Korea.
|PDF - Authors' Version |
Download (740kB) | Preview
*Subscription may be required
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.).
|Publication Type:||Conference Paper|
|Murdoch Affiliation:||School of Information Technology|
|Copyright:||© 2011 IEEE|
|Notes:||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.|
|Item Control Page|