%\usepackage[font=footnotesize]{subfig}
\usepackage[utf8]{inputenc}
\usepackage{thmtools, thm-restate}
+\usepackage{multirow}
%\declaretheorem{theorem}
%%--------------------
\part{Réseaux Discrets}
-
-
\chapter{Iterations discrètes de réseaux booléens}
\JFC{chapeau à refaire}
\section{Formalisation}
\input{sdd}
-
\section{Combinaisons synchrones et asynchrones}
\input{mixage}
-
\section{Conclusion}
\JFC{Conclusion à refaire}
-\chapter[Preuve de convergence de systèmes booléens]{Preuve automatique de convergence}\label{chap:promela}
+\chapter{Preuve automatique de convergence}\label{chap:promela}
\input{modelchecking}
\part{Des systèmes dynamiques discrets
au chaos}
-\chapter{Characterisation des systèmes
+\chapter[Caracterisation des systèmes
+ discrets chaotiques]{Caracterisation des systèmes
discrets chaotiques pour les schémas unaires et généralisés}
La première section rappelle ce que sont les systèmes dynamiques chaotiques.
\label{subsec:Devaney}
\input{devaney}
-\section{Schéma unaire}
+\section{Schéma unaire}\label{sec:TIPE12}
\input{12TIPE}
\section{Schéma généralisé}
\chapter{Prédiction des systèmes chaotiques}
-13 JournalMichel
+\input{chaosANN}
- \part{Conclusion et Perspectives}
+\part{Conclusion et Perspectives}
\JFC{Perspectives pour SDD->Promela}
Among drawbacks of the method, one can argue that bounded delays is only