Please use this identifier to cite or link to this item:https://hdl.handle.net/20.500.12259/38932
Type of publication: research article
Type of publication (PDB): Straipsnis konferencijos medžiagoje Clarivate Analytics Web of Science ar/ir Scopus / Article in Clarivate Analytics Web of Science or Scopus DB conference proceedings (P1a)
Field of Science: Informatika / Informatics (N009)
Author(s): Krilavičius, Tomas;Man, Ka Lok
Title: Timed model of the radiation therapy system with respiratory motion compensation
Is part of: ECT-2011 : Electrical and control technologies: 6th international conference on electrical and control technologies, May 5-6, 2011, Kaunas, Lithuania: proceedings. Kaunas : Technologija, 2011, no. 6
Extent: p. 92-95
Date: 2011
Keywords: Formal methods;Verification;Medical systems;Simulation
Abstract: The goal of the radiation therapy is to give as much dose as possible to the target volume and avoid giving any dose at all to a normal tissue. Despite the advances of the computer-based control current technology does not allow to compensate respiratory movement. It considerably restricts effectiveness of such treatment the case of lung cancer. In this paper we present a work in progress, a timed model of radiation treatment system developed to analyze a potential set up for a system that compensates respiratory motion. We model the system with Uppaal, a tool for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.). The model is used to validate understanding of the model and selected scenarios
Internet: https://hdl.handle.net/20.500.12259/38932
Affiliation(s): Taikomosios informatikos katedra
Vytauto Didžiojo universitetas
Appears in Collections:Universiteto mokslo publikacijos / University Research Publications

Show full item record
Export via OAI-PMH Interface in XML Formats
Export to Other Non-XML Formats


CORE Recommender

Page view(s)

83
checked on Jun 6, 2021

Download(s)

8
checked on Jun 6, 2021

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.