Please use this identifier to cite or link to this item:
Type of publication: 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
Affiliation(s): Informatikos fakultetas
Taikomosios informatikos katedra
Vytauto Didžiojo universitetas
Appears in Collections:Universiteto mokslo publikacijos / University Research Publications

Files in This Item:
marc.xml7.91 kBXMLView/Open

MARC21 XML metadata

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

Page view(s)

checked on Mar 30, 2020


checked on Mar 30, 2020

Google ScholarTM


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