File(s) not publicly available

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

conference contribution
posted on 2011-08-29, 00:00 authored by K L Man, T Krilavičius, K Wan, D Hughes, Kevin LeeKevin Lee
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.). © 2011 IEEE.



50 - 54



Publication classification

E1.1 Full written paper - refereed

Title of proceedings

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