Pancréas artificiel
Un régulateur d’insuline en boucle fermée sur un modèle de physiologie glucose-insuline — dompter les pics post-repas sans jamais provoquer d’hypoglycémie : le défi du repas, le piège de l’hypoglycémie, une couche de sécurité de suspension à glycémie basse, et une cohorte de patients virtuels.

- temps dans la cible (hybride + sécurité)
- 100%temps dans la cible (hybride + sécurité)
- événements hypoglycémiques
- 0événements hypoglycémiques
- gain de temps dans la cible
- 81% → 100%gain de temps dans la cible
- patients de la cohorte avec TIR ≥ 80 %
- 40 / 40patients de la cohorte avec TIR ≥ 80 %
- notebooks de conception
- 10notebooks de conception
- régulation
- critique pour la sécuritérégulation
Une régulation en boucle fermée où une erreur est une urgence.
Un pancréas artificiel lit la glycémie et dose l’insuline automatiquement — une boucle de régulation fermée sur un patient vivant. Ce qui rend l’exercice difficile, ce n’est pas de contenir la glycémie après un repas ; c’est de le faire sans jamais la faire trop chuter, car un événement hypoglycémique n’est pas un simple écart de consigne, c’est une urgence médicale. Ce programme modélise la physiologie, construit le régulateur, s’engage droit dans ce piège de sécurité, puis montre la couche de sécurité qui permet d’en sortir — avant de le démontrer sur une cohorte de patients virtuels.
Un repas est une perturbation que l’on ne peut pas rejeter à temps.
Les glucides atteignent la circulation sanguine en quelques minutes ; l’insuline injectée met bien plus longtemps à agir. Un repas fait donc s’emballer la glycémie, et sans régulation elle dépasse 200 mg/dL et reste élevée pendant des heures. Le modèle — un système glucose-insuline minimal de Bergman avec un terme d’apparition du glucose au repas — reproduit exactement cette excursion postprandiale, et en quantifie les dégâts : seulement 81 % de la journée dans la bande saine 70-180, près d’un cinquième en hyperglycémie. C’est le problème qu’une boucle fermée est là pour résoudre.


Plus on chasse fort les hyperglycémies, plus on se rapproche des hypoglycémies.
Il est tentant de monter le gain du régulateur : un dosage d’insuline plus agressif aplatit les pics post-repas et pousse le temps dans la cible encore plus haut. Mais l’insuline continue d’agir après que la glycémie a déjà rebroussé chemin, si bien qu’un régulateur trop nerveux dépasse vers le bas — droit vers l’hypoglycémie. Le programme rend le piège explicite : chasser les derniers points de temps dans la cible par le seul gain provoque des événements hypoglycémiques. Sur un dispositif réel, ce n’est pas un score dégradé, c’est une ambulance à 2 heures du matin. La réponse n’est pas un meilleur gain — c’est une couche de sécurité.



Chaque valeur est une valeur que vous pouvez recalculer.
Le notebook de validation finale re-dérive chaque exigence à partir du même modèle de physiologie que construit le programme.
Résultat
- Temps dans la cible en boucle ouverte : 81 %
- TIR hybride + sécurité : 100 %
- Événements hypoglycémiques (hybride) : 0
- TIR de cohorte ≥ 80 % : 40 / 40
- Exigences vérifiées : 6 / 6
Exigence
- Temps dans la cible en boucle ouverte : référence
- TIR hybride + sécurité : R-03
- Événements hypoglycémiques (hybride) : R-04 = 0
- TIR de cohorte ≥ 80 % : R-05
- Exigences vérifiées : RÉUSSI
Un modèle pédagogique et de régulation, pas un dispositif médical.
Le patient est le modèle minimal de Bergman — glucose, action de l’insuline et insuline plasmatique — et non le simulateur haute-fidélité UVA/Padova utilisé pour les dossiers réglementaires ; la cohorte est une simple répartition de paramètres physiologiques, et le CGM et la pompe sont idéalisés. C’est un modèle de régulation et d’ingénierie de sécurité, explicitement pas un dispositif médical ni un avis clinique. C’est exactement la fidélité qui construit l’intuition et la logique de régulation — la perturbation du repas, le piège de l’hypoglycémie, la valeur d’une couche de sécurité, et la robustesse sur la cohorte — sur des chiffres reproductibles, avant un simulateur haute-fidélité et un processus de développement réglementé. Et il s’associe à la filière Rust memory-safe : un régulateur où « vérifié » doit vouloir dire quelque chose.
Continuer à explorer






