Use this url to cite publication: https://hdl.handle.net/20.500.12259/40674
Modeling and analysis of radiation therapy system with respiratory compensation using uppaal
Type of publication
Straipsnis konferencijos medžiagoje Scopus duomenų bazėje / Article in conference proceedings in Scopus database (P1a2)
Author(s)
Author | Affiliation | |||
---|---|---|---|---|
Man, Ka Lok | ||||
Title [en]
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
Date Issued
Date |
---|
2011 |
Publisher
Piscataway, N. J. : IEEE Press, 2011
Publisher (trusted)
Is Referenced by
Extent
p. 50-54
Abstract (en)
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.).
Type of document
type::text::journal::journal article::research article
Language
Anglų / English (en)
Coverage Spatial
Jungtinės Amerikos Valstijos / United States of America (US)
ISBN (of the container)
9781457705243
Other Identifier(s)
VDU02-000011057