diff --git a/recherche.tex b/recherche.tex index 14edea0..e9a2278 100644 --- a/recherche.tex +++ b/recherche.tex @@ -568,7 +568,7 @@ précision. Cette ouverture correspond à la vision que j'avais au démarrage de mes travaux de thèse et suit naturellement aux travaux formels que j'ai réalisés. -\subsubsection{Réseaux de Petri pour la médecine de précision} +\subsubsection{Thérapies séquentielles pour la médecine de précision} La {\em médecine personnalisée} est un domaine scientifique émergeant ayant pour objet de définir de nouveaux paradigmes en {\em médecine} afin de {\em personnaliser} le traitement au @@ -610,9 +610,7 @@ plus efficaces, car celles-ci permettent de piloter plus finement les trajectoires du réseau contrôlé (par exemple,~\cite{mandon2017}). Actuellement, nous nous penchons sur le problème de définition de contrôle séquentiel d'un réseau, tout en -gardant des temps raisonnables d'analyse par ordinateur. Nous -étudierons par ailleurs les outils formels et logiciels autour des -réseaux de Petri et leurs dépliages. +gardant des temps raisonnables d'analyse par ordinateur. \subsubsection{Méthodes formelles pour le véhicule autonome}