An adaptive proton therapy workflow using cone beam computed tomography (CBCT) is proposed. It consists of an online evaluation of a fast range-corrected dose distribution based on a virtual CT (vCT) ...scan. This can be followed by more accurate offline dose recalculation on the vCT scan, which can trigger a rescan CT (rCT) for replanning.
The workflow was tested retrospectively for 20 consecutive lung cancer patients. A diffeomorphic Morphon algorithm was used to generate the lung vCT by deforming the average planning CT onto the CBCT scan. An additional correction step was applied to account for anatomic modifications that cannot be modeled by deformation alone. A set of clinical indicators for replanning were generated according to the water equivalent thickness (WET) and dose statistics and compared with those obtained on the rCT scan. The fast dose approximation consisted of warping the initial planned dose onto the vCT scan according to the changes in WET. The potential under- and over-ranges were assessed as a variation in WET at the target's distal surface.
The range-corrected dose from the vCT scan reproduced clinical indicators similar to those of the rCT scan. The workflow performed well under different clinical scenarios, including atelectasis, lung reinflation, and different types of tumor response. Between the vCT and rCT scans, we found a difference in the measured 95% percentile of the over-range distribution of 3.4 ± 2.7 mm. The limitations of the technique consisted of inherent uncertainties in deformable registration and the drawbacks of CBCT imaging. The correction step was adequate when gross errors occurred but could not recover subtle anatomic or density changes in tumors with complex topology.
A proton therapy workflow based on CBCT provided clinical indicators similar to those using rCT for patients with lung cancer with considerable anatomic changes.
In this paper, we shall formulate and address a problem of covert actuator attacker synthesis for cyber-physical systems that are modeled by discrete-event systems. We assume the actuator attacker ...partially observes the execution of the closed-loop system and is able to modify each control command issued by the supervisor on a specified attackable subset of controllable events. We provide straightforward but in general exponential-time reductions, due to the use of subset construction procedure, from the covert actuator attacker synthesis problems to the Ramadge-Wonham supervisor synthesis problems. It then follows that it is possible to use the many techniques and tools already developed for solving the supervisor synthesis problem to solve the covert actuator attacker synthesis problem for free. In particular, we show that, if the attacker cannot attack unobservable events to the supervisor, then the reductions can be carried out in polynomial time. We also provide a brief discussion on some other conditions under which the exponential blowup in state size can be avoided. Finally, we show how the reduction based synthesis procedure can be extended for the synthesis of successful covert actuator attackers that also eavesdrop the control commands issued by the supervisor.
It is shown that the problem whether an arbitrary regular language has a non-empty decomposable sublanguage with respect to a fixed distribution is decidable if and only if the independence relation ...induced by the distribution is transitive. A sufficient condition on the distributed control architecture is then derived, under which there exist some fixed non-blocking local generators such that the distributed supervisor synthesis problem is undecidable. We also show that a natural formulation of the parameterized supervisor synthesis problem is undecidable for a fixed non-blocking generator template, so long as the template alphabet has at least two private events and one global event that are controllable. In particular, all the undecidability results are still valid even if star free specification languages are considered.
Pencil-beam scanning (PBS) proton therapy (PT), particularly intensity modulated PT, represents the latest advanced PT technology for treating cancers, including thoracic malignancies. On the basis ...of virtual clinical studies, PBS-PT appears to have great potential in its ability to tightly tailor the dose to the target while sparing critical structures, thereby reducing treatment-related toxicities, particularly for tumors in areas with complicated anatomy. However, implementing PBS-PT for moving targets has several additional technical challenges compared with intensity modulated photon radiation therapy or passive scattering PT. Four-dimensional computed tomography–based motion management and robust optimization and evaluation are crucial for minimizing uncertainties associated with beam range and organ motion. Rigorous quality assurance is required to validate dose delivery both before and during the course of treatment. Active motion management (eg, breath hold), beam gating, rescanning, tracking, or adaptive planning may be needed for cases involving significant motion or changes in motion or anatomy over the course of treatment.
Dose uncertainty induced by respiratory motion remains a major concern for treating thoracic and abdominal lesions using particle beams. This Task Group report reviews the impact of tumor motion and ...dosimetric considerations in particle radiotherapy, current motion‐management techniques, and limitations for different particle‐beam delivery modes (i.e., passive scattering, uniform scanning, and pencil‐beam scanning). Furthermore, the report provides guidance and risk analysis for quality assurance of the motion‐management procedures to ensure consistency and accuracy, and discusses future development and emerging motion‐management strategies. This report supplements previously published AAPM report TG76, and considers aspects of motion management that are crucial to the accurate and safe delivery of particle‐beam therapy. To that end, this report produces general recommendations for commissioning and facility‐specific dosimetric characterization, motion assessment, treatment planning, active and passive motion‐management techniques, image guidance and related decision‐making, monitoring throughout therapy, and recommendations for vendors. Key among these recommendations are that: (1) facilities should perform thorough planning studies (using retrospective data) and develop standard operating procedures that address all aspects of therapy for any treatment site involving respiratory motion; (2) a risk‐based methodology should be adopted for quality management and ongoing process improvement.
The contrast in dose distribution between proton radiotherapy (RT) and intensity-modulated RT (IMRT) is unclear, particularly in regard to critical structures such as the rectum and bladder.
Between ...August and November 2006, the first 10 consecutive patients treated in our Phase II low-risk prostate proton protocol (University of Florida Proton Therapy Institute protocol 0001) were reviewed. The double-scatter proton beam plans used in treatment were analyzed for various dosimetric endpoints. For all plans, each beam dose distribution, angle, smearing, and aperture margin were optimized. IMRT plans were created for all patients and simultaneously analyzed. The IMRT plans were optimized through multiple volume objectives, beam weighting, and individual leaf movement. The patients were treated to 78 Gray-equivalents (GE) in 2-GE fractions with a biologically equivalent dose of 1.1.
All rectal and rectal wall volumes treated to 10-80 GE (percentage of volume receiving 10-80 GE V(10)-V(80)) were significantly lower with proton therapy (p < 0.05). The rectal V(50) was reduced from 31.3% +/- 4.1% with IMRT to 14.6% +/- 3.0% with proton therapy for a relative improvement of 53.4% and an absolute benefit of 16.7% (p < 0.001). The mean rectal dose decreased 59% with proton therapy (p < 0.001). For the bladder and bladder wall, proton therapy produced significantly smaller volumes treated to doses of 10-35 GE (p < 0.05) with a nonsignificant advantage demonstrated for the volume receiving < or =60 GE. The bladder V(30) was reduced with proton therapy for a relative improvement of 35.3% and an absolute benefit of 15.1% (p = 0.02). The mean bladder dose decreased 35% with proton therapy (p = 0.002).
Compared with IMRT, proton therapy reduced the dose to the dose-limiting normal structures while maintaining excellent planning target volume coverage.
In this work, a notion of reduction of distributions is proposed as a technical tool for improving the complexity of decomposability verification and supporting parallel verification of ...decomposability, by exploiting the rich structures of distributions. We provide some results that reduce the search space of candidate reductions, as a first step toward efficiently computing optimal reductions. It is then shown that a distribution has a reduction if and only if a particular candidate reduction is indeed a reduction. We then provide a sound substitution-based proof technique that can be used for (automatic) reduction verification. Techniques for refuting candidate reductions are also provided. We then explain an application of the decomposability verification problem in the lower bound proofs for the problem of supervisor decomposition and the problem of existence of a decentralized supervisor. Finally, some other applications of the notion of reduction of distributions are also shown.
To quantify the dosimetric benefit of using a dynamic collimation system (DCS) for penumbra reduction during the treatment of brain tumors by pencil beam scanning proton therapy (PBS PT).
Collimated ...and uncollimated brain treatment plans were created for 5 patients previously treated with PBS PT and retrospectively enrolled in an institutional review board-approved study. The in-house treatment planning system, RDX, was used to generate the plans because it is capable of modeling both collimated and uncollimated beamlets. The clinically delivered plans were reproduced with uncollimated plans in terms of target coverage and organ at risk (OAR) sparing to ensure a clinically relevant starting point, and collimated plans were generated to improve the OAR sparing while maintaining target coverage. Physical and biological comparison metrics, such as dose distribution conformity, mean and maximum doses, normal tissue complication probability, and risk of secondary brain cancer, were used to evaluate the plans.
The DCS systematically improved the dose distribution conformity while preserving the target coverage. The average reduction of the mean dose to the 10-mm ring surrounding the target and the healthy brain were 13.7% (95% confidence interval CI 11.6%-15.7%; P<.0001) and 25.1% (95% CI 16.8%-33.4%; P<.001), respectively. This yielded an average reduction of 24.8% (95% CI 0.8%-48.8%; P<.05) for the brain necrosis normal tissue complication probability using the Flickinger model, and 25.1% (95% CI 16.8%-33.4%; P<.001) for the risk of secondary brain cancer. A general improvement of the OAR sparing was also observed.
The lateral penumbra reduction afforded by the DCS increases the normal tissue sparing capabilities of PBS PT for brain cancer treatment while preserving target coverage.
To report on a universal bolus (UB) designed to replace the range shifter (RS); the UB allows the treatment of shallow tumors while keeping the pencil beam scanning (PBS) spot size small.
Ten ...patients with brain cancers treated from 2010 to 2011 were planned using the PBS technique with bolus and the RS. In-air spot sizes of the pencil beam were measured and compared for 4 conditions (open field, with RS, and with UB at 2- and 8-cm air gap) in isocentric geometry. The UB was applied in our clinic to treat brain tumors, and the plans with UB were compared with the plans with RS.
A UB of 5.5 cm water equivalent thickness was found to meet the needs of the majority of patients. By using the UB, the PBS spot sizes are similar with the open beam (P>.1). The heterogeneity index was found to be approximately 10% lower for the UB plans than for the RS plans. The coverage for plans with UB is more conformal than for plans with RS; the largest increase in sparing is usually for peripheral organs at risk.
The integrity of the physical properties of the PBS beam can be maintained using a UB that allows for highly conformal PBS treatment design, even in a simple geometry of the fixed beam line when noncoplanar beams are used.
In this work, we shall investigate the problem of covert attacker synthesis in the framework of supervisory control of discrete-event systems. Intuitively, the covertness property says that the ...attacker cannot reach a situation where its existence has been detected by the supervisor while no damage can be caused. We consider covert attackers that can exercise both actuator attacks (including enablement attacks and disablement attacks) and sensor attacks (restricted to sensor replacement attacks), where the (partial-observation) attackers may or may not eavesdrop the control commands issued by the supervisor. We shall develop an exponential time reduction from the covert attacker synthesis problem to the well studied Ramadge–Wonham supervisor synthesis problem, which generalizes our previous work on a reduction based approach for covert actuator attacker synthesis, for both the damage-reachable goal and the damage-nonblocking goal. We also provide discussions on conditions under which the exponential blowup in state sizes, due to the reduction construction, can be avoided.