diff --git a/recherche.tex b/recherche.tex index f1f04b3..41137d5 100644 --- a/recherche.tex +++ b/recherche.tex @@ -744,6 +744,43 @@ de sorte à augmenter l'efficacité du traitement. \subsection{Encadrement de stages de recherche et développement} +\subsubsection{Contrôlabilité des systèmes complexes} +\noindent +\hspace{2.7mm} +{\renewcommand{\arraystretch}{1.3}% +\begin{tabularx}{\textwidth}{l X} + Stagiaires : & \emph{Vincent \textsc{Ferrari}, ENS Paris} \\ + Type : & stage de L3 d'initiation à la recherche \\ + Durée : & 1 juin--31 juillet 2022 +\end{tabularx} +} + +La complexité est inhérente aux structures macro- et microscopiques +qui nous entourent, et se manifeste de façon particulièrement +prononcée dans le vivant. En effet, les organismes biologiques font +preuve de comportements complexes à toutes les échelles : des +interactions biochimiques entre les molécules organiques, jusqu'aux +relations entre individus dans une société, humaine, animale, ou +bactérienne. On remarque au sein de ces systèmes de nombreuses +relations contrôleur-contrôlé : les enzymes qui contrôlent les +réactions biochimiques, les facteurs de transcription qui contrôlent +l'expression des gènes, le système nerveux qui contrôle les +contraction musculaires. Comprendre les mécanismes de ces contrôles +permet d'approfondir les connaissances sur les phénomènes en question, +mais aussi de concevoir des stratégies de reprogrammation pour +suggérer des thérapies et plus généralement des adaptations des +systèmes biologiques pour des objectifs industriels. + +Les réseaux booléens sont un formalisme bien adapté à la +représentation des systèmes complexes dont les entités peuvent être +perçues comme étant actives ou non. Grâce aux domaines booléens finis +de leurs variables, nombre de propriétés des réseaux booléens sont +traitables dans des temps raisonnables. De l'autre côté, les systèmes +à membranes sont un excellent outil de conception de cadres formels +généraux de toute sorte. L'objectif de ce stage est d'établir un cadre +formel général pour la contrôlabilité des réseaux booléens à base des +systèmes à membranes. + \subsubsection{Millefeuille évolutionnaire : une nouvelle formalisation de l'évolution} \noindent \hspace{2.7mm}