The availability of a representative population of virtual patients, i.e., a population large enough to represent all relevant human patient behaviours, is a key enabler for the design of In Silico Clinical Trials (ISCTs), that is trials following simulation-based approaches for the safety and efficacy assessment of pharmacological treatments and biomedical devices. This involves the development of Virtual Physiological Human (VPH) models able to represent the whole phenotypes spectrum of the human physiology of interest. Usually, such models are open-loop models, i.e., their behaviour depends also on exogenous inputs (such as, e.g., pharmacological drugs). In this paper, we propose a methodology to convert an open-loop VPH model into a closed-loop model. As a case study, we apply our methodology to a state-of-the-art VPH model defining the human glucose regulation system of individuals with Type 1 Diabetes Mellitus (T1DM), and show how we generate a representative population of T1DM virtual patients.


    Access

    Download


    Export, share and cite



    Title :

    Generating T1DM virtual patients for in silico clinical trials via AI-guided statistical model checking



    Publication date :

    2020-01-01


    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Classification :

    DDC:    629



    Metabolic Demand of Driving Among Adults with Type 1 Diabetes Mellitus (T1DM)

    Cox, D.J. / Singh, H. / Clarke, W.L. et al. | British Library Conference Proceedings | 2008


    Guided flight trials

    Boswell, R.W.M. | Engineering Index Backfile | 1958


    Statistical Conformance Checking of Aviation Cyber-Physical Systems by Mining Physics Guided Models

    Banerjee, Ayan / Maity, Aranyak / Gupta, Sandeep K.S. et al. | IEEE | 2023


    Generating MC/DC adequate test sequences through model checking

    Rayadurgam, S. / Heimdahl, M.P.E. | Tema Archive | 2004


    Verification of Real-Time Systems using Statistical Model Checking

    Hansen, Jeffery P. / Wrage, Lutz | AIAA | 2015