File(s) not publicly available
Modeling and analysis of radiation therapy system with respiratory compensation using Uppaal
conference contributionposted 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.