AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials

A key topic in precision medicine is to develop pharmacological treatments optimised for any given individual (personalised treatments). Model-based approaches (aka In Silico Clinical Trials, ISCT) aim at achieving this goal, by enabling the automatic synthesis and verification of personalised treatments via simulation, before they are actually administered to patients. In this short paper, we introduce the area of ISCT, and review our approach to the in silico automatic synthesis of optimal personalised treatments, where numerical simulation of quantitative models of the human physiology and reactions to drugs is driven by Artificial Intelligence global search.

[1]  Toni Mancini,et al.  A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability , 2008, J. Artif. Intell. Res..

[2]  Benedetto Intrigila,et al.  UPMurphi: A Tool for Universal Planning on PDDL+ Problems , 2009, ICAPS.

[3]  Johan Pallud,et al.  A Tumor Growth Inhibition Model for Low-Grade Glioma Treated with Chemotherapy or Radiotherapy , 2012, Clinical Cancer Research.

[4]  E. Tronci,et al.  Lack of Associations between Female Hormone Levels and Visuospatial Working Memory, Divided Attention and Cognitive Bias across Two Consecutive Menstrual Cycles , 2017, Front. Behav. Neurosci..

[5]  Toni Mancini,et al.  Evaluating ASP and Commercial Solvers on the CSPLib , 2006, Constraints.

[6]  E. Tronci,et al.  Associations Between Natural Physiological and Supraphysiological Estradiol Levels and Stress Perception , 2019, Front. Psychol..

[7]  Maria Fox,et al.  Modelling Mixed Discrete-Continuous Domains for Planning , 2006, J. Artif. Intell. Res..

[8]  Pietro Liò,et al.  Computational Modeling, Formal Analysis, and Tools for Systems Biology , 2016, PLoS Comput. Biol..

[9]  Hector Geffner,et al.  Classical Planning with Simulators: Results on the Atari Video Games , 2015, IJCAI.

[10]  Stephan Schmidt,et al.  Open Systems Pharmacology Community—An Open Access, Open Source, Open Science Approach to Modeling and Simulation in Pharmaceutical Sciences , 2019, CPT: pharmacometrics & systems pharmacology.

[11]  Robert L. Hester,et al.  HumMod: A Modeling Environment for the Simulation of Integrative Human Physiology , 2011, Front. Physio..

[12]  Toni Mancini,et al.  User Flexibility Aware Price Policy Synthesis for Smart Grids , 2015, 2015 Euromicro Conference on Digital System Design.

[13]  Kristin R. Swanson,et al.  Patient-Specific Mathematical Neuro-Oncology: Using a Simple Proliferation and Invasion Tumor Model to Inform Clinical Practice , 2015, Bulletin of mathematical biology.

[14]  Claudio Cobelli,et al.  The UVA/Padova Type 1 Diabetes Simulator Goes From Single Meal to Single Day , 2018, Journal of diabetes science and technology.

[15]  Toni Mancini,et al.  An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks , 2018, ISMIS.

[16]  Robert P. Goldman,et al.  SMT-Based Nonlinear PDDL+ Planning , 2015, AAAI.

[17]  Toni Mancini,et al.  Generalizing consistency and other constraint properties to quantified constraints , 2009, TOCL.

[18]  Andrew Coles,et al.  PDDL+ Planning with Events and Linear Processes , 2014, ICAPS.

[19]  Toni Mancini,et al.  Patient-specific models from inter-patient biological models and clinical records , 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).

[20]  Luca Cozzi,et al.  On the pre-clinical validation of a commercial model-based optimisation engine: application to volumetric modulated arc therapy for patients with lung or prostate cancer. , 2014, Radiotherapy and oncology : journal of the European Society for Therapeutic Radiology and Oncology.

[21]  C. Cobelli,et al.  The UVA/PADOVA Type 1 Diabetes Simulator , 2014, Journal of diabetes science and technology.

[22]  Edmund M. Clarke,et al.  Analysis and verification of the HMGB1 signaling pathway , 2010, BMC Bioinformatics.

[23]  Toni Mancini,et al.  Computing Personalised Treatments through In Silico Clinical Trials , 2018, RCRA@FLoC.

[24]  Enrico Tronci,et al.  CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems , 2013, Eur. J. Control.

[25]  F Maggioli,et al.  SBML2Modelica: integrating biochemical models within open-standard simulation ecosystems , 2019, Bioinform..

[26]  Peter Deuflhard,et al.  A mathematical model of the human menstrual cycle for the administration of GnRH analogues. , 2013, Journal of theoretical biology.

[27]  Marco Viceconti,et al.  In silico clinical trials: how computer simulation will transform the biomedical industry , 2016 .

[28]  Brian C. Williams,et al.  Generative Planning for Hybrid Systems Based on Flow Tubes , 2008, ICAPS.

[29]  Sergiy Bogomolov,et al.  PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior , 2015, ICAPS.

[30]  Lukás Chrpa,et al.  Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach , 2016, AAAI.

[31]  Tim Miller,et al.  Real-Time UAV Maneuvering via Automated Planning in Simulations , 2017, IJCAI.

[32]  Toni Mancini,et al.  Computing Biological Model Parameters by Parallel Statistical Model Checking , 2015, IWBBIO.

[33]  Toni Mancini,et al.  SyLVaaS: System Level Formal Verification as a Service , 2015, 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.

[34]  M. Danhof,et al.  Individualized Dosing Algorithms and Therapeutic Monitoring for Antiepileptic Drugs , 2018, Clinical pharmacology and therapeutics.

[35]  Jirí Kofránek,et al.  Physiomodel - an integrative physiology in Modelica , 2015, 2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).

[36]  Viju Raghupathi,et al.  Big data analytics in healthcare: promise and potential , 2014, Health Information Science and Systems.

[37]  Toni Mancini,et al.  Generating T1DM Virtual Patients for In Silico Clinical Trials via AI-Guided Statistical Model Checking , 2019, RCRA/RiCeRcA@AI*IA.

[38]  Toni Mancini,et al.  On minimising the maximum expected verification time , 2017, Inf. Process. Lett..

[39]  Toni Mancini,et al.  Demand-aware price policy synthesis and verification services for Smart Grids , 2014, 2014 IEEE International Conference on Smart Grid Communications (SmartGridComm).

[40]  Marco Viceconti,et al.  In silico clinical trials: concepts and early adoptions , 2019, Briefings Bioinform..

[41]  Manuel Mazo,et al.  PESSOA: A Tool for Embedded Controller Synthesis , 2010, CAV.

[42]  Sergiy Bogomolov,et al.  Planning as Model Checking in Hybrid Domains , 2014, AAAI.

[43]  D. Iber,et al.  Species-specific differences in follicular antral sizes result from diffusion-based limitations on the thickness of the granulosa cell layer. , 2013, Molecular human reproduction.

[44]  Toni Mancini,et al.  Combinatorial problem solving over relational databases: view synthesis through constraint-based local search , 2012, SAC '12.

[45]  Fikret Yalcinkaya,et al.  Mathematical modelling of human heart as a hydroelectromechanical system , 2013, 2013 8th International Conference on Electrical and Electronics Engineering (ELECO).

[46]  Walter Schmitt,et al.  PK-Sim®: a physiologically based pharmacokinetic ‘whole-body’ model , 2003 .

[47]  Toni Mancini,et al.  Conditional Constraint Satisfaction: Logical Foundations and Complexity , 2007, IJCAI.

[48]  Marco Viceconti,et al.  Credibility of In Silico Trial Technologies—A Theoretical Framing , 2019, IEEE Journal of Biomedical and Health Informatics.

[49]  Benedetto Intrigila,et al.  Planning for Autonomous Planetary Vehicles , 2010, 2010 Sixth International Conference on Autonomic and Autonomous Systems.

[50]  Eduardo D. Sontag,et al.  Mathematical Control Theory: Deterministic Finite Dimensional Systems , 1990 .

[51]  Toni Mancini,et al.  Anytime system level verification via parallel random exhaustive hardware in the loop simulation , 2016, Microprocess. Microsystems.

[52]  Kunal Roy,et al.  Molecular docking and QSAR studies of aromatase inhibitor androstenedione derivatives , 2010, The Journal of pharmacy and pharmacology.

[53]  E. Tronci,et al.  Negative affect is unrelated to fluctuations in hormone levels across the menstrual cycle: Evidence from a multisite observational study across two successive cycles. , 2017, Journal of psychosomatic research.

[54]  Natalia A Trayanova,et al.  Personalized Imaging and Modeling Strategies for Arrhythmia Prevention and Therapy. , 2018, Current opinion in biomedical engineering.

[55]  Toni Mancini,et al.  Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins , 2020, Fundam. Informaticae.

[56]  Calin Belta,et al.  Hybrid Modeling and Simulation of Biomolecular Networks , 2001, HSCC.

[57]  Toby Walsh,et al.  Handbook of Constraint Programming , 2006, Handbook of Constraint Programming.

[58]  Lucas O Müller,et al.  A global multiscale mathematical model for the human circulation with emphasis on the venous system , 2014, International journal for numerical methods in biomedical engineering.

[59]  Toni Mancini,et al.  Parallel Statistical Model Checking for Safety Verification in Smart Grids , 2018, 2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm).

[60]  Minoru Kanehisa,et al.  KEGG: new perspectives on genomes, pathways, diseases and drugs , 2016, Nucleic Acids Res..

[61]  Majid Zamani,et al.  SCOTS: A Tool for the Synthesis of Symbolic Controllers , 2016, HSCC.

[62]  Henning Hermjakob,et al.  The Reactome pathway knowledgebase , 2013, Nucleic Acids Res..