Pancreas artificiale
Un controllore dell’insulina ad anello chiuso su un modello fisiologico glucosio-insulina — che doma i picchi post-pasto senza mai causare un’ipoglicemia: la sfida del pasto, la trappola dell’ipoglicemia, un livello di sicurezza a sospensione per basso glucosio, e una coorte di pazienti virtuali.

- tempo nella fascia (ibrido + sicurezza)
- 100%tempo nella fascia (ibrido + sicurezza)
- eventi ipoglicemici
- 0eventi ipoglicemici
- guadagno di tempo nella fascia
- 81% → 100%guadagno di tempo nella fascia
- pazienti della coorte con TIR ≥ 80%
- 40 / 40pazienti della coorte con TIR ≥ 80%
- notebook di progettazione
- 10notebook di progettazione
- controllo
- safety-criticalcontrollo
Controllo ad anello chiuso dove un errore è un’emergenza.
Un pancreas artificiale legge la glicemia e dosa l’insulina automaticamente — un anello di controllo chiuso su un paziente vivo. Ciò che lo rende difficile non è tenere basso il glucosio dopo un pasto; è farlo senza mai spingerlo troppo in basso, perché un evento ipoglicemico non è un setpoint mancato, è un’emergenza medica. Questo programma modella la fisiologia, costruisce il controllore, entra dritto in quella trappola di sicurezza, e mostra il livello di sicurezza che ne permette l’uscita — per poi dimostrarlo su una coorte di pazienti virtuali.
Un pasto è una perturbazione che non puoi respingere in tempo.
I carboidrati raggiungono il sangue in pochi minuti; l’insulina iniettata impiega molto più tempo ad agire. Così un pasto fa impennare la glicemia, e senza controllo essa sale oltre 200 mg/dL e resta alta per ore. Il modello — un sistema minimale glucosio-insulina di Bergman con un termine di comparsa del glucosio da pasto — riproduce esattamente quell’escursione postprandiale, e quantifica il danno: solo l’81% della giornata resta nella fascia sana 70-180, quasi un quinto in iperglicemia. È questo il problema che un anello chiuso è lì per risolvere.


Più insegui i picchi alti, più ti avvicini ai cali bassi.
È tentante spingere il controllore: un dosaggio di insulina più aggressivo appiattisce i picchi post-pasto e alza ulteriormente il tempo nella fascia. Ma l’insulina continua ad agire dopo che il glucosio ha già invertito la rotta, così un controllore troppo aggressivo scende sotto con un overshoot — dritto nell’ipoglicemia. Il programma rende esplicita la trappola: inseguire gli ultimi punti percentuali di tempo nella fascia con il solo guadagno provoca eventi ipoglicemici. In un dispositivo reale non è un punteggio peggiore, è un’ambulanza alle due di notte. La risposta non è un guadagno migliore — è un livello di sicurezza.



Ogni numero puoi rieseguirlo.
Il notebook di collaudo ridefinisce ogni requisito a partire dallo stesso modello fisiologico che il programma costruisce.
Risultato
- Tempo nella fascia ad anello aperto: 81%
- TIR ibrido + sicurezza: 100%
- Eventi ipoglicemici (ibrido): 0
- Coorte con TIR ≥ 80%: 40 / 40
- Requisiti verificati: 6 / 6
Requisito
- Tempo nella fascia ad anello aperto: base di riferimento
- TIR ibrido + sicurezza: R-03
- Eventi ipoglicemici (ibrido): R-04 = 0
- Coorte con TIR ≥ 80%: R-05
- Requisiti verificati: PASS
Un modello didattico e di controllo, non un dispositivo medico.
Il paziente è il modello minimale di Bergman — glucosio, azione dell’insulina e insulina plasmatica — non il simulatore ad alta fedeltà UVA/Padova usato per il lavoro regolatorio; la coorte è una semplice distribuzione di parametri fisiologici, e il CGM e la pompa sono idealizzati. Questo è un modello di controllo e ingegneria della sicurezza, esplicitamente non un dispositivo medico né un consiglio clinico. È esattamente la fedeltà che costruisce l’intuizione e la logica di controllo — la perturbazione del pasto, la trappola dell’ipoglicemia, il valore di un livello di sicurezza e la robustezza della coorte — su numeri riproducibili, prima di un simulatore ad alta fedeltà e di un processo di sviluppo regolato. E si abbina al percorso Rust memory-safe: un controllore in cui «verificato» deve significare davvero qualcosa.
Continua a esplorare






