scolobb/dossier-complet
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

recherche: Don't talk about Petri nets any more.

Browse source
This commit is contained in:
Sergiu Ivanov 2018-11-19 12:21:25 +01:00
parent 9413934afc
commit 776f7faa51
1 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
recherche.tex
View file

@ -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 démarrage de mes travaux de thèse et suit naturellement aux travaux
formels que j'ai réalisés. 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 La {\em médecine personnalisée} est un domaine scientifique émergeant
ayant pour objet de définir de nouveaux paradigmes en {\em médecine} ayant pour objet de définir de nouveaux paradigmes en {\em médecine}
afin de {\em personnaliser} le traitement au 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 trajectoires du réseau contrôlé (par
exemple,~\cite{mandon2017}). Actuellement, nous nous penchons sur le 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 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 gardant des temps raisonnables d'analyse par ordinateur.
étudierons par ailleurs les outils formels et logiciels autour des
réseaux de Petri et leurs dépliages.
\subsubsection{Méthodes formelles pour le véhicule autonome} \subsubsection{Méthodes formelles pour le véhicule autonome}