Catalog Home Page

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.

[img]
Preview
PDF - Authors' Version
Download (740kB) | Preview
    Link to Published Version: http://dx.doi.org/10.1109/ISPAW.2011.19
    *Subscription may be required

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

    Publication Type: Conference Paper
    Murdoch Affiliation: School of Information Technology
    Publisher: IEEE
    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.
    URI: http://researchrepository.murdoch.edu.au/id/eprint/4848
    Item Control Page

    Downloads

    Downloads per month over past year