SearcharxivSearch

arXiv subjects

Liyong Lin

Publications and source records attributed to Liyong Lin.

At least 19 recordsLinked to original sources

Evolving Interdependent Operators with Large Language Models for Multi-Objective Combinatorial Optimization

Neighborhood search operators are critical to the performance of Multi-Objective Evolutionary Algorithms (MOEAs) and rely heavily on expert design. Although recent LLM-based Automated Heuristic Design (AHD) methods have made notable progress, they primarily optimize individual heuristics or components independently, lacking explicit exploration and exploitation of dynamic coupling relationships between operators. In this paper, multi-operator optimization in MOEAs is formulated as a Markov decision process, enabling the improvement of interdependent operators through sequential decision-making. To address this, we propose the Evolution of Operator Combination (E2OC) framework for MOEAs, which achieves the co-evolution of design strategies and executable codes. E2OC employs Monte Carlo Tree Search to progressively search combinations of operator design strategies and adopts an operator rotation mechanism to identify effective operator configurations while supporting the integration of mainstream AHD methods as the underlying designer. Experimental results across AHD tasks with varying objectives and problem scales show that E2OC consistently outperforms state-of-the-art AHD and other multi-heuristic co-design frameworks, demonstrating strong generalization and sustained optimization capability.

cs.NE

Towards Automatic Linearization via SMT Solving

Mathematical optimization is ubiquitous in modern applications. However, in practice, we often need to use nonlinear optimization models, for which the existing optimization tools such as Cplex or Gurobi may not be directly applicable and an (error-prone) manual transformation often has to be done. Thus, to address this issue, in this paper we investigate the problem of automatically verifying and synthesizing reductions, the solution of which may allow an automatic linearization of nonlinear models. We show that the synthesis of reductions can be formulated as an $\exists^* \forall^*$ synthesis problem, which can be solved by an SMT solver via the counter-example guided inductive synthesis approach (CEGIS).

cs.LO

The status and challenges for prostate SBRT treatments in United States proton therapy centers: An NRG Oncology practice survey

A survey was designed to inquire about the practice of proton SBRT treatment for prostate cancer. The survey was distributed to all 30 proton therapy centers in the United States that participate in the National Clinical Trial Network in Feb. 2023. The survey focused on usage, patient selection criteria, prescriptions, target contours, dose constraints, treatment plan optimization and evaluation methods, patient-specific QA, and IGRT methods. Results: We received responses from 25 centers (83% participation). Only 8 respondent proton centers (32%) reported performing SBRT of the prostate. The remaining 17 centers cited three primary reasons for not offering this treatment: no clinical need, lack of volumetric imaging, and/or lack of clinical evidence. Only 1 center cited the reduction in overall reimbursement as a concern for not offering prostate SBRT. Several common practices among the 8 centers offering SBRT for the prostate were noted, such as using Hydrogel spacers, fiducial markers, and MRI for target delineation. Most proton centers (87.5%) utilized pencil beam scanning (PBS) delivery and completed Imaging and Radiation Oncology Core (IROC) phantom credentialing. Treatment planning typically used parallel opposed lateral beams, and consistent parameters for setup and range uncertainties were used for plan optimization and robustness evaluation. Measurements-based patient-specific QA, beam delivery every other day, fiducial contours for IGRT, and total doses of 35-40 GyRBE were consistent across all centers. However, there was no consensus on the risk levels for patient selection. Conclusion: Prostate SBRT is used in about 1/3 of proton centers in the US. There was a significant consistency in practices among proton centers treating with proton SBRT. It is possible that the adoption of proton SBRT may become more common if proton SBRT is more commonly offered in clinical trials.

physics.med-ph

Proton Pencil-Beam Scanning Stereotactic Body Radiation Therapy and Hypofractionated Radiation Therapy for Thoracic Malignancies: Patterns of Practice Survey and Recommendations for Future Development from NRG Oncology and PTCOG

Stereotactic body radiation therapy (SBRT) and hypofractionation using pencil-beam scanning (PBS) proton therapy (PBSPT) is an attractive option for thoracic malignancies. Combining the advantages of target coverage conformity and critical organ sparing from both PBSPT and SBRT, this new delivery technique has great potential to improve the therapeutic ratio, particularly for tumors near critical organs. Safe and effective implementation of PBSPT SBRT/hypofractionation to treat thoracic malignancies is more challenging than the conventionally-fractionated PBSPT due to concerns of amplified uncertainties at the larger dose per fraction. NRG Oncology and Particle Therapy Cooperative Group (PTCOG) Thoracic Subcommittee surveyed US proton centers to identify practice patterns of thoracic PBSPT SBRT/hypofractionation. From these patterns, we present recommendations for future technical development of proton SBRT/hypofractionation for thoracic treatment. Amongst other points, the recommendations highlight the need for volumetric image guidance and multiple CT-based robust optimization and robustness tools to minimize further the impact of uncertainties associated with respiratory motion. Advances in direct motion analysis techniques are urgently needed to supplement current motion management techniques.

physics.med-ph

Scheduling Distributed Flexible Assembly Lines using Safe Reinforcement Learning with Soft Shielding

Highly automated assembly lines enable significant productivity gains in the manufacturing industry, particularly in mass production condition. Nonetheless, challenges persist in job scheduling for make-to-job and mass customization, necessitating further investigation to improve efficiency, reduce tardiness, promote safety and reliability. In this contribution, an advantage actor-critic based reinforcement learning method is proposed to address scheduling problems of distributed flexible assembly lines in a real-time manner. To enhance the performance, a more condensed environment representation approach is proposed, which is designed to work with the masks made by priority dispatching rules to generate fixed and advantageous action space. Moreover, a Monte-Carlo tree search based soft shielding component is developed to help address long-sequence dependent unsafe behaviors and monitor the risk of overdue scheduling. Finally, the proposed algorithm and its soft shielding component are validated in performance evaluation.

cs.NE

On Decidability of Existence of Fortified Supervisors Against Covert Actuator Attackers

This work investigates the problem of synthesizing fortified supervisors against covert actuator attackers. For a non-resilient supervisor S, i.e., there exists at least a covert actuator attacker that is capable of inflicting damage w.r.t S, a fortified supervisor S' satisfies two requirements: 1) S' is resilient against any covert actuator attacker, and 2) the original closed-behavior of the closed-loop system under S is preserved, that is, S' is control equivalent to S. By designing a sound and complete procedure, we show the problem of determining the existence of a fortified supervisor against covert actuator attackers is decidable. We also discuss how to extend the decidability result to the case against the worst-case attacker.

eess.SY

A novel inverse algorithm to solve IPO-IMPT of proton FLASH therapy with sparse filters

Purpose:The recently proposed IPO-IMPT framework allows simultaneous optimization of dose, dose rate, and LET for FLASH treatment planning. Finding solutions to IPO-IMPT is difficult due to computational intensiveness. Nevertheless, an inverse solution that simultaneously specifies the geometry of a sparse filter and weights of a proton intensity map is desirable for both clinical and preclinical applications. Such solutions can reduce effective biological dose to organs at risk in cancer patients as well as reduce the number of animal irradiations needed to derive extra biological dose models in preclinical studies. Methods:Unlike our initial forward heuristic, this inverse IPO-IMPT solution includes simultaneous optimization of sparse range compensation, sparse range modulation, and spot intensity. The daunting computational tasks vital to this endeavor were resolved iteratively with a distributed computing framework to enable Simultaneous Intensity and Energy Modulation and Compensation (SIEMAC). SIEMAC was demonstrated on a human lung cancer patient and a minipig. Results:SIEMAC improves maps of spot intensities and patient-field-specific sparse range compensators and range modulators. For the lung cancer patient, at our max nozzle current of 300 nA, dose rate coverage above 100 Gy/s increased from 57% to 96% in the lung and from 93% to 100% in the heart, and LET coverage above 4 keV/um dropped from 68% to 9% in the lung and from 26% to <1% in the heart. For a simple minipig plan, the FWHM of the dose, dose rate, and LET distributions decreased by 30%, 1.6%, and 57%, respectively, again with similar target dose coverage, thus reducing uncertainty in these quantities for preclinical studies. Conclusion:The inverse solution to IPO-IMPT demonstrated the capability to simultaneously modulate sub-spot proton energy and intensity distributions for clinical and preclinical studies.

physics.med-ph

Validation of the Quantum Physics Processes Underlying the Integrated Optimization of Proton FLASH Radiotherapy

FLASH is a new treatment modality that requires optimization of dose, dose rate, and LET. Here we validate these three quantities under FLASH conditions, which includes the quantum uncertainty in the time-dependent instantaneous dose rate (IDR) curves and LET spectra that underlie the newly proposed integrated optimization framework. Measurements of dose, IDR, and LET were performed at the Emory Proton Therapy Center using a FLASH proton beam with a nominal energy of 250 MeV and a 3D printed ridge filter. Because 3D printing resin is made from a proprietary chemical formula, we developed a method for realistically characterizing and modeling the material in simulations. Absolute dose in 3D space was measured using a 2D MatriXX PT detector as well as by a novel 4D multi-layer strip ionization chamber (MLSIC), which also simultaneously measures IDR. Further timing data was measured in the secondary beam by detecting prompt gammas using a Minipix Timepix3; a second detector, Advapix Timepix3, was used to measure LET. To account for the quantum mechanical nature of particle transport, we developed a technique for detecting individual protons within a high flux primary beam, which was necessary for properly measuring LET spectra. TOPAS simulations agreed with measurement, with absolute dose typically having a gamma passing rate of at least 95% (3 mm/3% criteria). Likewise, IDR and LET showed good agreement, with averaged IDR values agreeing within 0.3% with fluctuations on the order of 10%, and LET distributions overlapping by at least 85% and showing an increase in high LET components (greater than 4 keV/um) with increasing depth. As LET and FLASH optimization continues to grow in popularity, measuring IDR, LET, and dose will become even more important, and we expect that the methods described here will prove to be useful tools in radiotherapy treatment planning and QA.

physics.med-ph

Deep learning-based Fast Volumetric Image Generation for Image-guided Proton FLASH Radiotherapy

Proton FLASH therapy leverages ultra-high dose-rate radiation to enhance the sparing of organs at risk without compromising tumor control probability. To prepare for the delivery of high doses to targets, we aim to develop a deep learning-based image-guide framework to enable fast volumetric image reconstruction for accurate target localization before FLSAH beam delivery. The proposed framework comprises four modules, including orthogonal kV x-ray projection acquisition, DL-based volumetric image generation, image quality analyses, and water equivalent thickness evaluation. We investigated volumetric image reconstruction using four kV projection pairs with different source angles. Thirty lung patients were identified from the institutional database, and each patient contains a four-dimensional computed tomography dataset with ten respiratory phases. The retrospective patient study indicated that the proposed framework could reconstruct patient volumetric anatomy, including tumors and organs at risk from orthogonal x-ray projections. Considering all evaluation metrics, the kV projections with source angles of 135 and 225 degrees yielded the optimal volumetric images. The proposed framework has been demonstrated to reconstruct volumetric images with accurate lesion locations from two orthogonal x-ray projections. The embedded WET module can be used to detect potential proton beam-specific patient anatomy variations. The framework can deliver fast volumetric image generation and can potentially guide treatment delivery systems for proton FLASH therapy.

physics.med-ph

Feasibility Study of Hybrid Inverse Planning with Transmission Beams and Single-energy Spread-out Bragg Peaks for Proton Flash Radiotherapy

Ultra-high dose rate (FLASH) proton planning with only transmission beams (TBs) has limitations in normal tissue sparing. The single-energy spread-out Bragg peaks (SESOBPs) of FLASH dose rate have been demonstrated feasible for proton FLASH planning. A hybrid inverse optimization method was developed to combine the TBs and SESOBPs (TB-SESOBP) for FLASH planning. The SESOBPs were generated from spreading out the BPs by pre-designed general bar ridge filters and placed at the central target by range shifters to obtain a uniform dose within the target. The SESOBPs and TBs were fully sampled field-by-field allowing automatic spot selection and weighting in the optimization process. The TB-SESOBP plans were validated in comparison with the TB only (TB-only) plans and the plans with the combination of TBs and BPs (TB-BP) regarding 3D dose and dose rate distributions for five lung cases. Comparing to the TB-only plans, the mean spinal cord D1.2cc drastically reduced 41%, the mean lung V7Gy and V7.4Gy moderately reduced by up to 17% and the target dose homogeneity slightly increased in the TB-SESOBP plans. Comparable dose homogeneity was achieved in both TB-SESOBP and TB-BP plans. Besides, prominent improvements were achieved in lung sparing for the cases of relatively large targets by the TB-SESOBP plans comparing to the TB-BP plans. The targets were fully covered with the FLASH dose rate in all the three plans. For the OARs, V40Gy/s = 100% was achieved by the TB-only plans while V40Gy/s > 85% was obtained by the other two plans. We have demonstrated that the hybrid TB-SESOBP planning was feasible to achieve FLASH dose rate for proton therapy. The hybrid TB-SESOBP planning has great potential in improving OAR sparing while maintaining high target dose homogeneity, and can be potentially implemented for adaptive radiotherapy.

physics.med-ph

Measurement of the time structure of FLASH beams using prompt gamma rays and secondary neutrons as surrogates

We aim to investigate the feasibility of online monitoring of irradiation time (IRT) and scan time for FLASH radiotherapy using a pixelated semiconductor detector. Measurements of the time structure of FLASH irradiations were performed using fast, pixelated spectral detectors, AdvaPIX-TPX3 and Minipix-TPX3. The latter has a fraction of its sensor coated with a neutron sensitive material. With little or no dead time and an ability to resolve events that are closely spaced in time (tens of ns), both detectors can accurately determine IRTs as long as pile-ups are avoided. To avoid pile-ups, we placed the detectors beyond the Bragg peak or at a large scattering angle. We acquired prompt gamma rays and secondary neutrons and calculated IRTs based on timestamps of the first (beam-on) and the last (beam-off) charged species. We also measured scan times in x, y, and diagonal directions. We performed these measurements for a single spot, a small animal field, a patient field, and a ridge filter optimized field to demonstrate in vivo online monitoring of IRT. All measurements were compared to vendor log files. Differences between measurements and log files for a single spot, a small animal field, and a patient field were within 1%, 0.3% and 1%, respectively. In vivo monitoring of IRTs was accurate within 0.1% for AdvaPIX-TPX3 and within 6.1% for Minipix-TPX3. The scan times in x, y, and diagonal directions were 4.0, 3.4, and 4.0 ms, respectively. Overall, the AdvaPIX-TPX3 can measure FLASH IRTs within 1% accuracy, indicating that prompt gamma rays are a good surrogate for primary protons. The Minipix-TPX3 showed a higher discrepancy, suggesting a need for further investigation. The scan times (3.4 \pm 0.05 ms) in the 60-mm distance of y-direction were less than (4.0 \pm 0.06 ms) in the 24-mm distance of x-direction, confirming the much faster scanning speed of the Y magnets than that of X.

physics.med-ph

Characterization of 250 MeV protons from Varian ProBeam pencil beam scanning system for FLASH radiation therapy

Recently, shoot-through proton FLASH has been proposed where the highest energy is extracted from the cyclotron to maximize the dose rate (DR). Even though our proton pencil beam scanning system can deliver 250 MeV (the highest energy), it is not typical to use 250 MeV protons for routine clinical treatments and as such 250 MeV may not have been characterized in the commissioning. In this study, we aim to characterize 250 MeV protons from Varian ProBeam system for FLASH RT as well as assess the ability of clinical monitoring ionization chamber (MIC) for FLASH-readiness. We measured data needed for beam commissioning: integral depth dose (IDD) curve, spot sigma, and absolute dose calibration. To evaluate MIC, we measured output as a function of beam current. To characterize a 250 MeV FLASH beam, we measured: (1) central axis DR as a function of current and spot spacing and arrangement, (2) for a fixed spot spacing, the maximum field size that still achieves FLASH DR (i.e., > 40 Gy/s), (3) DR reproducibility. All FLASH DR measurements were performed using ion chamber for the absolute dose and irradiation times were obtained from log files. We verified dose measurements using EBT-XD films and irradiation times using a fast, pixelated spectral detector. R90 and R80 from IDD were 37.58 and 37.69 cm, and spot sigma at isocenter were {\sigma}x=3.336 and {\sigma}y=3.332 mm, respectively. The absolute dose output was measured as 0.377 GyE*mm2/MU for the commissioning conditions. Output was stable for beam currents up to 15 nA, and it gradually increased to 12-fold for 115 nA. DR depended on beam current, spot spacing and arrangement and could be reproduced within 4.2% variations. Even though FLASH was achieved and the largest field size that delivers FLASH DR was determined as 35x35 mm2, current MIC has DR dependence and users should measure DR each time for their FLASH applications.

physics.med-ph

An Integrated Biological Optimization framework for proton SBRT FLASH treatment planning allows dose, dose rate, and LET optimization using patient-specific ridge filters

Purpose: Patient-specific ridge filters can modulate proton energy to obtain a conformal dose. We describe a new framework for optimization of filter design and spot maps to meet the unique demands of FLASH radiotherapy. We demonstrate an Integrated Biological Optimization IMPT (IBO-IMPT) approach for optimization of dose, dose-averaged dose rate (DADR), and dose-averaged LET (LETd). Methods: We developed inverse planning software to design patient-specific ridge filters that spread the Bragg peak from a fixed-energy, 250 MeV beam to a proximal beam-specific planning target volume. The software optimizes patient-specific ridge filter and uses a Monte Carlo calculation engine, based on Geant4, to provide dose and LET influence matrices. Plan optimization, using matRAD, accommodates the IBO-IMPT objective function considering dose, dose rate, and LET simultaneously with minimum MU constraints. The framework enables design of both regularly spaced and sparse-optimized ridge filters, which allow faster delivery and selective LET optimization. Volume distributions and histograms for dose, DADR, and LETd are compared using evaluation structures specific to the heart and lung. Results: We used IBO-IMPT to design ridge filters for a central lung tumor patient. The IBO-IMPT framework selectively spared heart and lung by reducing LET and increasing dose rate, relative to IMPT planning. Sparse-optimized ridge filters were superior to regularly spaced ridge filters in dose rate. Together, these innovations substantially increased the DADR in the heart and lung while maintaining good target coverage. The volume that received a FLASH dose rate of higher 40 Gy/second increased by 31% for heart and 50% for lung. Conclusion: This proof-of-concept study demonstrates the feasibility of using an IBO-IMPT framework to accomplish proton FLASH SBPT, accounting for dose, DADR, and LETd simultaneously.

physics.med-ph

Supervisor Obfuscation Against Covert Actuator Attackers

This work investigates the problem of synthesizing obfuscated supervisors against covert actuator attackers. For a non-resilient supervisor S, for which there exist some covert actuator attackers that are capable of inflicting damage, we propose an algorithm to compute all the obfuscated supervisors, with the requirements that: 1) any obfuscated supervisor S' is resilient against any covert actuator attacker, and 2) the original closed-behavior of the closed-loop system under S is preserved, that is, any obfuscated supervisor S' is control equivalent to the original non-resilient supervisor S. We prove that the designed algorithm to synthesize obfuscated supervisors against covert actuator attack is sound and complete.

eess.SY

Synthesis of the Supremal Covert Attacker Against Unknown Supervisors by Using Observations

In this paper, we consider the problem of synthesizing the supremal covert damage-reachable attacker, in the setup where the model of the supervisor is unknown to the adversary but the adversary has recorded a (prefix-closed) finite set of observations of the runs of the closed-loop system. The synthesized attacker needs to ensure both the damage-reachability and the covertness against all the supervisors which are consistent with the given set of observations. There is a gap between the de facto supremality, assuming the model of the supervisor is known, and the supremality that can be attained with a limited knowledge of the model of the supervisor, from the adversary's point of view. We consider the setup where the attacker can exercise sensor replacement/deletion attacks and actuator enablement/disablement attacks. The solution methodology proposed in this work is to reduce the synthesis of the supremal covert damage-reachable attacker, given the model of the plant and the finite set of observations, to the synthesis of the supremal safe supervisor for certain transformed plant, which shows the decidability of the observation-assisted covert attacker synthesis problem. The effectiveness of our approach is illustrated on a water tank example adapted from the literature.

eess.SY

Identification of System Vulnerability under a Smart Sensor Attack via Attack Model Reduction

In this work, we investigate how to make use of model reduction techniques to identify the vulnerability of a closed-loop system, consisting of a plant and a supervisor, that might invite attacks. Here, the system vulnerability refers to the existence of key observation sequences that could be exploited by a specific smart sensor attack to cause damage infliction. We consider a nondeterministic smart attack, i.e., there might exist more than one attack choice over each received observation, and adopt our previously proposed modeling framework, where such an attack is captured by a standard finite-state automaton. For a given supervisor S and a smart sensor attack model A, another smart attack model A' is called attack equivalent to A with respect to S, if the resulting compromised supervisor, defined as the composition of the supervisor S and attack model A', is control equivalent to the original compromised supervisor, defined as the composition of S and A. Following the spirit of supervisor reduction that relies on the concept of control congruence, we will show that, this problem of synthesizing a reduced smart attack model A' that is attack equivalent to A with respect to S, can be transformed to a classical supervisor reduction problem, making all existing synthesis tools available for supervisor reduction directly applicable to our problem. A simplified and ideally minimum-state attack model can reveal all necessary observation sequences for the attacker to be successful, thus, reminds system designers to take necessary precautions in advance, which may improve system resilience significantly. An example is presented to show the effectiveness of our proposed attack model reduction technique to identify the system vulnerability.

eess.SY

A Topological Approach for Computing Supremal Sublanguages for Some Language Equations in Supervisory Control Theory

In this paper, we shall present a topological approach for the computation of some supremal sublanguages, often specified by language equations, which arise from the study of the supervisory control theory. The basic idea is to identify the solutions of the language equations as open sets for some (semi)-topologies. Then, the supremal sublanguages naturally correspond to the supremal open subsets, i.e., the interiors. This provides an elementary and uniform approach for computing various supremal sublanguages encountered in the supervisory control theory and is closely related to a theory of approximation, known as the rough set theory, in artificial intelligence.

cs.FL

Synthesis of Maximally Permissive Covert Attackers Against Unknown Supervisors by Using Observations

In this paper, we consider the problem of synthesis of maximally permissive covert damage-reachable attackers in the setup where the model of the supervisor is unknown to the adversary but the adversary has recorded a (prefix-closed) finite set of observations of the runs of the closed-loop system. The synthesized attacker needs to ensure both the damage-reachability and the covertness against all the supervisors which are consistent with the given set of observations. There is a gap between the de facto maximal permissiveness, assuming the model of the supervisor is known, and the maximal permissiveness that can be attained with a limited knowledge of the model of the supervisor, from the adversary's point of view. We consider the setup where the attacker can exercise sensor replacement/deletion attacks and actuator enablement/disablement attacks. The solution methodology proposed in this work is to reduce the synthesis of maximally permissive covert damage-reachable attackers, given the model of the plant and the finite set of observations, to the synthesis of maximally permissive safe supervisors for certain transformed plant, which shows the decidability of the observation-assisted covert attacker synthesis problem. The effectiveness of our approach is illustrated on a water tank example adapted from the literature.

eess.SY