Towards Personalized Prostate Cancer Therapy Using Delta-Reachability Analysis

Bing Liu,Soonho Kong,Sicun Gao,Paolo Zuliani,Edmund M. Clarke
DOI: https://doi.org/10.1145/2728606.2728634
2015-05-19
Abstract:Recent clinical studies suggest that the efficacy of hormone therapy for prostate cancer depends on the characteristics of individual patients. In this paper, we develop a computational framework for identifying patient-specific androgen ablation therapy schedules for postponing the potential cancer relapse. We model the population dynamics of heterogeneous prostate cancer cells in response to androgen suppression as a nonlinear hybrid automaton. We estimate personalized kinetic parameters to characterize patients and employ $\delta$-reachability analysis to predict patient-specific therapeutic strategies. The results show that our methods are promising and may lead to a prognostic tool for personalized cancer therapy.
Quantitative Methods,Logic in Computer Science
What problem does this paper attempt to address?