Universitá di Pisa Facoltá di Ingegneria
TESI DI LAUREA IN INGEGNERIA DELL'AUTOMAZIONE
Identicazione di un modello HIV
per il controllo farmacologico
Candidato:
Emanuele Morano
Relatori:
Prof. Ing. A. Landi
Dott. Ing. M. Laurino
Controrelatore:
Prof. Ing. G. Pannocchia
Sessione di Laurea del 20/12/2011 Anno Accademico 2010/2011
Sommario
In letteratura sono presenti vari lavori sull'identicazione parametrica di modelli matematici descriventi la dinamica dell'infezione da HIV. In questo elaborato si propone una stima dei parametri del modello HIV sviluppato dalla Facoltà di Inge-gneria Biomedica dell'Università di Pisa con lo scopo di validare, per quanto pos-sibile, il modello proposto. A tal proposito si è dapprima eettuata un modica al modello per rendere l'andamento della variabile virulenza più accettabile dal punto di vista siologico. Successivamente è stato implementato un opportuno algoritmo di identicazione per sfruttare al meglio le esigue misure messe a disposizione dalla Fondazione San Raaele di Milano. Si è pensato, pertanto, di operare attraverso uno studio della sensibilità parametrica e di un'identicazione a gruppi. Nella parte nale sono state applicate varie strategie di controllo farmacologico su alcuni pa-zienti presi precedentemente in esame in modo da testare dierenti terapie su casi clinici reali. In particolare, oltre al classico trattamento farmacologico HAART, è stato applicato un protocollo terapeutico sperimentale ad interruzioni strutturate del trattamento (STI) basato sul controllo predittivo (MPC).
Abstract
In literature there are a number of works concerning the identication of parametric mathematical models describing the dynamics of HIV infection. In this work we propose a parameter estimation of the HIV model developed by The Biomedical Engineering University of Pisa in order to validate, as far as possible, the proposed model. To this regard, rst of all a change was made to the model in order to make the performance of the variable virulence more physiologically acceptable. Then, an appropriate identication algorithm was implemented in order to take advan-tage of the limited measures provided by the San Raaele Foundation as much as possible. To this aim it was thought to carry out the research through a study of the parameter sensitivity and identication groups. Finally a number of strate-gies have been applied to the pharmacological control of some patients previously taken under consideration in order to test dierent treatments of real clinical cases. In addition to the standard pharmacological HAART treatment, an experimental treatment protocol was applied to a structured interruption of the treatment (STI) based on predictive control (MPC).
Introduzione
Negli ultimi anni l'applicazione di teorie tipicamente appartenenti al mondo del-l'ingegneria si sono rivelate una delle strade più promettenti nella ricerca medica e farmacologica. Un campo molto interessante riguarda lo studio di patologie che si prestano ad essere trattate con tecniche dell'automazione e del controllo in modo tale da aancare e supportare il medico nella scelta delle terapie da eseguire. L'idea di base è quella di descrivere i diversi processi biologici tramite modelli mate-matici a cui applicare leggi di controllo capaci di gestire i sistemi modellati in modo eciente.
Un passo indispensabile è adattare i vari modelli al singolo paziente in modo tale da poter denire delle cure speciche per il singolo individuo. In questa ottica si inseri-sce il presente lavoro riguardante l'identicazione e, successivamente, il controllo di un modello descrivente l'infezione da HIV.
L'infezione da HIV e la sindrome associata AIDS rappresentano, ad oggi, una delle patologie più dicili da trattare in ambito mondiale. I trattamenti farmacolo-gici standard usati permettono un buon contenimento dell'infezione anche a lungo termine, ma presentano anche numerosi svantaggi come gli alti costi, i numerosi e gravi eetti collaterali e l'aumento dello sviluppo di mutazioni virali. Recenti studi hanno permesso, inoltre, di dierenziare il meccanismo di infezione del virus portando così le case farmaceutiche alla creazione di un nuovo farmaco specico, il Maraviroc.
Così come il medico cerca di formulare la terapia migliore per il paziente basandosi sull'esperienza e sull'analisi, si può pensare di eettuare la stessa procedura creando però un modello specico per ogni individuo. In questo modo è possibile simulare la reazione del paziente a vari protocolli terapeutici fornendo, tramite una stima di quello che potrà essere l'evolversi della malattia, indicazioni utili al personale medico. Uno studio circa l'identicazione dei parametri del modello si rende necessario per l'applicazione del modello, e del relativo controllo, a casi clinici reali. Le dicol-tà che si possono incontrare sono molteplici tra le quali: la scarsa frequenza con cui sono eettuati i test clinici, l'impossibilità di misurare con precisione ogni stato del modello e di perturbare ecacemente il sistema dall'esterno e la probabile variazione temporale dei parametri.
In letteratura sono presenti vari modelli matematici descriventi la dinamica della infezione da HIV. Il modello utilizzato in questo lavoro è stato sviluppato dalla Fa-coltà di Ingegneria Biomedica dell'Università di Pisa e nasce come una variante dei modelli di Wodarz e Nowak. Le peculiarità del nuovo modello sono l'introduzione di
2
una variabile denita virulenza, che tiene conto dell'aggressività virale e la modella-zione dell'amodella-zione farmacologica. Il modello, pur nella sua semplicità, si è dimostrato valido nella descrizione del decorso dell'infezione con e senza trattamento farmaco-logico e nelle diverse condizioni simulate numericamente in [6] e [10].
Alla luce di questi soddisfacenti risultati si è deciso di passare all'identicazione pa-rametrica del modello utilizzando i dati messi a disposizione dalla Fondazione San Raaele di Milano.
E' apparso subito evidente che, a dierenza dei vari studi di identicazione parame-trica che si trovano in letteratura, in questo caso si aveva a disposizione una quantità esigua di dati. Per ovviare a questo problema si è scelto di operare su due fronti: da un lato si è cercato di ridurre il set di parametri da stimare tramite un'analisi di sensibilità parametrica, dall'altro si è cercato di aumentare il più possibile le in-formazioni a disposizione implementando un apposito algoritmo di identicazione a gruppi.
Dai risultati del processo di identicazione è emerso che il modello si adatta suf-cientemente bene ai casi clinici reali anche se sono emersi dei limiti specialmente riguardo gli andamenti del carico virale.
Una volta stimati i parametri dei vari pazienti, si è passato allo studio riguar-dante il controllo farmacologico dell'infezione. La strategia di controllo usata appar-tiene alla classe del controllo predittivo basato su modello (MPC), una tipologia di controllori estremamente versatile che di recente sta trovando, con ottimi risultati, applicazione anche in ambito biologico e medico. Queste tecniche di controllo erano già state implementate in [10] con soddisfacenti risultati. In questo caso si sono vo-lute applicare le varie strategie terapeutiche su modelli adattati ai singoli pazienti. Così facendo ci si vuole avvicinare sempre di più all'idea di base secondo la quale il personale medico ha a disposizione, per ogni paziente, un modello che lo rappre-senta e su di esso, attraverso simulazioni, è in grado di sondare strategie terapeu-tiche sperimentali ricavando utili informazioni ancora prima della sperimentazione clinica.
Bibliograa
[1] Dragic T, Litwin V, Allaway GP, et al. HIV-1 entry into CD4+ cells is mediated by the chemokine receptor CC-CKR-5. Nature 1996; 381:667-73.
[2] Dean M, Carrington M, Winkler C, et al. Genetic restriction of HIV-1 infection and progression to AIDS by a deletion allele of the CKR5 structural gene. Science 1996; 273:1856-62.
[3] Siliciano R. Viral Reservoirs and Ongoing Virus Replication in Patients on HAART: Implications for Clinical Management. 8th Conference on Retroviruses and Opportunistic Infections, February 4-8 2001, Chicago. Abs. n. L5.
[4] Centro Nazionale AIDS dell'Istituto Superiore di Sanità Linee Guida Italiane sull'utilizzo dei farmaci antiretrovirali e sulla gestione diagnostico-clinica delle persone con infezione da HIV-1. Luglio 2011
[5] Vergu E, Mallet A, Golmard JL, A modeling approach to the impact of HIV mutations on the immune system. Comput. Methods Programs Biomed., 2005 Jan; 35(1):1-24.
[6] A. Landi, A. Mazzoldi, C. Andreoni, M.Bianchi, A. Cavallini, M. Laurino, L. Ricotti, R. Iuliano, B. Matteoli, and L. Ceccherini-Nelli, Modelling and control of HIV dynamics. Comput. Methods Programs Biomed., vol. 89, no. 2, pp. 162168, 2008.
[7] D. Wodarz, M. A. Nowak. Specic therapy regimes could lead to long-term immunological control of HIV. Proc. Natl. Acad. Sci. USA 96:1446414469 (1999).
[8] I. Craig, X. Xia, Can HIV/AIDS be controlled? IEEE Cont. Syst. Mag. (2005) 8083.
[9] D. Wodarz, M. A. Nowak. Mathematical models of HIV pathogenesis and treatment. BioEssays 24:11781187, (2002).
[10] G. Pannocchia, M. Laurino, and A. Landi, A model predictive control stra-tegy towards optimal structured treatment interruptions in anti-HIV therapy. December 2009, accepted for publication in IEEE Transactions on Biomedical Engineering.
[11] X. Xia, C. H. Moog, Identiability of Nonlinear Systems with Application to HIV/AIDS Models. IEEE Transactions on Automatic Control, vol. 48, N◦ 2,
February 2003.
Bibliograa 4
[12] X. Xia, Estimation of HIV/AIDS parameters. presented at the 15th IFAC World Congr., Barcelona, Spain, July 2126, 2002.
[13] K. Thomaseth, C. Cobelli, Generalized Sensitivity Functions in Physiological System Identication. Annals of Biomedical Engineering, Vol. 27, pp. 607-616, 1999.
[14] A.J. McMichael and others. Cellular immune response to HIV infection. Phil. Trans. R. Soc. Lond. (2000).
[15] Ryan Zurakowski, Michael J. Messina, Sezai E. Tuna, Andrew R. Teel. HIV treatment scheduling via robust nonlinear model predictive control. 5th Asian Control Conference, (2004).
[16] M. Joly, J.M. Pinto. Role of Mathematical Modeling on the Optimal Control of HIV-1 Pathogenesis. AIChE Journal, Vol.52:3 (March, 2006).
[17] D. Wodarz and M.A. Nowak. Specic therapy regimes could lead to long-term immunological control of HIV. Proc Natl Acad Sci U S A, 96(25):144649, (Dec, 1999).
[18] D.Wodarz and M.A. Nowak. HIV therapy: managing resistance. Proc Natl Acad Sci U S A, 97(15):81935, (Jul, 2000).