Les systèmes éducatifs dans les pays en développement ont subi de véritables transformations depuis les années 1990. Différentes réformes ont été entreprises dans le but d’améliorer leur efficacité face aux divers changements provoqués par les effets de la mondialisation. Suite aux deux grands rassemblements internationaux, à Jomtien en 1990 et à Dakar en 2000 sur l'état de l'éducation dans le monde, ce secteur est placé au centre des préoccupations mondiales. Ainsi, sous l'impulsion des grands défis lancés par les organismes de financement international lors de ces grands rassemblements, les pays en développement se sont-ils engagés à entreprendre des réformes globales dans leur système éducatif.Cependant, en raison de leur philosophie, des contraintes liées aux particularités des contextes d’appropriation ainsi qu’à la pression exercée par des organismes de financement international qui exigent des résultats rapides, ces réformes doivent faire face à des difficultés d’applicabilité considérables.Cette thèse analyse le début de la réforme par les compétences entreprise en Haïti et au Burkina Faso en 2007. Elle renforce l’idée de la nécessité d’une stratégie nationale, dans la redéfinition des objectifs en fonction des réalités et des aspirations des populations, dans la gestion des ressources humaines et matérielles nécessaires pour réformer réellement et efficacement au risque d'affaiblir davantage ces systèmes éducatifs déjà trop précaires. / Education systems in developing countries have undergone real transformations since the 1990s. Different reforms have been undertaken to improve their effectiveness in the face of the various changes brought about by the effects of globalization. Following the two major international meetings in Jomtien in 1990 and in Dakar in 2000 devoted to the state of education in the world, this sector is at the center of global concerns. Thus, under the impetus of the major challenges launched by international funding agencies at large gatherings, developing countries are committed to undertake comprehensive reforms in their education systems.However, due to their philosophy, constraints linked to the particularities of the contexts of appropriation and the pressure exerted by donors who demand rapid results, these reforms face enormous difficulties of applicability.This dissertation analyzes the beginning of the skills reform undertaken in Haiti and Burkina Faso in 2007. It reinforces the idea of the need for a national strategy, in redefining objectives according to the realities and aspirations of the populations, in managing the human and material resources needed to effectively reform against the risk of further weakening these already precarious educational systems.

Aujourd’hui, la conception ne porte plus sur de simples objets, mais sur des systèmes complexes, sociotechniques et ouverts. Les systèmes de conduite de procédés font partie de ce type de systèmes, où les performances du système reposent sur l’optimisation conjointe des composantes humaines et techniques. Afin de limiter la détection d’erreur tardive, il devient alors important de pouvoir effectuer des tests tout au long de la conception, sans augmenter les coûts et les délais de conception. L’objectif de nos travaux est de faciliter l’intégration de techniques de vérification par simulation, dès le début de la conception, pour des systèmes de conduite de procédés de type gestion de fluide. Pour tenir compte du caractère adaptable du système et de son évolution dans un environnement dynamique, une première contribution porte sur la démarche de vérification, basée sur la formalisation et la contextualisation des propriétés à vérifier. Puis, afin de faciliter l’obtention des modèles de simulation du procédé nécessaires à la mise en œuvre des vérifications tout au long de la conception, nous proposons une approche de génération automatisée des modèles de simulation du procédé dans le langage Modelica (modélisation multi-domaine), à partir d’un schéma P&ID (représentation de l’architecture fonctionnelle du procédé) et d’une bibliothèque d’éléments (contenant les modèles de simulation des éléments). L’implémentation de cette approche dans le cadre du flot de conception automatisée de contrôle- commande d’Anaxagore permet d’apporter une preuve de concept et une preuve d’usage de nos propositions. / Nowadays, engineers have to design open, complex and sociotechnical systems. The process control systems belong to this class of systems, in which the system performance relies on the joint optimisation of technical components and human components. To avoid the late discovery of design errors, it is necessary to perform tests throughout the design without adding design costs and delays. The aim of this work is therefore to facilitate the integration of checking by simulation, from early design stage, for process control systems such as fluid management systems. Regarding the adaptable feature of the system and its evolution in a dynamic environment, a first contribution focusses on the verification approach, by modelling the requirements within the context. Then, to facilitate the obtaining of the process simulation models required for checking throughout the design, we propose an automatic generation approach of simulation models in Modelica language (multi-domain modelling), from a P&ID model (modelling of the functional architecture of the process) and a library of elements (containing the simulation models of elements). To provide a proof of concept and a proof of use of our proposals, this approach has been implemented into Anaxagore, an automated design flow for monitoring and control.

La croissance importante du nombre d'étudiants et le changement de profils des apprenants constatés durant les deux dernières décennies ont bouleversé l'enseignement supérieur. Le besoin d'adapter les enseignements a émergé brutalement. Les cours en face à face s'adressant à un grand nombre d'étudiants offrent un cadre soutenable pour la recherche et la mise en oeuvre de nouvelles pratiques pédagogiques. Dans ce contexte, différentes études montrent que l'utilisation de systèmes de votes interactifs (SVI) est un moyen de proposer des évaluations formatives aux étudiants durant le cours en les engageant massivement. Cependant ces systèmes n'intègrent pas toutes les dimensions caractérisant l'évaluation formative, ils ne tirent pas parti des apports des systèmes d'échanges et de partage de textes (SEPT) ayant fait leur apparition avec Internet et offrent donc des modalités d'interactions limitées. Ainsi nos travaux adressent les deux questions de recherche suivantes : - comment enrichir la mise en oeuvre d'évaluations formatives dans le contexte d'un cours en face à face dispensé à un grand nombre d'étudiants ? - comment susciter l'engagement du plus grand nombre d'étudiants dans les activités relatives à ces évaluations formatives ? Pour répondre à ces questions, nous proposons en premier lieu un cadre de travail pour la conception de systèmes d'évaluation formative dans le contexte des cours en face à face adressés à une large audience. Nous introduisons ainsi le concept d'évaluation d'audience et décrivons les processus qui lui sont associés en utilisant un langage standard de modélisation. De plus, afin d'enrichir la mise en oeuvre de l'évaluation formative dans les amphithéâtres, nous proposons un nouveau processus baptisé "processus en N phases" intégrant des activités et stratégies caractéristiques de l'évaluation formative telles que l'évaluation par les pairs ou l'utilisation des étudiants comme ressources pour les autres. Ce processus supporte également des modalités d'interaction plus riches qui incluent la saisie de texte libre ou la fourniture de feedback sous forme textuelle. La deuxième partie de nos travaux porte sur la conception et la mise en oeuvre du système d'évaluation d'audience Tsaap-Notes qui combine les atouts des SVI et des SEPT pour implanter le processus en N phases. Ce système d'évaluation d'audience enrichi a fait l'objet d'une série d'expérimentations montrant des résultats probant sur la capacité du système à maintenir l'engagement de la très grande majorité des étudiants dans le processus d'évaluation formative. / The significant growth in student numbers and changing learner profiles observed during the last two decades have shaken higher education. The need to adapt teaching strongly appeared. Face to face lectures for a large audience are a sustainable frame for research and implementation of new pedagogical practices. In this context, different studies show that the use of audience response system (ARS) is an efficient way to provide students with formative assessments during lectures and that they engage a large numbers of attendees. However, these systems do not integrate all dimensions of formative assessments, they do not take advantages of sharing text systems (STS) who appeared with Internet and therefore provide only limited types of interaction. Thus, our work addresses the following research questions : - how to enhance implementation of formative assessments in the context of face to face lectures adressed to a large number of students ? - how to maintain engagement of the majority of students in activities related to these formative assessments ? In order to answer these questions, we first propose a framework for the design of formative assessment systems to be used during face to face lectures addressed to a large audience. Thus, we introduce the concept of Audience Assessment and describe its related processes using a standard language. Then, in order to enhance implementation of formative assessments addressed to a large audience, we propose a new process called "N phases process" which introduces characteristic activities and strategies of formative assessments such as peer assessment or use of students as resources of instruction for others. This process supports also richer types of interaction such as answer given as free text entry or feedback provided as text. The second part of our work focuses on the design and the implementation of the audience assessment system called " Tsaap-Notes ". Tsaap-Notes combines the strengths of SVI and STS to implement the N phases process. A series of experimentations has been conducted on Tsaap-Notes showing good results on the capacity of the N phases process to engage the large majority of students.

Les systèmes de fusion d'informations sont principalement composés, d'outils mathématiques permettant de réaliser la représentation et la combinaison des données. L'objectif de ces systèmes peut s'exprimer comme un problème de décision sur la vérité ou la vraisemblance d'une proposition étant donné une ou plusieurs informations issues de différentes sources. Les systèmes de fusion cherchent à exploiter au mieux les propriétés des sources de données en tenant compte de l'imperfection de l'information (imprécis, incomplet, ambigu, incertain, etc.) ainsi que l'aspect redondant, complémentaire et conflictuel des informations. Le système de fusion concerné par cette thèse a la capacité d'intégrer dans ses traitements de la connaissance experte. On le nomme système de fusion coopératif. Puisque ce système cherche à intégrer pleinement les experts dans son fonctionnement, il est important de mettre à disposition des utilisateurs des informations aidant à mieux comprendre la fusion réalisée. De tels systèmes disposent de nombreux paramètres à régler et ces derniers ont un impact important sur la qualité des résultats obtenus. Une des grandes problématiques liées à ces systèmes de fusion d'informations porte sur l'évaluation de leurs performances. L'évaluation doit permettre d'améliorer la qualité de la fusion, d'améliorer l'interaction expert/système et d'aider à mieux ajuster les paramètres du système. En général, l'évaluation de tels systèmes est réalisée en fin de chaîne par une évaluation globale du résultat. Mais, celle-ci ne permet pas de savoir précisément l'endroit de la chaîne qui nécessite une intervention. Une autre difficulté réside dans le fait qu'une vérité terrain complète sur le résultat n'est pas toujours disponible, ce qui complique la tâche d'évaluation de performances de ce type de systèmes. Le contexte applicatif de ce travail est l'interprétation d'images tridimensionnelles (images tomographiques, images sismiques, images synthétiques, ...). Dans ce contexte une évaluation locale des systèmes de fusion d'informations, a été mise en place. L'approche a montré son intérêt dans l'ajustement efficace des paramètres et dans la coopération avec l'expert. / Information fusion systems are mainly composed from mathematical tools allowing to realize data representation and combination. The aim of these systems can be expressed as a decision problem on the truth or plausibility of a proposition based on several information coming from different sources. Fusion try to manage the characteristics of the sources taking into account the information imperfection (inaccurate, incomplete, ambiguous, uncertain, etc.) and the redundant aspect, the complement and the conflictual aspect of information. Fusion systems concerned by this thesis have the ability to integrate the expert knowledge in their treatments. They are called cooperative fusion systems. Since these systems are trying to associate experts, it is important to provide to the users some informations that help them to better understand the fusion process. Such systems have many parameters that must be adjusted. These parameters have an important impact on the quality of the obtained results. One of the major problems associated to information fusion systems concerns the evaluation of their performance. A pertinent evaluation will allow to improve the quality of the fusion, to improve expert/system interaction and to better adjust the parameters of the system. Generally, the evaluation of such systems is made in the ouput of the processing chain by a global evaluation of the results. But it does not allow to know the precise subpart of the treatement chain that requires an adjustment of its parameters. Another difficulty releases in the fact that a complete ground truth of the result is not always available, which complicates the performance evaluation task. The application context of this work is the interpretation of 3D images (tomographic images, seismic images, synthetic images, ...). In this context, a local evaluation of the information fusion systems has been implemented. The approach has shown its interest in the efficient adjustment of parameters and the cooperation with expert.

Un certain nombre de travaux basés sur les réseaux de capteurs sans fil s'intéressent à la gestion de l'énergie de ces capteurs. Cette énergie est, de fait, un facteur critique dans le fonctionnement de ces réseaux. Une construction adéquate des clusters de capteurs est un très bon moyen pour minimiser la consommation de cette énergie. La problématique liée à ces réseaux réside ainsi souvent dans leur durée de vie mais aussi dans le nécessaire maintien de la connectivité entre tous les capteurs. Ces deux aspects sont étroitement liés. Dans cette thèse, nous nous sommes focalisés sur ces deux volets, dans le contexte de réseaux de capteurs statiques mais aussi celui de capteurs mobiles.Nous proposons, dans un premier temps, un algorithme hybride pour la mise en place des clusters et la gestions de ces clusters. L'originalité de cette solution réside dans la mise en place de zones géographiques de désignation des cluster heads mais aussi dans la transmission, dans les messages échangés, de la quantité d'énergie restante sur les capteurs. Ainsi, les données sur les capteurs permettront de désigner les cluster heads et leurs successeurs qui détermineront les seuils pour les autres capteurs et pour leur fonctionnement. L'algorithme est testé à travers de nombreuses simulations. La seconde partie du travail consiste à adapter notre premier algorithme pour les réseaux de capteurs mobiles. Nous in_uons sur la trajectoire des capteurs pour maintenir la connectivité et limiter la consommation d'énergie. Pour cela, nous nous inspirons de l'écho-localisation pratiquée par les chauvessouris. Nous nous sommes donc intéressés à la topologie changeante et dynamique dans les réseaux de capteurs. Nous avons analysé la perte d'énergie en fonction de la distance et de la puissance de transmission entre les n÷uds et le cluster head. Nous évaluons également notre algorithme sur des capteurs qui ont un déplacement aléatoire. Nous appliquons ces algorithmes à une simulation de _otte de drones de surveillance. / A number of works based on wireless sensor networks are interested in the energy management of these sensors. This energy is in fact a critical factor in the operation of these networks. Proper construction of sensor clusters is a great way to minimize the consumption of this energy. The problems related to these networks and often lies in their lifetime but also in the need to maintain connectivity between all transducers. These two aspects are closely linked. In this thesis, we focused on these two aspects in the context of static sensor networks but also of mobile sensors.We propose, as a _rst step, a hybrid algorithm for setting up clusters and the management of theseclusters. The uniqueness of this solution lies in the establishment of geographic areas for designation fcluster heads but also in transmission, in the exchanged messages, the amount of remaining energy on the sensors. Thus, the sensor data will designate the cluster heads and their successors will determine the thresholds for other sensors and for their operation. The algorithm is tested through many simulations. The second part of the work is to adapt our _rst algorithm for mobile sensor networks. We a_ect the trajectory of sensors to maintain connectivity and reduce energy consumption. For this, we are guided echo-location practiced by bats. We're interested in changing and dynamic topology in sensor networks. We analyzed the loss of energy as a function of the distance and the power transmission between the nodes and the head cluster. We also evaluate our algorithm on sensors that have a random move. We apply these algorithms to a _eet of surveillance drones simulation.

Cette thèse s'intéresse à l'étude des méthodes formelles de spécification et de vérification dans le cadre des systèmes d'information. Les systèmes d'informations sont des systèmes dynamiques constitués d'entités et d'associations représentées par la composition en parallèle de processus répliqués issus de différentes classes. De plus, ces systèmes font partie de la classe des systèmes paramétrés. On propose un modèle de spécification de systèmes paramétrés, nommé PASTD, qui est adapté aux systèmes d'information et qui est basé sur la notation des diagrammes états-transitions algébriques (ASTD). Puis, on étudie le problème de sûreté pour les PASTD, à travers la méthode de vérification de couverture pour les systèmes de transitions bien structurés (WSTS). Cette méthode repose sur trois conditions principales : la monotonie, le beau préordre et la pred-base effective. Les PASTD sont montrés comme étant monotones et on définit une sous-classe vérifiant la propriété de beau préordre. Enfin, on décrit une nouvelle méthode, adaptée aux systèmes paramétrés, qui explicite un ensemble de conditions permettant de prouver la pred-base effective. Ces conditions définissent une nouvelle classe appelée RMTS (\emph{Ranked Monotone Transition Systems}). Cette méthode est appliquée aux PASTD.

Ce manuscrit de thèse porte sur le problème du test basé modèle de systèmes de production existants, tels ceux de notre partenaire industriel Michelin, l’un des trois plus grands fabricants de pneumatiques au monde. Un système de production est composé d’un ensemble de machines de production contrôlées par un ou plusieurs logiciels au sein d’un atelier dans une usine. Malgré les nombreux travaux dans le domaine du test basé modèle, l’écriture de modèles permettant de décrire un système sous test ou sa spécification reste un problème récurrent, en partie à cause de la complexité d’une telle tâche. De plus, un modèle est utile lorsqu’il est à jour par rapport à ce qu’il décrit, ce qui implique de le maintenir dans le temps. Pour autant, conserver une documentation à jour reste compliqué puisqu’il faut souvent le faire manuellement. Dans notre contexte, il est important de souligner le fait qu’un système de production fonctionne en continu et ne doit être ni arrêté ni perturbé, ce qui limite l’usage des techniques de test classiques. Pour pallier le problème de l’écriture de modèles, nous proposons une approche pour construire automatiquement des modèles depuis des séquences d’événements observés (traces) dans un environnement de production. Pour se faire, nous utilisons les informations fournies par les données échangées entre les éléments qui composent un système de production. Nous adoptons une approche boîte noire et combinons les notions de système expert, inférence de modèles et machine learning, afin de créer des modèles comportementaux. Ces modèles inférés décrivent des comportements complets, enregistrés sur un système analysé. Ces modèles sont partiels, mais également très grands (en terme de taille), ce qui les rend difficilement utilisable par la suite. Nous proposons une technique de réduction spécifique à notre contexte qui conserve l’équivalence de traces entre les modèles de base et les modèles fortement réduits. Grâce à cela, ces modèles inférés deviennent intéressant pour la génération de documentation, la fouille de données, mais également le test. Nous proposons une méthode passive de test basé modèle pour répondre au problème du test de systèmes de production sans interférer sur leur bon fonctionnement. Cette technique permet d’identifier des différences entre deux systèmes de production et réutilise l’inférence de modèles décrite précédemment. Nous introduisons deux relations d’implantation : une relation basée sur l’inclusion de traces, et une seconde relation plus faible proposée, pour remédier au fait que les modèles inférés soient partiels. Enfin, ce manuscrit de thèse présente Autofunk, un framework modulaire pour l’inférence de modèles et le test de systèmes de production qui aggrège les notions mentionnées précédemment. Son implémentation en Java a été appliquée sur différentes applications et systèmes de production chez Michelin dont les résultats sont donnés dans ce manuscrit. Le prototype développé lors de la thèse a pour vocation de devenir un outil standard chez Michelin. / This thesis tackles the problem of testing (legacy) production systems such as those of our industrial partner Michelin, one of the three largest tire manufacturers in the world, by means of Model-based Testing. A production system is defined as a set of production machines controlled by a software, in a factory. Despite the large body of work within the field of Model-based Testing, a common issue remains the writing of models describing either the system under test or its specification. It is a tedious task that should be performed regularly in order to keep the models up to date (which is often also true for any documentation in the Industry). A second point to take into account is that production systems often run continuously and should not be disrupted, which limits the use of most of the existing classical testing techniques. We present an approach to infer exact models from traces, i.e. sequences of events observed in a production environment, to address the first issue. We leverage the data exchanged among the devices and software in a black-box perspective to construct behavioral models using different techniques such as expert systems, model inference, and machine learning. It results in large, yet partial, models gathering the behaviors recorded from a system under analysis. We introduce a context-specific algorithm to reduce such models in order to make them more usable while preserving trace equivalence between the original inferred models and the reduced ones. These models can serve different purposes, e.g., generating documentation, data mining, but also testing. To address the problem of testing production systems without disturbing them, this thesis introduces an offline passive Model-based Testing technique, allowing to detect differences between two production systems. This technique leverages the inferred models, and relies on two implementation relations: a slightly modified version of the existing trace preorder relation, and a weaker implementation proposed to overcome the partialness of the inferred models.Overall, the thesis presents Autofunk, a modular framework for model inference and testing of production systems, gathering the previous notions. Its Java implementation has been applied to different applications and production systems at Michelin, and this thesis gives results from different case studies. The prototype developed during this thesis should become a standard tool at Michelin.

Au Maroc, la réforme du système d'imposition des entreprises est au cœur de la question de la maîtrise des Finances publiques. Ainsi, son approche ne peut se faire en se limitant à la seule dimension fiscale. C'est en rapport avec la politique de développement que se manifeste la question de l'imposition des entreprises. En effet, le système d'imposition fournit des recettes pérennes pour financer les objectifs de développement. De par les recettes qu'elle génère et les effets qu'elle induit, la fiscalité des entreprises occupe une place importante dans l'ensemble du système fiscal marocain. Pour cette raison, seule une analyse globale intégrant l'aspect de la rationalisation des dépenses, le ciblage des avantages fiscaux accordés et l'amélioration de la compétitivité de l'économie, permettra de répondre véritablement à la réduction de déficit budgétaire et au soutien de la compétitivité de l'entreprise. Le présent travail de recherche a porté sur une analyse du système d'imposition des entreprises et du système de contribution lui afférent, en se concentrant sur les relations complexes qui se tissent entre ces systèmes et leurs sous-systèmes. Il a aussi formulé des propositions de réforme fiscale tout en prenant en compte les changements et les mutations dans les systèmes fiscaux nationaux. Au-delà de la réforme du système de taxation des entreprises, son évaluation contribuera à l'atteinte de l'équilibre entre le système d'imposition et le système de contribution y afférent. De même, la régulation participe à assurer une harmonie entre la politique fiscale avec la structure entrepreneuriale et à garantir les conditions techniques et relationnelles de la réforme. / In Morocco, the reform of the corporate tax system is the heart of the question of the control of public finances. Thus, the approach can be limiting itself to the single tax dimension. This is related to policy development that occurs the issue of corporate tax. Indeed, the tax system provides sustainable income to finance development goals. By the revenue and effects it generates, instead of corporate taxation across the Moroccan tax system is far from negligible. For this reason, only a comprehensive analysis incorporating the aspect of rationalizing expenditure, the targeting of tax incentives and improving the competitiveness of the economy, will truly meet the budget deficit reduction and support competitiveness of the company. This research work has focused on an analysis of the corporate tax system and the system of contributions related to him, focusing on the complex relationships that develop between these systems and their subsystems. He also made proposals for tax reform taking into account the changes and mutations in the national tax systems. Beyond the reform of corporate taxation, the evaluation will contribute to achieving a balance between the tax system and the contribution thereto. Similarly, the regulation contributes to ensure harmony between fiscal policy with the business structure and ensure the technical and relational conditions of reform.

Cette thèse traite de l'étude de la convergence de la solution du système (HBF)(Heavy Ball with friction) avec quelques contrôles externes et internes comme le contrôle de frottement lambda. L'objectif est de trouver des conditions permettant à la solution x(t) de converger faiblement ou fortement vers des ponts critiques de la fonction $Phi$. En général, on s'intéresse à l'étude de cette équation (ou système d'équations) selon les comportements du contrôle externe $lambda(.)$. Par exemple : 1- $lambda(.)$ borné, minoré par une constante positive, 2- $lambda(.)$ prend la valeur zéro sur des intervalles disjoints, 3- $lambda(.)$ tend vers zéro quand t tend vers l'infini. De même, on considère les cas où le contrôle interne $Phi$ satisfait à certaines conditions 1- $Phi$ convexe, 2-$Phi$ coercive ou fortement convexe, 3-$nablaPhi (x(t)) $ est remplacé par un opérateur différentiel Ax(t) + epsilon(t)x(t) (exemple A=-Laplacien, ou A=-div(B.gradient)) où B est une matrice carrée / This thesis deals with the study of the convergence of the solution of the (HBF) system (Heavy ball with friction) With some external and internal controls such as the friction control. The purpose is to find conditions allowing the solution x(.) to converge weakly or strongly towards critical points of the fonction Phi. In general, we examine this equation (or a system of equations) depending on the behaviours of the external control lambda(.). The following cases have been considered : 1- lambda, bounded and greater than a positive constant, 2-lambda, vanishes on separate intervals, 3-lambda,tends to zero as t tends to infinity. We emphasize some particular cases for the internal control Phi 1- Phi convex, 2- Phi coercive ou fortement convexe, 3-nablaPhi(x(t)) replaced by a linear differential operator Ax(t) + epsilon(t)x(t) (exemple A=-Laplacien, ou A=-div(B.gradient))

De nombreux systèmes de transport peuvent être modélisées par des synchronisations ordinaires (pour tout k>=l, l'occurrence k de l'événement B se produit au moins t unités de temps après l'occurrence k-l de l'événement A). Ces systèmes sont linéaires dans l'algèbre (max,+). Pour certaines applications, il est primordial de modéliser la simultanéité entre événements. Comme la synchronisation ordinaire ne suffit pas à exprimer ce phénomène, nous introduisons la synchronisation partielle (l'événement B ne peut se produire que quand l'événement A se produit). Dans ce mémoire, des méthodes développées pour la modélisation et le contrôle de systèmes linéaires dans l'algèbre (max,+) sont étendues à des systèmes régis par des synchronisations ordinaires et partielles. Nous considérons uniquement des systèmes divisés en un système principal et un système secondaire et gouvernés par des synchronisations ordinaires entre événements dans le même système et des synchronisations partielles d'événements dans le système secondaire par des événements dans le système principal. Nous introduisons une commande optimale et une commande prédictive pour cette classe de systèmes par analogie avec les résultats disponibles pour les systèmes linéaires dans l'algèbre (max,+). En considérant un comportement donné pour le système principal, il est aussi possible de représenter le système secondaire par une fonction de transfert et de modifier sa dynamique pour suivre un modèle de référence. / Many transportation networks can be modeled by (max,+)-linear systems, i.e., discrete event systems ruled by standard synchronizations (conditions of the form: "for all k>=l, occurrence k of event B is at least t units of time after occurrence k-l of event A"). In some applications, it is also necessary to model simultaneity between events (e.g., for a road equipped with traffic lights, a vehicle can cross an intersection only when the associated traffic light is green). Such conditions cannot be expressed using standard synchronizations. Hence, we introduce the partial synchronization (condition of the form: "event B can only occur when event A occurs"). In this thesis, we consider a class of discrete event systems ruled by standard and partial synchronizations, called (max,+)-systems with partial synchronization. Such systems are split into a main system and a secondary system such that there exist only standard synchronizations between events in the same system and partial synchronizations of events in the secondary system by events in the main system. We adapt some modeling and control approaches developed for (max,+)-linear systems to (max,+)-systems with partial synchronization. Optimal feedforward control and model predictive control for (max,+)-linear systems are extended to (max,+)-systems with partial synchronization. Furthermore, transfer relation and model reference control are provided for the secondary system under a predefined behavior of the main system.