Use this url to cite publication: https://hdl.handle.net/20.500.12259/40674
Publication type
type::text::periodical::journal::contribution to journal::journal article::research article
Type of publication (PDB)
Straipsnis konferencijos medžiagoje kitose duomenų bazėse / Article in conference proceedings in other databases (P1c)
Author(s)
Man, Ka Lok
Xian Jiaotong-Liverpool University, China
Wan, Kaiyu
Xian Jiaotong-Liverpool University, China
Hughes, Danny
Xian Jiaotong-Liverpool University, China
Lee, Kevin
Murdoch University, Australia
Title
Modeling and analysis of radiation therapy system with respiratory compensation using uppaal
Is part of
IEEE 9th iternational symposium on parallel and distributed processing with applications (IPSA 2011), 26-28 May, Busan, South Korea : proceedings. Piscataway, N. J. : IEEE Press, 2011
Extent
p. 50-54
Publisher
Piscataway, N. J. : IEEE Press, 2011
Publisher (trusted)
IEEE Press
Date Issued
2011
Is Referenced by
ISBN (of the container)
9781457705243
DOI
https://doi.org/10.1109/ISPAW.2011.19
Other Identifier(s)
VDU02-000011057
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.).
Bibliographic Details
23
Coverage Spatial
US
Language
Anglų / English (en)