To see the other types of publications on this topic, follow the link: Modèles à évènements discrets.
Dissertations / Theses on the topic 'Modèles à évènements discrets'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Modèles à évènements discrets.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Garredu, Stéphane. "Approche de méta-modélisation et transformations de modèles dans le contexte de la modélisation et simulation à évènements discrets : application au formalisme DEVS." Thesis, Corte, 2013. http://www.theses.fr/2013CORT0003/document.
Full textAbstract:
Cette thèse s’inscrit au carrefour du monde de la modélisation et simulation de systèmes d’une part et du monde de l’ingénierie logicielle d’autre part. Elle vise à faire bénéficier un formalisme de spécification de systèmes à évènements discrets (DEVS) des apports de l’ingénierie dirigée par les modèles (IDM) avec l’une de ses incarnations les plus populaires : MDA (Model Driven Architecture). Le formalisme DEVS de par son adaptabilité et son extensibilité permet l’expression et la simulation de modèles dans des domaines très variés, mais l’existence de plusieurs plateformes dédiées à ce langage nuit fortement à l’interopérabilité de ces modèles. Ces difficultés, si elles ne sont pas nouvelles, représentent cependant un défi d’autant plus important que les modèles considérés sont complexes (i.e composés en général de nombreux sous modèles et interagissant fortement entre eux). L’objectif de la thèse est de proposer une réponse à la problématique de l’interopérabilité des modèles DEVS, vis-À-Vis d’autres formalismes voisins de DEVS et également vis-À-Vis des différents simulateurs existants. Le cœur de notre travail est constitué par MetaDEVS, méta-Modèle offrant une représentation des modèles DEVS indépendante des plateformes. MetaDEVS est également le nom donné à l’approche globale qui vise à fournir des passerelles génériques entre différents formalismes et DEVS («Model-To-Model»). Cette approche montre également comment, à partir de modèles DEVS spécifiés selon MetaDEVS, du code orienté-Objet, simulable, peut être automatiquement généré («Model-To-Text»).Les formalismes choisis pour faire l’objet d’une transformation vers DEVS sont BasicDEVS, un petit formalisme pédagogique créé pour l’occasion, ainsi que les automates à états finis (FSM). La plateforme de destination choisie pour la génération de code est la plateforme éducative PyDEVS, compatible avec la plateforme DEVSimPy, utilisée par les chercheurs du projet TIC de l’Università di CorsicaThis thesis takes place at the intersection between the world of modeling and simulation, and the world of software engineering. Its provides a contribution to a discrete-Event specification formalism (DEVS) using techniques of Model-Driven Engineering, with one of its most popular incarnations : MDA (Model Driven Architecture). The DEVS formalism, thanks to its adaptability and its extensibility, is able to express and simulate models in various domains. However, the existence of many dedicated platforms damages the interoperability of those models. Those difficulties, even if they are not new, are a challenge which is all the greater as the studied models are complex (i.e. usually composed of several submodels with a strong interaction).The main purpose of this thesis is to tackle the problem of the DEVS models interoperability, with respect to other formalisms close to DEVS, and also with respect to the different existing simulators. The core of our work is constituted by MetaDEVS, a metamodel that offers a platform-Independent representation of DEVS models. MetaDEVS is also the name given to the global approach which aims to provide generic bridges between different formalisms and DEVS (“Model-To-Model”). This approach also shows how, starting from DEVS models specified with MetaDEVS, object-Oriented code can be automatically generated (“Model-To-Text”).The formalisms chosen to be transformed into DEVS are BasicDEVS, a small pedagogical formalism create for our needs, and the finite state machines (FSM). The chosen target platform for the code generation is the educative framework PyDEVS, compliant with the DEVSimPy framework used by the researchers of the TIC project of the University of Corsica
2
Boufaied, Amine. "Contribution à la surveillance distribuée des systèmes à évènements discrets complexes." Toulouse 3, 2003. http://www.theses.fr/2003TOU30234.
Full text
3
Maia, Carlos Andrey. "Identification et commande de systèmes à évènements discrets dans l'algèbre (max,+)." Angers, 2003. http://www.theses.fr/2003ANGE0008.
Full textAbstract:
Les Graphes d'Evénements Temporisés forment une sous-classe des Réseaux de Pétri appropriée pour la description de Systèmes à Evénements Discrets sujets à des phénomènes de synchronisation. Bien que ces systèmes aient un comportement non-linéaire dans l'algèbre conventionnelle, ils sont décrits par des équations linéaires dans l'algèbre des dioi͏̈des. Ce mémoire aborde les problèmes d'identification et de commande de ces systèmes. Le chapitre 3 propose une méthode d'estimation paramétrique de modèles (max,+)-linéaire mono-entrée mono-sortie. Supposant connue la structure d'un modèle de transfert entrée-sortie, un algorithme d'estimation paramétrique est développé. Le chapitre 4 aborde la commande de modèle de référence dans le contexte de juste-à-temps. Cette approche propose une structure de commande basée sur l'utilisation d'un pré-compensateur et d'un correcteur de type retour de sortie, ces deux correcteurs conjugués permettent d'obtenir les performances désirées pour le système corrigé. Il est montré que cette approche assure un comportement optimal du système en boucle fermée et que l'existence de ces correcteurs optimaux n'est pas dépendante du choix du modèle de référence (contrairement aux approches proposées antérieurement dans la communauté). Ces résultats sont appliqués pour résoudre le problème de stabilisation de graphes d'événements temporisésTimed Event Graphs are a subclass of Petri nets suitable to describe Discrete Event Systems subject to synchronization phenomena. Although these systems have nonlinear time bahavior in conventional algebra they are described by linear equations in dioid algebra. This thesis deals with identification and control problems of such systems. The chapter 3 proposes a parametric estimation method for (max,+)-linear SISO models. The estimation algorithm is developed by assuming the knowledge of the structure of a model represented by an input-output transfer function. The chapter 4 deals with the model-reference control stated in a Just-in-Time context. This approach proposes a control structure based on a precompensator and a feedback controllers which allows to obtain the desired performances for the controlled system. It is shown That this approach always leads to an optimal bahavior of the closed-loop system and that the existence of the optimal controller is independent of the model reference choice (unlike previous approaches found in the literature). These results are used to solve the stabilization problem of timed event graphs
4
Pencolé, Yannick. "Diagnostic décentralisé de systèmes à évènements discrets : application aux réseaux de télécommunications." Rennes 1, 2002. https://tel.archives-ouvertes.fr/tel-00003581.
Full text
5
Damiba, Armand. "Simulation à évènement discrets de modèles Bond Graph." Aix-Marseille 3, 2000. http://www.theses.fr/2000AIX30079.
Full textAbstract:
L'objectif principal de cette thèse est de proposer une méthode de transformation de modèles continus en modèles à événements discrets en spécifiant l'environnement de simulation des modèles obtenus. Cette méthode est basée sur une approche originale d'abstraction à événements discrets, GDEVS (Genelarized Discrete Event System specification), qui est une extension du formalisme DEVS (Discrete Event System specification), GDEVS autorise la spécification de modèles à évènements discrets de systèmes dynamiques dont les trajectoires sont décrites par des polynômes de degré quelconque. Cela permet une meilleure approximation des trajectoires des modèles continus. La méthode proposée est une application de GDEVS à la transformation de modèles continus représentés par bond graphs. L'association des bond graphs et de GDEVS permet ainsi de disposer d'un langage de description de modèles continus et des techniques de simulation à événements discrets. .The main objectif of the work presented in this thesis, is to propose a continuous to discrete event model transformation method, and also to specify a simulation environment of the obtained models. This method is based on an original discrete event approach named GDEVS (Genelarized Discrete Event System specification), which is an extension of DEVS (Discrete Event System specification) formalism, GDEVS allows the specification of discrete event models of dynamic systems with polynomial input/output trajectories. In fact polynomial trajectoreis allow a better approximation of continuous system trajectories. The proposed method is an application of GDEVS to transform bond graph models. This combination of the bond graph methodology and GDEVS forms a continuous modeling and discrete event environment. .
6
Bisgambiglia, Paul-Antoine. "Approche de modélisation approximative pour des systèmes à évènements discrets : application à l’étude de propagation de feux de forêt." Corte, 2008. http://www.theses.fr/2008CORT0003.
Full textAbstract:
Dans ce rapport de thèse, nous présentons une approche de modélisation approximative pour les systèmes à évènements discrets. Le but de ces recherches est de définir des outils afin d’associer un formalisme de modélisation et de simulation à évènement discrets avec la logique floue. Cette nouvelle méthode appelée iDEVS permet de modéliser et simuler des systèmes à données imprécises. Tout au long de ce manuscrit, nous abordons diverses notions comme : la prise en compte d’imprécisions avec la théorie des sous ensembles flous ; la simulation imprécise avec des méthodes de défuzzification ; etc. Dans le premier chapitre, nous présentons les théories associées à la logique floue. Dans le second chapitre, nous décrivons les notions de modélisation et de simulation, et notamment le formalisme DEVS. Dans le troisième chapitre, nous détaillons la méthode iDEVS, et les outils développés afin de l’utiliser. Avant de conclure, nous proposons une application de l’approche iDEVS pour l’étude de la propagation de feux de forêtIn this thesis report, we present an approximate modeling approach for discrete events systems. The aim of this research is to develop tools to link modeling and simulation formalism, with fuzzy logic. This new method called iDEVS allows to model and to simulate inaccurate systems. Throughout the manuscript, we discuss various concepts such: take into account inaccuracies with fuzzy sets theory; fuzzy simulation with defuzzification methods…In the first chapter, we present the theories associated with fuzzy logic. In the second chapter, we describe the modeling and simulation concepts, including DEVS formalism. In the third chapter, we explain the method iDEVS, and the tools developed for use. Before concluding, we propose an application of the approach iDEVS to study the spread of forest fires
7
Dumery, Jean-Jacques. "Un langage de spécification pour la conception structurée de la commande des systèmes à évènements discrets." Châtenay-Malabry, Ecole centrale de Paris, 1999. http://www.theses.fr/1999ECAP0644.
Full textAbstract:
Dans le cadre de l'ingénierie des systèmes automatisés de production, concevoir une commande de système à évènements discrets est une activité complexe. Elle nécessite souvent l'utilisation de méthodes qui mettent en œuvre un ensemble de langages de spécification. Par ailleurs, on observe que les représentations graphiques sont de plus en plus privilégiées par rapport aux représentations littérales et algébriques du fait de leur aptitude à servir de support de communication entre tous les intervenants. C'est dans cet esprit que le Grafcet a été conçu. Il est aujourd'hui largement enseigné, utilisé dans l'industrie, normalisé, et il est servi par de nombreuses publications. Toutefois, une critique classiquement faite au Grafcet est qu'il porte peu d'informations de structuration et qu'il permet difficilement d'exprimer formellement de la sémantique application. C'est cette problématique qui nous a amené à définir un langage de spécification du comportement de la commande des systèmes à évènements discrets basé sur le Grafcet, s'inspirant des Statecharts, appelé HyperGrafcet. Ce langage, s'appuyant sur le concept d'hyperétape, permet d'exprimer formellement la hiérarchie structurelle grâce à un mécanisme d'encapsulation et de la sémantique application (ou externe) grâce à des étiquettes. Un Meta modèle statique de l'HyperGrafcet a été élaboré. L'objectif de ce méta-modèle est de formaliser la syntaxe de l'HyperGrafcet, en mettant en évidence les concepts de base de ce langage de spécification et les liens entre ces différents concepts, et d'éviter les imprécisions dues à une description en langage naturel. Apres la formalisation statique de l'HyperGrafcet, une formalisation dynamique est proposée. Ceci nécessite la définition d'un cadre temporel à plusieurs échelles de temps, des règles d'évolution du langage, ainsi que d'un algorithme d'interprétation des règles d'évolution. Ces règles et l'algorithme d'interprétation associé privilégient le concept de situation. Nous avons en conséquence développé une algèbre permettant de manipuler les situations d'un développement d'Hyperétape et de les combiner. Nous définissons une fonction appelée test qui permet d'associer une valeur de vérité à l'établissement d'une situation ou d'une combinaison de tests sur situations. Ainsi, nous avons pu formaliser les mécanismes de positionnement de développement lors d'évolutions. Ce langage de spécification a été testé avec succès, notamment dans le cas de l'expression des modes de marche, sur diverses applications industrielles caractéristiques de productions de type continu, batch et manufacturier
8
Subias, Audine. "Approche multi-modèles pour la commande et la surveillance en temps réel des systèmes à évènements discrets." Toulouse 3, 1995. http://www.theses.fr/1995TOU30024.
Full textAbstract:
Le travail presente s'integre dans le domaine de la surveillance en temps reel des systemes a evenements discrets. Une approche de la commande et de la surveillance dans le contexte particulier des ateliers flexibles de production manufacturiere y est proposee. Ayant mis en evidence la necessite de la modelisation du procede surveille, l'approche dite a modele de reference a ete retenue. Cette approche repose sur une structure hierarchique et modulaire dans laquelle chaque module contient des fonctions de commande et de surveillance. Notre travail montre qu'une telle approche presente un certain manque d'informations, necessaires pour developper un systeme de surveillance en temps reel, global et efficace. En particulier, dans le cas d'une propagation de defaillance d'une activite a une autre, il est necessaire de disposer non seulement d'un mecanisme de propagation ascendante du traitement de la defaillance, de maniere a mieux apprehender la defaillance, mais aussi d'un mecanisme de propagation descendante ayant pour but d'affiner le diagnostic etabli. Aussi l'approche presentee propose la mise en place d'un systeme d'information, veritable source de renseignements sur le procede, en parallele de la hierarchie de commande surveillance existante, et d'un centre de gestion assurant les differentes communications entre les deux elements precedents. La structure et le contenu du systeme d'information sont alors decrits. Un processus d'affinement du diagnostic est defini, mettant en jeu les differentes applications offertes par le systeme d'information (recherche, verification, mise a jour, recuperation). Le role du centre de gestion est mis en evidence ainsi que ses differentes taches (determination de chemin, declenchements des applications). Un exemple de taille industrielle permet d'eclairer les propositions effectuees. Le probleme de la realisation d'une telle approche est egalement aborde
9
Capocchi, Laurent. "Simulation concurente de fautes comportementales pour des systèmes à évènements discrets : application aux circuits digitaux." Corte, 2005. http://www.theses.fr/2005CORT3088.
Full textAbstract:
La Simulation Comparative et Concurrente (SCC) permet d'effectuer plusieurs simulations d'un système en une seule exécution. Une des premières applications de la SCC a été la simulation de Fautes Concurrente (SFC) permettant la simulation de fautes au sein des systèmes digitaux décrits au niveau portes logiques. De nos jours, les concepteurs de circuits évitent de travailler sur ces modèles logiques et préfèrent utiliser des descriptions plus abstraites basées sur des langages de description de matériel comme le VHDL (Very high speed integrated circuits Hardware Description Language). Ces langages permettent de modéliser et de simuler le comportement des circuits digitaux mais ils ne sont pas appropriés pour la simulation concurrente des comportements fautifs ou fautes. Les barrières au développement d'un simulateur concurrent de fautes comportementales sont le manque de modèles de fautes réalistes et la difficulté à mettre en oeuvre les algorithmes concurrents au sein d'un noyau de simulation. Pour répondre à cette problématique, nous proposons le formalisme BFS DEVS (Behavioral Fault Simulator for Discrete EVent system Specification). Ce formalisme permet de modéliser et de simuler les fautes comportementales sur des systèmes à événements discrets comme les circuits digitaux décrits en VHDL. Il dérive du formalisme DEVS (Discrete EVent system Specification) introduit par le professeur B. P. Zeigler à la fin des années 70. Le noyau de simulation BFS-DEVS intègre les algorithmes concurrents de la SFC et il s'appuie sur une technique de propagation de listes de fautes au sein des modèles du système. Cette technique améliore la rapidité du processus de simulation car elle permet la détection simultanée de plusieurs fautes et simplifie également l'observabilité des résultats en fin de simulationThe Concurrent and Comparative Simulation (CCS) allows several simulations on a system in one single pass. One of the first applications of CCS has been the Concurrent Fault Simulation (CFS) for fault simulation in digital systems described at the gate level. However, nowadays digital designers focus on more abstract languages such as VHDL (Very high speed integrated circuits Hardware Description Language) rather than on these logical models. Modeling and simulating digital circuits behaviors is possible using these languages, but they do not allow the concurrent simulation of faulty behaviors, also simply called faults. Technical barriers for the design of a concurrent fault simulator are on the one hand the Jack of realistic fault models and on the other hand the difficulty to integrate the concurrent algorithms into a simulation kernel. To reach this objective, we propose the BFS-DEVS formalism (Behavioral Fault Simulator for Discrete EVent system Specification). This formalism allows to model and simulate behavioral faults on discrete event system such as digital circuits described with VHDL. Its theoretical fundation is the DEVS (Discrete EVent system Specification) formalism introduced by Zeigler in the late 70's. The BFS-DEVS simulation kernel integrates the CFS concurrent algorithms and is based on a propagated fault lists technique inside the models of the system. This technique speeds up the simulation processus since it allows the simultaneous detection of several faults and also simplify results observability at the end of the simulation
10
Giaccone, Thierry. "Modèle structuré de spécification, de conception et de mise au point de systèmes à évènements discrets." Montpellier 2, 1991. http://www.theses.fr/1991MON20241.
Full textAbstract:
L'evolution actuelle du marche favorise une production industrielle diversifiee de qualite. Les systemes automatises de production (sap) doivent alors satisfaire une nouvelle contrainte: la flexibilite. Ces derniers devenant de plus en plus complexes, leur automatisation necessite de nouvelles methodes. Ce besoin est a l'origine d'un nouveau domaine, le genie automatique. L'objet de cette these est la realisation d'une methode structuree qui assure la coherence globale du processus de developpement. Elle permet de realiser entierement l'automatisation d'un sap, de sa specification jusqu'a son exploitation et sa maintenance tout en couvrant les aspects fonctionnels (utilisation de diagrammes de flots), traitement de donnees (utilisation d'un langage specialise) et comportement dynamique du systeme (utilisation du gracet norme iec 848 avec les extensions de forcage et de recherche de stabilite). L'integration de cette methode structuree dans un atelier de genie automatique centralisant l'information est le moyen de realiser un outil (ou modele) qui utilise ces principes et facilite le travail de specification, de conception et de mise au point en equipe multidisciplinaire
11
Silveira, Marcos da. "Sur la distribution avec redondance partielle de modèles à événements discrets pour la supervision de procédés industriels." Toulouse 3, 2003. http://www.theses.fr/2003TOU30225.
Full text
12
Mihalache, Alin Gabriel. "Construction et évaluation de la sûreté de fonctionnement de systèmes industriels complexes : application sur système embarqué." Angers, 2007. http://www.theses.fr/2007ANGE0054.
Full textAbstract:
La mécatronique est définie par l'utilisation simultanée et en étroite symbiose de la mécanique, de l'électronique, de l'informatique,. . . Pour concevoir et produire de produits toujours plus innovants. Cette approche doit s'accompagner aujourd'hui de la garantie de sûreté de fonctionnement (SdF) des systèmes conçus. Or, la fiabilité, élément déterminant de la SdF, est relativement peu maîtrisée dans le développement des systèmes mécatroniques. Nous avons développé une méthodologie globale permettant de modéliser et d'évaluer la fiabilité prévisionnelle, expérimentale et opérationnelle des systèmes mécatroniques. C'est un outil d'aide à la décision dans les différentes phases des cycles de développement et de vie du système mécatronique, en valorisant l'évaluation quantitative de la fiabilité. La fiabilité prévisionnelle est calculée à partir du modèle Réseaux de Petri Stochastiques Déterministes (RdPSD) du système mécatronique, qui prend en considération la modélisation fonctionnelle, la modélisation dysfonctionnelle (à l'aide d'une analyse AMDE, AD,. . . ) et les recueils des données pour chaque composant. Les fiabilités expérimentale et opérationnelle sont déterminées à l'aide de la méthode d'estimation bayésienne BRM qui tient compte des données obtenues lors des essais et issues du REX. Un exemple d'application sur l'antiblocage des roues (ABS) illustre cette méthodologie globale d'estimation de la fiabilitéMechatronics is defined as the integration of mechanical engineering, electronics, computer control,. . . In the design and manufacture of increasingly innovative products. This approach must be accompanied today by the guarantee of dependability of the developed systems. However, reliability, one factor key defining the to the dependability, is not sufficiently evaluated in the development of mechatronic systems. We have developed a complete methodology in order to design and evaluate the reliability of mechatronic systems. Our methodology is a tool for decision-making at different stages of the development and life cycles for mechatronic systems, based on the estimation of theirs reliability. The reliability estimation at the stage of the product conception is done from the Stochastic and Déterministes Petri nets model of mechatronic systems which takes into account the functional modeling, the dysfunctional modeling (with the Failure Mode and Effects Analysis (FMEA) and the Fault Tree Analysis (FTA),. . . ) and different reliability data bases for each component. The experimental and the operational reliability are determined using the Bayesian estimation method BRM, which takes into account the data, obtained during the tests and from the experience feedback. A sample application on the Anti-lock Brake System (ABS) illustrates this methodology for reliability estimation
13
Kouki, Meriem. "Maîtrise énergétique des systèmes de production : proposition d'un outil d'aide à la conception de modèles de simulation à évènements discrets intégrant l'énergie." Thesis, Nantes, 2017. http://www.theses.fr/2017NANT4072.
Full textAbstract:
Les industries sont aujourd’hui contraintes d’innover et d’améliorer leur durabilité sous une pression économique, politique et sociale accrue dans un marché très concurrentiel, avec une société de plus en plus sensible aux enjeux environnementaux. Dans ce contexte, de nombreuses initiatives ont été menées aussi bien au niveau académique qu’industriel pour améliorer la gestion de l’énergie dans la phase de production. En parallèle des avancées technologiques, les économies d’énergie liées à l’organisation de la production ne sont pas toujours exploitées du fait d’un manque de données liées au comportement énergétique des systèmes. Pour répondre à cette problématique, la simulation à évènements discrets est une solution fiable, mais plusieurs verrous empêchent encore son utilisation industrielle : les approches de la littérature manquent de généricité et de procédures fiables pour intégrer les données réelles de consommation énergétique dans les cas les plus complexes. L’objectif de notre travail est de proposer un outil de simulation permettant de prédire la consommation énergétique des systèmes de production et servir d’outil d’aide à la décision couplant des objectifs énergétiques et productivistes généralement peu conciliables. Cet outil est basé sur une approche générique et flexible permettant de modéliser et simuler les flux de production et les flux énergétiques dans une plateforme unique. De plus, une méthodologie d’intégration des données de consommation complexes, basée sur une approche stochastique, est proposée. La validation de notre approche et de l’outil a été réalisée sur des unités industrielles du domaine de la transformation des polymères et élastomèresTodays, industries are compelled to innovate and improve their sustainability under economic, political and social pressure in a highly competitive market and within an increasing societal conscience towards environmental issues. In this context, several initiatives have been carried out at both academic and industrial levels to improve energy performance in the production phase. In parallel with technological advances, energy savings by production organization are not always exploited because of a lack of comprehension on the energy behavior of manufacturing systems. To solve this problem, Discrete Event Simulation is a reliable solution, but several barriers still prevent its industrial use: literature approaches lack genericity and reliable procedures for integrating energy consumption data in complex cases. The objective of our work is to propose a simulation tool allowing to predict the energy consumption of manufacturing systems, it serves as a tool to help decision-making to enhance energy performance and productivity usually considered as conflicting goals. This tool is designed following a generic and flexible approach to model and simulate workflows and energy flows in a single platform. In addition, a methodology for integrating complex energy consumption data, based on a stochastic approach, is proposed. Validation of our approach and our tool is carried out in the field of polymer processing
14
Zhu, Min. "Simulation de systèmes à structure dynamique dans une approche d'ingénierie système basée modèles appliquée au matériel reconfigurable." Thesis, Toulouse 3, 2018. http://www.theses.fr/2018TOU30191.
Full textAbstract:
Avec l'évolution des techniques de reconfiguration partielle pour les systèmes embarqués, le besoin d'un modèle de description capable de représenter ces comportements émerge. La plupart des outils disponibles sur le marché, tant académiques qu'industriels, ne prennent pas en compte la modélisation des systèmes à structure dynamique. L'émergence de la modélisation à évènements discrets, notamment Discrete Event System Specification (DEVS), propose des outils formels pour représenter et simuler des modèles. DEVS propose déjà des extensions capable de prendre en compte la modélisation à structure dynamique. Néanmoins, les possibilités offertes par ces extensions rencontrent certaines limites. En particulier, elles ne proposent pas de moyen de gérer l'aspect contexte des composants. De plus, les formalismes existants n'ont pas intégré l'approche ingénierie système. L'ingénierie système met en place des procédures intéressantes, notamment l'architecture dirigée par les modèles, qui propose de séparer la description du système de sa plateforme d'exécution. Un modèle spécifique à une plateforme est ainsi la résultante d'un modèle de description de la plateforme combiné avec un modèle d'application indépendant de toute plateforme. Pour répondre à ces besoins, nous proposons un formalisme de description de modèles prenant en compte ces deux aspects : la modélisation à structure dynamique, et l'ingénierie système. Ce formalisme est basé sur DEVS, et nommé Partially Reconfigurable Discrete Event System Specification (PRDEVS). PRDEVS permet de représenter les modèles à structure dynamique indépendamment de la plateforme de simulation. L'approche présentée peut être appliquée à différents types de cibles, tels le logiciel et le matériel reconfigurable. Cette thèse présente des mises en oeuvre du formalisme abstrait sur ces deux types de plateformes, démontrant ainsi sa capacité à être déployé sur des plateformes réellesAs partially reconfigurable technologies develop for embedded systems, the need for a proper model to describe its behavior emerges. Most academic and industrial tools available on the market does not address dynamic structure modeling. The arising of discrete-event modeling, in particular, Discrete Event System Specification (DEVS), propose formal tools for representing and simulating models. DEVS has already extension which handles the dynamic structure modeling. However, the capacities of these existing formalism have limitations. Notably, they do not address the components context aspect. Also, the existing formalisms have not integrated the system engineering approach. System engineering brings beneficial procedures, notably modeldriven architecture which proposes to separate the system description from its execution target. A platform-specific model is formed from a platformdescription model coupled with a platform independent model. To address these needs, we propose a model description formalism which takes into consideration these two aspects: dynamic structure modeling and system engineering. This formalism is based on DEVS and called Partially Reconfigurable Discrete Event System Specification (PRDEVS). PRDEVS allows to represent dynamic-structure models independently from the simulation platform. The presented approach can be applied to different types of targets, such as software and reconfigurable hardware. This thesis addresses these two kinds of platforms, demonstrating the suitability of the abstract formalism to actual platforms
15
Cosme, Maximilien. "Modélisation qualitative à événements discrets des dynamiques d'écosystèmes." Thesis, Université de Montpellier (2022-….), 2022. http://www.theses.fr/2022UMONG013.
Full textAbstract:
Les écosystèmes se déploient dans le temps au rythme des événements successifs qui modifient ses composants. Ces événements, qu'ils soient aléatoires ou non, sont les phénomènes par lesquels les écosystèmes s'assemblent et se désassemblent. Chaque séquence d'états – ou trajectoire – est une histoire possible de l'écosystème. Mais si ces événements, ou leur ordre, avait été différent, l'état futur aurait pu l'être également. Or, l'ordre des événements, du fait des limites de notre connaissance, est souvent incertain. Lorsque cette incertitude est grande, il est donc raisonnable de concevoir la dynamique de l'écosystème comme un ensemble de trajectoires possibles. Si l'ensemble des trajectoires possibles était connu, il pourrait notamment se révéler utile pour savoir si un état souhaitable est atteignable, et si oui, par quel(s) chemin(s). Dans cette thèse, nous proposons une approche de modélisation nommée EDEN (pour Ecological Discrete-Event Networks) permettant de répondre à cette question. Elle se présente sous la forme d'un formalisme dont les variables sont qualitatives et dont les valeurs sont modifiées par des règles "si-alors" représentant les événements de l'écosystème. Celles-ci sont tirées une à une, de façon non-déterministe et sans aucune probabilité. Cette approche non-déterministe et non-probabiliste a donc été qualifiée de possibiliste. Les dynamiques se présentent alors sous la forme d'un graphe états-transitions dont on peut vérifier l'existence de propriétés dynamiques (comme le fait qu'une espèce puisse persister).Dans un premier temps, une brève histoire de la modélisation en écologie des écosystèmes est présentée, avec une attention particulière aux approches de modélisation qualitatives, dont l'approche EDEN fait partie. Prenant appui sur les limites des approches existantes pour répondre à certaines questions, nous proposons l'approche EDEN et justifions la pertinence de ses propriétés par des exemples simples.Dans un second temps, l'approche EDEN est illustrée sur des écosystèmes semi-arides d'Afrique de l'Est et de l'Ouest dans le but de savoir si certains états d'intérêt sont atteignables (comme le maintien de la végétation en savane, ou de la fertilité dans un agroécosystème). Pour ce faire, nous présentons et utilisons des outils jusqu'ici peu utilisés en écologie, comme les summary graphs et les logiques temporelles. Pour un scénario donné, ces outils rendent possible de définir (1) les transitions possibles entre les états d'intérêt, (2) les conditions dans lesquelles elles peuvent advenir et (3) les événements responsables de ces transitions. En Afrique de l'Est, l'approche EDEN a permis de déterminer les effets à long terme sur la végétation et les activités humaines d'une réduction/accroissement de la disponibilité en eau de surface, indiquant une forte influence indirecte de cette dernière sur la végétation ligneuse. En Afrique de l'Ouest, en utilisant EDEN, il a été possible de déterminer les conditions permettant à de petits producteurs du sud-ouest du Burkina Faso de développer un agropastoralisme persistant, ainsi que les événements nécessaires pour atteindre un tel état.Nous discutons enfin des apports de l'ensemble des modèles EDEN à divers champs de l'écologie, ainsi que des améliorations possibles et des ponts à dresser entre l'écologie, la biologie des systèmes et l'informatique théoriqueEcosystems unfold over time in response to successive events that modify their components. These events, whether random or not, are the phenomena by which ecosystems assemble and disassemble. Each sequence of states - or trajectory - is a possible history of the ecosystem. Yet, if these events, or their order, had been different, the future state could have been different. However, the order of events, due to the limits of our knowledge, is often uncertain. When this uncertainty is important, it is therefore reasonable to conceive the dynamics of the ecosystem as a set of possible trajectories. If the set of possible trajectories were known, it could be useful to know if a desirable state is attainable, and if so, by which path(s).In this thesis, we propose a modelling approach named EDEN (for Ecological Discrete-Event Networks) to answer this question. It is presented in the form of a formalism whose variables are qualitative and whose values are modified by "if-then" rules representing the events of the ecosystem. These rules are executed one by one, in a non-deterministic way and without any probability. This non-deterministic and non-probabilistic approach has therefore been called possibilistic. The dynamics are then presented in the form of a state-transition graph whose dynamic properties (such as the fact that a species can persist) can be verified.First, a brief history of dynamical modelling in ecosystem ecology is presented, with a particular focus on qualitative modelling approaches, to which EDEN belongs to. Based on the limitations of existing approaches to answer certain questions, we propose the EDEN approach and justify the relevance of its properties with simple examples.Then, the EDEN approach is illustrated on semi-arid ecosystems in East and West Africa in order to know if certain states of interest are reachable (such as the maintenance of vegetation in savanna, or soil fertility in an agroecosystem). To do this, we present and use tools that have not been used much in ecology until now, such as summary graphs and temporal logics. For a given scenario, these tools enable to define (1) the possible transitions between the states of interest, (2) the conditions under which they can occur and (3) the events responsible for these transitions. In East Africa, the EDEN approach was able to determine the long-term effects on vegetation and human activities of reduced/increased surface water availability, indicating a strong indirect influence of the latter on woody vegetation. In West Africa, using EDEN, it was possible to determine the conditions that allowed small-scale producers in southwestern Burkina Faso to develop persistent agropastoralism, as well as the events necessary to achieve such a state.Finally, we discuss the contributions of the EDEN set of models to various fields of ecology, as well as possible improvements and bridges to be built between ecology, systems biology and theoretical computer science
16
Majdoub, Takieddine. "Technique de modélisation transactionnelle en vue de l'amélioration de la simulation des modèles de performances des architectures électroniques dans le domaine automobile." Nantes, 2012. https://archive.bu.univ-nantes.fr/pollux/show/show?id=5125be31-68f7-4610-8b33-feeacb30af1f.
Full textAbstract:
Dans le domaine automobile, l’architecture électronique des véhicules repose sur un ensemble de calculateurs interconnectés au travers différents réseaux de communication. Compte tenu des évolutions applicatives observées, la conception de ces systèmes tend à se complexifier. Il s’avère alors indispensable de pouvoir prendre en compte au plus tôt lors des phases de conception l’influence des échanges entre calculateurs. Afin d’aider les architectes à concevoir de telles architectures, différentes méthodes basées sur l’utilisation de modèles ont été proposées. Les travaux de recherche présentés dans cette thèse visent à tirer parti des possibilités offertes par le concept de modélisation transactionnelle (TLM) pour améliorer la simulation des modèles des architectures électroniques dans le domaine automobile. Notre travail a porté sur la définition d’une technique de modélisation permettant d’améliorer le compromis entre la rapidité de simulation et la précision des résultats des modèles d’architectures afin de favoriser l’exploration de l’espace de conception. La technique de modélisation proposée vise à favoriser la création de modèles transactionnels d’architectures distribuées en vue du dimensionnement des ressources matérielles et logicielles de ces architectures. L’intérêt de nos travaux a été illustré à travers l’étude d’un démonstrateur défini dans le cadre du projet CIFAER. Cette étude porte sur la modélisation en vue du dimensionnement de l’architecture de ce démonstrateur. La modélisation proposée de ce cas d’étude a permis de vérifier l’accélération significative de la simulation obtenue par l’application de la technique proposéeIn the automotive domain, vehicle electronic architecture is based on a set of electronic boards connected through different communication networks. Due to application evolutions, the design of these systems tends to become more complicated. Then, it is essential to take into account at the earliest design phases the influence of exchanges between electronic boards. In order to help architects to design such architectures, different methods based on the use of models have been proposed. The research presented in this thesis aims to take advantage of the opportunities offered by the concept of transactional modeling (TLM) to improve the models simulation of electronic architectures in the automotive domain. Our work has focused on the definition of a modeling technique allowing the improving of the tradeoff between simulation speed and results accuracy of architecture models in order to facilitate design space exploration. The proposed modeling technique aims to facilitate the creation of transactional models of distributed architectures for the design of hardware and software resources of these architectures. The interest of our work was illustrated through the study of a demonstrator defined in the CIFAER project. This study focuses on the modeling of this demonstrator architecture. The proposed modeling of this case of study has allowed to verify the significant simulation acceleration obtained by the application of the proposed technique
17
Sarac, Aysegul. "Modélisation et aide à la décision pour l'introduction des technologies RFID dans les chaînes logistiques." Phd thesis, Ecole Nationale Supérieure des Mines de Saint-Etienne, 2010. http://tel.archives-ouvertes.fr/tel-00541012.
Full textAbstract:
Les technologies RFID présentent des avantages non négligeables en comparaison aux technologies d'identification actuelles. Cependant, l'intégration de ces technologies dans les chaînes logistiques implique souvent des coûts élevés. Ainsi, les entreprises doivent conduire des analyses poussées pour évaluer l'impact des RFID sur le fonctionnement et l'économie des chaînes logistiques et décider de l'intégration ou non de ces technologies.Dans cette thèse nous nous concentrons sur la modélisation et l'analyse de l'introduction des technologies RFID dans les chaînes logistiques. Nous présentons d'abord une information générale sur les technologies RFID. Nous analysons ensuite la littérature sur l'intégration des RFID dans les chaînes logistiques en focalisant sur les défis et les avantages liés à l'intégration de ces technologies. Nous développons deux approches (analytique et par simulation) afin d'évaluer les impacts qualitatifs et quantitatifs des technologies RFID sur le fonctionnement et le profit des chaînes logistiques. Nous développons aussi une analyse du retour sur investissement (ROI), pour comparer les revenus obtenus à l'aide des technologies RFID avec les coûts associés à leur intégration. D'autre part, nous nous intéressons à l'amélioration des avantages de RFID dans les chaînes logistiques. Nous comparons les impacts de l'intégration de différentes RFID dans les chaînes logistiques par un remplacement simple des technologies d'identification actuelles et par la réorganisation des chaînes logistiques utilisant les nouvelles possibilités des technologies RFID. Les résultats obtenus dans ce travail mettent en évidence des perspectives intéressantes pour des études futures. L'originalité de cette étude est que nous comparons les impacts de plusieurs technologies RFID en les intégrant aux systèmes actuels et en reconstruisant des chaînes logistique grâce aux possibilités offertes par des technologies RFID. Notre modèle de simulation à événements discrets peut être utilisé comme un outil d'aide à la décision pour les sociétés qui visent à intégrer des technologies RFID.L'originalité de cette étude est que nous comparons les impacts de plusieurs technologies RFID en les intégrant aux systèmes actuels et en reconstruisant des chaînes logistique par les possibilités offertes par des technologies RFID. Notre simulation peut être utilisée comme un outil d'aide à la décision pour les sociétés qui considèrent l'intégration de technologies RFID.
18
Lopez-Varela, Carmen Guadalupe. "Détection et diagnostic basés cohérence pour les systèmes à événements discrets : vers la prise en compte des erreurs de modélisation." Phd thesis, INSA de Toulouse, 2007. http://tel.archives-ouvertes.fr/tel-00244013.
Full textAbstract:
Cette thèse propose une méthode de détection et diagnostic basée cohérence pour les systèmes à événements discrets. La méthode prend en compte la possibilité d'erreurs dans les modèles utilisés comme référence du bon comportement du système. La détection est réalisée par la vérification de cohérence entre le comportement observé et le comportement décrit par les modèles du système. Dans la mesure où les modèles utilisés ne sont pas exempts d'erreurs, la perte de cohérence détectée peut correspondre à une réelle défaillance au niveau du procédé ou à une erreur dans les modèles. Pour distinguer ces deux cas, il est nécessaire de déterminer les sous-modèles communs. Chaque observation émanant du procédé apporte une information utile pour l'identification de la ou des types de configuration entre les modèles. L'identification est réalisée en ligne et repose sur le parcours d'un graphe décrivant exhaustivement l'ensemble des configurations des modèles. Enfin, le rétablissement de la cohérence avec les observations par modification des modèles constitue le principe du diagnostic
19
Soldani, Siegfried. "Vers le diagnostic embarqué de défaillances dans les systèmes à événements discrets : application au domaine automobile." Toulouse 3, 2008. https://hal.laas.fr/tel-01591892.
Full textAbstract:
Cette thèse, réalisée dans le cadre d'une convention CIFRE entre ACTIA et le LAAS/CNRS, porte sur la détection et le diagnostic de défaillances fugitives dans les systèmes embarqués, avec une application dans le domaine automobile. Les méthodes proposées sont basées sur un modèle à événements discrets représentant le comportement observable du système surveillé en fonctionnement normal. L'étape de détection consiste à comparer la séquence d'événements observables émis par le système surveillé et la séquence d'événements attendus par le modèle. L'étape de localisation donne l'ensemble des événements potentiellement responsables des défauts observés. Cette étape se base sur l'approche "diagnostiqueur" développée par (Sampath et al. , 1998), dont le principe repose sur la compilation hors-ligne de l'information de diagnostic dans une structure de données (appelé diagnostiqueur) qui relie efficacement les observations aux fautes lors du diagnostic en ligne. Cette thèse a abouti au développement de plusieurs applications permettant le diagnostic de défauts fugitifs et intermittents. Les travaux ont été validés sur un banc de test représentant une architecture réseau utilisée dans les véhicules de transports urbains (bus, métro. . . )This thesis deals with the diagnosis of behavior functions in the embedded network systems and especially in the automotive systems. It is focused on the localization of intermittent faults in discrete events systems. The proposed methods are based on a discrete events model representing the normal functioning of the observable behavior of the monitored system. The detection step consists of a comparison between the flow of observable events emitted by the monitored system and the flow foreseen by the model. A localization mechanism, based on the diagnoser approach (Sampath et al. , 1998), points out the set of events potentially responsible for the faults. The aim of this approach is to get the diagnosis information into a data structure (off-line) which efficiently joins the observations with the faults during the on-line diagnosis. This thesis have lead to the building of many applications for the intermittent fault diagnosis. This works have been validated on a test bench representing the network used in the city transports (bus, subways. . . )
20
Sicard, Franck. "Prise en compte des risques de cyber-attaques dans le domaine de la sécurité des systèmes cyber-physiques : proposition de mécanismes de détection à base de modèles comportementaux." Thesis, Université Grenoble Alpes (ComUE), 2018. http://www.theses.fr/2018GREAT080/document.
Full textAbstract:
Les systèmes de contrôle-commande industriels (Industrial Control System, ICS) sont des infrastructures constituées par un ensemble de calculateurs industriels reliés en réseau et permettant de contrôler un système physique. Ils assurent le pilotage de réseaux électriques (Smart Grid), de systèmes de production, de transports, de santé ou encore de systèmes d’armes. Pensés avant tout pour assurer productivité et respect de la mission dans un environnement non malveillant, les ICS sont, depuis le 21ème siècle, de plus en plus vulnérables aux attaques (Stuxnet, Industroyer, Triton, …) notamment avec l’arrivée de l’industrie 4.0. De nombreuses études ont contribué à sécuriser les ICS avec des approches issues du domaine de la sécurité (cryptographie, IDS, etc…) mais qui ne tiennent pas compte du comportement du système physique et donc des conséquences de l’acte de malveillance en lui-même. Ainsi, une sécurisation se limitant exclusivement à l’analyse des informations qui transitent sur un réseau industriel n’est pas suffisante. Notre approche amène un changement de paradigme dans les mécanismes de détection en y intégrant la modélisation du comportement du système cyber-physique.Cette thèse propose des mécanismes de détection d’attaques en se positionnant au plus proche de la physique. Ils analysent les données échangées entre le système de contrôle-commande et le système physique, et filtrent les échanges au travers de modèles déterministes qui représentent le comportement du système physique soumis à des lois de commande. A cet effet, une méthodologie de conception a été proposée dans laquelle l’ensemble des ordres est identifié afin de détecter les attaques brutales. Pour faire face aux autres attaques, en particulier celles plus sournoises, comme les attaques par séquences, nous proposons une stratégie de détection complémentaire permettant d’estimer l’occurrence d’une attaque avant que ses conséquences ne soient destructives. A cet effet, nous avons développé des concepts de distance d’un état caractérisé comme critique auquel nous avons adjoint un second mécanisme dit de trajectoire dans le temps permettant de caractériser une intention de nuire.L’approche proposée hybride ainsi deux techniques orientées sécurité (sonde IDS) et sûreté (approche filtre) pour proposer une stratégie de détection basée sur quatre mécanismes lié :• A la détection de contexte : basé sur l’état courant de l’ICS, un ordre émis par l’API peut être bloqué s’il conduit vers un état critique (attaque brutale).• Aux contraintes combinatoires (attaque par séquences) : vérifiées par les concepts de distance et de trajectoire (évolution de la distance).• Aux contraintes temporelles (attaque temporelle) : vérifiées par des fenêtres temporelles sur l’apparition d’évènements et d’indicateurs surveillant la durée moyenne d’exécution.• Aux sur-sollicitations basées sur un indicateur surveillant les commandes envoyées afin de prévenir un vieillissement prématuré (attaque sur les équipements).L’approche proposée a été appliquée sur différents exemples de simulation et sur une plateforme industrielle réelle où la stratégie de détection a montré son efficacité face à différents profils d’attaquantIndustrial Control Systems (ICSs) are infrastructures composed by several industrial devices connected to a network and used to control a physical system. They control electrical power grid (Smart Grid), production systems (e.g. chemical and manufacturing industries), transport (e.g. trains, aircrafts and autonomous vehicles), health and weapon systems. Designed to ensure productivity and respect safety in a non-malicious environment, the ICSs are, since the 21st century, increasingly vulnerable to attacks (e.g. Stuxnet, Industroyer, Triton) especially with the emergence of the industry 4.0. Several studies contributed to secure the ICS with approaches from the security field (e.g. cryptography, IDS) which do not take into account the behavior of the physical system and therefore the consequences of the malicious act. Thus, a security approach limited exclusively to the analysis of information exchanged by industrial network is not sufficient. Our approach creates a paradigm shift in detection mechanisms by integrating the behavioral modeling of the cyber-physical system.This thesis proposes detection mechanisms of attacks by locating detection closer to physical system. They analyze the data exchanged between the control system and the physical system, and filter the exchanges through deterministic models that represent the behavior of the physical system controlled by control laws. For this purpose, a design methodology has been proposed in which all actions are identified in order to instantly detect brutal attacks. To deal with other attacks, especially the more sneaky, such as sequential attacks, we propose a complementary detection strategy to estimate the occurrence of an attack before its consequences are destructive. To this end, we have developed the concepts of distance of a state identified as critical to which we have added a second mechanism called trajectory which leads to a temporal notion that characterize an intention to harm.As part of this thesis, the proposed approach combines two techniques oriented security (IDS probe) and safety (filter approach) to propose a detection strategy based on four mechanisms related to:• Context detection: based on the current state of the system, an order sent by the PLC can be blocked by the control filter if it leads to a critical state (brutal attack).• Combinatorial constraints (sequential attack): verified by the concepts of distance (risk indicator for the current state) and trajectory (indicator of the intention to harm by studying the evolution of the distance on a sequence).• Temporal constraints (temporal attack): verified by time windows on the appearance of events and an indicator monitoring the average duration of execution.• Over-solicitation monitoring mechanism: based on an indicator monitoring orders sent to the actuators to prevent premature ageing of the production equipment (attack on the equipment).The proposed approach has been applied to various simulation examples and an industrial platform where the detection strategy has shown its effectiveness against different scenarios corresponding to attacker profiles
21
Behiri, Walid. "Une méthodologie pour modéliser et optimiser la mutualisation du transport ferroviaire urbain de marchandises et de passagers." Thesis, Paris Est, 2017. http://www.theses.fr/2017PESC1050/document.
Full textAbstract:
Malgré la prédominance actuelle du mode routier, pour le transport de marchandises en milieu urbain, une alternative durable est nécessaire, au vu des enjeux environnementaux et sociétaux. Dans cette thèse, nous proposons l’étude d’une des perspectives possibles, pour absorber une partie de ce flux de marchandises toujours plus dense, en utilisant le réseau ferroviaire urbain, initialement dédié aux voyageurs. Une méthodologie intégrant le fret dans ce dernier est proposée, avec comme première étape, l'identification et la classification de tous les niveaux de mixité fret / voyageurs possibles. Le niveau le plus contraint est retenu, car sa faisabilité induira celle des autres. Notre seconde contribution est relative à une approche par décomposition du problème d’insertion du flux de fret en plusieurs sous-problèmes interdépendants, selon les trois horizons temporels (long, moyen et court). Dans le but d’évaluer la capacité du système global, à absorber un flux supplémentaire de nature différente, le problème de détermination du meilleur plan de transport des marchandises est identifié comme central et critique. La troisième contribution concerne la simulation du système de transport, puis sa formalisation par un PL en variables mixtes, pour affecter chaque commande à un train, en déterminant le moment auquel elle sera chargée et en minimisant les temps d’attente cumulés des commandes. Plusieurs variantes de colonies de fourmis sont développées, pour la résolution d’instances de grande taille. La quatrième contribution concerne le couplage du modèle de simulation, qui permet l’évaluation des performances de cette nouvelle solution de transport, avec les différents algorithmes optimisant le plan de transport. Enfin, nous proposons une approche de replanification par horizon glissant, pour absorber les perturbations de la demande, en minimisant les changements du plan de transportUrban freight transport is almost exclusively carried out by truck. Beyond the drawbacks caused in the city, this transport mode is nearly saturated. This study discusses an alternative way of transporting freight by using urban rail infrastructure. The first contribution deals with the identification and classification of all different sharing possibilities of mixing freight with passenger’s traffic using rail network. The second contribution is the definition of global freight/passenger transport problem, which is decomposed into several optimization interdependent sub-problems with different temporal decision horizon. In order to show the capacity of the global system to absorb an additional flow with different nature, the Freight Rail Transport Schedule Problem “FRTSP” is identified as the bottleneck of transportation system and is formalized with MIP model. As third contribution, this problem determines train and loading time for each demand to be assigned respecting several constraints while minimizing total waiting time. The fourth contribution deals with a discrete event simulation approach, which studies this alternative and validates several proposed decision algorithms. Finally, the fifth contribution consists in a dynamic approach based on a rolling horizon, which is proposed in order to update the initial plan. The updated plan allows to determine a new assignment regarding new demand such as the modifications from the previous plan are minimized
22
Moller, Pierre. "Théorie algébrique des systèmes à évènements discrets." Phd thesis, École Nationale Supérieure des Mines de Paris, 1988. http://pastel.archives-ouvertes.fr/pastel-00654163.
Full textAbstract:
Considérons les systèmes à évènements discrets qui sont modélisables par des réseaux de Pétri du type "graphes d'évènements temporisés", Ils ont un comportement optimal (fonctionnement au plus tôt) qui peut-être calculé sans simulation par un système dynamique qui est linéaire dans l'algèbre des dïodes (max,+) ou (min,+). Le comportement asymptotique d'un tel système à évènements discrets est cyclique et les caractéristiques de ce cycle (période, délai, motif) sont analysables par un calcul de valeur propre sur la matrice de dynamique. À partir de cette formulation linéaire, une représentation externe (fonction de transfert) peut-être obtenue grâce à un calcul formel sur des séries à coefficients dans les dïodes, la fonction de transfert d'un tel système est rationnelle au sens des dïoides et est factorisable en une expression finie de polynômes.
23
Charbonnier, François. "Commande supervisée des systèmes à évènements discrets." Grenoble INPG, 1996. http://www.theses.fr/1996INPG0007.
Full textAbstract:
L'accroissement de la complexité des systèmes automatises rend de plus en plus nécessaire l'utilisation de méthodes formelles qui permettent de prouver, a priori, qu'un procédé commande satisfait un cahier des charges impose. La théorie de la supervision des systèmes a événements discrets, initiée par les travaux de Ramadge et Wonham, vise à répondre à cet objectif. Etant donnés un procédé et des spécifications logiques de fonctionnement, des techniques permettent de synthétiser de façon systématique un superviseur de facon a ce que le procédé couple au superviseur respecte les spécifications. Ces techniques reposent sur la théorie des langages formels et la théorie des automates. Dans cette approche, un procédé est considéré comme un générateur spontané d'évènements et le rôle du superviseur se cantonne a interdire l'occurrence de certains évènements dans le procédé. Cependant, un procédé nécessite d'être couple a un système de commande qui force certains évènements à se produire et l'approche Ramage-Wonham ne permet donc pas de faire de la commande. Ceci nous a conduits à définir le concept de commande supervisée. Ce concept hiérarchise les rôles dévolus à la commande et à la supervision et fournit une représentation claire des notions d'entrées/sorties. L'approche proposée permet de systématiser et formaliser le passage de la synthèse a l'implantation de la commande. La commande supervisée peut avantageusement s'appuyer sur l'outil grafcet. Néanmoins, les preuves formelles sont effectuées à partir de modèles automates. Dans cette thèse, les algorithmes proposes permettent de systématiser l'obtention de modeles automates a partir de modeles GRAFCETS de commande et de supervision. Le concept de commande supervisée a été applique à l'atelier inter-établissements de productique de Grenoble. La démarche employée est détaillée pour une partie du procédé
24
Ouédraogo, Lucien. "Contrôle supervisé de systèmes à évènements discrets temps-réel." Thèse, Université de Sherbrooke, 2008. http://savoirs.usherbrooke.ca/handle/11143/1898.
Full textAbstract:
Cette thèse porte sur la synthèse de superviseurs pour des systèmes a événements discrets temps-réel (SEDTRs) modélisés par des automates temporises (ATs). Comme l'espace d'états d'un AT est en général infini, et que la théorie du contrôle supervise de RAMADGE et WONHAM, que nous avons adaptée, est opérationnelle pour des automates a états finis (AEFs), nous avons utilisé l'approche consistant à transformer les ATs modélisant le procédé et la spécification sous la forme d'AEFs. Nous avons donc tout d'abord étendu et amélioré une méthode de transformation des ATs en AEFs particuliers appelés automates Set-Exp (ASEs). Cette méthode de transformation, appelée SetExp, permet de réduire le problème d'explosion des états et est appropriée pour le contrôle supervise de SEDTRs. Nous avons ensuite amélioré et étendu une méthode de contrôle centralise fondée sur SetExp, c'est-à-dire que les ATs modélisant le procédé et la spécification sont d'abord transformes en ASEs et le problème est résolu en adaptant la théorie de RAMADGE et WONHAM aux ASEs. Pour la résolution du problème de contrôle centralise, nous avons identifié les conditions d'existence de solution et avons proposé une procédure algorithmique pour la synthèse du superviseur le moins restrictif. Suite à cela, nous avons développé une méthode de contrôle modulaire, fondée sur SetExp et la méthode de contrôle centralise. Pour le contrôle modulaire également, nous avons identifié les conditions d'existence de solution et propose une procédure de synthèse de superviseurs modulaires les moins restrictifs. D'autre part, nous avons étendu la méthode de contrôle centralise fondée sur SetExp au cas où le superviseur a une observation partielle des événements du procédé. Pour cette méthode de contrôle sous observation partielle des événements, nous avons identifié les conditions d'existence de solution et propose une procédure pour synthétiser un superviseur sous observation partielle. Enfin, nous avons réalisé un outil logiciel appelé SEAtool, qui implémente la transformation SetExp et les méthodes de contrôle centralise et modulaire. Nous avons étudié, à l'aide de SEAtool, l'application de nos méthodes de contrôles centralise et modulaire a des systèmes concrets simples.
25
Bouillard, Anne. "Optimisation et analyse probabiliste de systèmes à évènements discrets." Lyon, École normale supérieure (sciences), 2005. http://www.theses.fr/2005ENSL0337.
Full textAbstract:
L'objet de cette thèse est l'étude des performances dans les systèmes à évènements discrets. Trois modèles différents de ces systèmes sont étudiés. Dans une première partie, nous nous intéressons aux groupes de traces. Après avoir donné une formule simple, semblable à la formule de Möbius pour les monoïdes de traces, de la série génératrice des groupes de traces, nous montrons l'existence et l'algébricité du taux de croissance asymptotique de la hauteur des traces. Une deuxième partie de cette thèse est consacrée aux réseaux à choix libres temporisés, une sous-classe importante de réseaux de Petri. Nous définissons une notion de débit dans ces réseaux et étudions la variation du débit en fonction de la politique de résolution de conflits choisie. Tout d'abord, nous montrons comment calculer ce débit. Ensuite, nous nous intéressons aux politiques qui le maximisent ou le minimisent. Enfin, nous donnons une méthode efficace de simulation exacte du processus des marquages pour l'évaluation numérique du débit. Enfin, nous étudions le calcul des garanties de performances dans les réseaux à l'aide des techniques du Network Calculus. Nous montrons la stabilité des fonctions ultimement pseudo-périodiques par les opérations du network calculus et donnons des algorithmes pour le calcul de ces fonctions. Ces techniques sont ensuite appliquées à l'étude des garanties de performances dans les graphes avec angles interditsThis thesis deals with the study of discrete event systems. Three different models are considered. In the first part, we are interested in the trace groups. After giving a simple Möbius-like formula for the generating series of the trace groups, we show the existence and the algebraicity of the asymptotic growth rate of the height of the traces. The second part is devoted to timed free-choice nets, an important sub-class of Petri nets. We define the notion of throughput in those nets and study the variation of the throughput in function of the conflict resolution policies. First, we show how to compute the throughput, then we are interested in the policy that maximizes or minimizes the throughput. Finally, we give an efficient method to generate a marking according to its exact distribution in order to numerically evaluate the throughput. In the last part, we study the computation of performance guarantees in networks thanks to Network Calculus techniques. We show the stability of the ultimately pseudo-periodic functions with the operations of the Network Calculus and give algorithms to compute these functions. These techniques are then applied to the study of performance guarantees in graphs with turn prohibition
26
Faraut, Grégory. "Commutations sûres de mode pour les systèmes à évènements discrets." Lyon, INSA, 2010. http://theses.insa-lyon.fr/publication/2010ISAL0108/these.pdf.
Full textAbstract:
Le travail présenté dans ce mémoire concerne une démarche de conception appliquée à une gestion modale pour les systèmes à événements discrets (SED). Un mode est une configuration particulière du système où celui-ci exploite un ensemble de composants et doit respecter un ensemble de spécifications. La problématique de la gestion de mode porte principalement sur la conception des modes et sur leurs commutations. Notre objectif est de proposer une démarche de conception complètement définie où les spécifications sont assurément respectées, et où seules les commutations désirées entre modes peuvent se produire. Il est également vérifié que toute commutation dans un mode mène de manière sûre dans un autre mode. Pour réaliser cet objectif, nous utilisons la théorie de contrôle par supervision qui permet de concevoir des modèles sûrs par construction tel que les spécifications utilisées pour la construction soient respectées. La démarche proposée possède plusieurs étapes séparant ainsi les différentes études de conception. La première concerne la formalisation du cahier des charges en modèles automate à états. L’étude suivante concerne le comportement interne où celui-ci doit respecter les spécifications propres aux modes, indépendamment des autres modes. Cette étape valide le comportement de chaque mode, avant d’étudier leurs commutations. La troisième étape étudie le comportement commutatif tel que les spécifications de commutations soient respectées. Cette étape spécifie les commutations désirées, et inversement celles non voulues. L’étape suivante est l’exécution d’une fonction de suivi de trajectoire qui vérifie que toutes les commutations mènent bien dans un autre mode. Dans le cas contraire, la fonction de suivi identifie et caractérise les commutations problématiques afin d’aider le concepteur dans la résolution de ces situations. Enfin, une étape de fusion d’états finalise la démarche afin de fournir un modèle par mode qui représente le comportement de celui-ci. Pour montrer l’applicabilité de la démarche proposée, et sa faculté à être utilisée en milieu industriel, nous l’utilisons sur un exemple de taille importante utilisée dans la littératureThe work presented in this thesis concerns a framework applied to modal approach for DES. A mode is a particular configuration of system where it handles a set of components and has to respect a set of specifications. The problematic of mode management is about the design of modes and on their switching. The aim of our works ls to propose a framework completely defined where the specifications are guaranteed, and where only the admissible switching between modes may happen. Il also verifies that each switching ln a mode effectively leads to another one by safety manner. To reach this objective, we use the SCT which computes safe models in which the requirements are respected. The proposed framework is composed of several steps, splitting the different studies. The first study focuses on the formalization of requirements into mathematical models (automata). The two next concern the synthesis (by SCT} of the internal and switching behaviors of mode to firstly ensure the specifications are respected, independently of others, and secondly such as only th admissible switching may occur. The next step is a function of process tracking which verifies that all switching effectively lead into only one mode. In the opposite case, the function identifies and characterizes the problematic switching to help the designer to forbid them. At the end, a step for merging states is carry out to remove the non-significant states and to obtain one model per mode representing its behavior. To show the applicability of the proposed framework, we apply it on an example used in literature
27
Cardillo-Albarràn, Juan José. "Une approche formelle pour l'optimisation de systèmes à évènements discrets." Toulouse 3, 2004. http://www.theses.fr/2004TOU30084.
Full text
28
Gaudin, Benoït. "Synthèse de contrôleurs sur des systèmes à évènements discrets structurés." Rennes 1, 2004. http://www.theses.fr/2004REN10111.
Full textAbstract:
L'étude concerne le contrôle de systèmes critiques, pour lesquels la correction est primordiale. La théorie du contrôle des systèmes à événements discrets a pour objectif de garantir par construction que le système respecte certaines propriétés. Les méthodes proposées à ce jour souffrent d'un problème d'efficacité lorsque le système à contrôler est décrit de manière compositionnelle. Pour pallier au problème d'explosion combinatoire induit par la composition, nous avons développé des méthodes propres à ces systèmes en tirant partie de leur structure, i. E. En effectuant autant que possible des calculs sur les sous systèmes, plutôt que sur le système global. Nous nous sommes focalisé sur des propriétés de sûreté portant sur le comportement ou les états du système et avons développé des techniques propres à ces deux approches. Pour l'approche à états, nous avons en outre étudié le problème du non-blocage et étendu ces résultats au cadre des systèmes hiérarchiques à deux niveaux.
29
Pierrat, Jean-Jacques. "Modélisation de systèmes à évènements discrets sujets à des pannes." Grenoble INPG, 1987. http://www.theses.fr/1987INPG0103.
Full textAbstract:
Modelisation par un reseau de files d'attente et evaluation des performances pour un systeme discret sujet a des pannes. Application a la modelisation d'une reparation de panne dans un serveur de reseau de files d'attente et evaluation des performances pour un atelier flexible
30
Charlotte, Miguel. "Modèles Discrets de Rupture." Paris 6, 2001. http://www.theses.fr/2001PA066047.
Full text
31
Agaoua, Saïd. "Spécification et commande des systèmes à évènements discrets : le grafcet coloré." Grenoble INPG, 1987. http://www.theses.fr/1987INPG0077.
Full text
32
Betoue, Etoughe Marthe. "Homogénéisation partielle des modèles discrets." Saint-Etienne, 2008. http://www.theses.fr/2008STET4016.
Full textAbstract:
Les structures discrètes apparaissent dans les modèles atomiques. Les méthodes d'homogénéisation et les méthodes multi-échelles ont été développées dans le but de réduire le coût de calcul numérique de tels systèmes comportant un grand nombre d'équations algébriques. Nous nous intéressons aux modèles discrets à forte variation des coefficients dans une couche mince voisine de la frontière. Notre approche, basée sur la décomposition asymptotique partielle du domaine, consiste à conserver la description discrète du champ (généralement un schéma aux différences finies) dans la couche mince et de passer à un modèle continu (par exemple une équation aux dérivées partielles) dans la partie principale du domaine. Nous proposons des conditions d'interface qui fournissent de faibles écarts entre les solutions discrètes et leurs approximations semi-discrètesThe discrete structures appear in atomistic models. Homogenization methods and multi-scale methods are developped in order to reduce the computation cost of systems with great number of algebric equations. We are interesting in discrete models having strong variation of the coefficients in a thin layer near the boundary. Our approach, founded on asymptotic partial domain decomposition, proposes to keep a discrete description of the field (generally a finite difference scheme) in the thin layer and to pass to a continuum model (for example a partial differential equation) in the main domain. We suggest interface conditions which give small differences between discrete solutions and their semi-discrete approximations
33
Chakib, Hicham. "Contrôle et diagnostic décentralisés des systèmes à évènements discrets approche multi-décisionnelle." Thèse, Université de Sherbrooke, 2011. http://savoirs.usherbrooke.ca/handle/11143/1958.
Full textAbstract:
De nos jours, les systèmes technologiques sont devenus très complexes (matériel informatique, logiciel, système de télécommunication, usine manufacturière, etc.), et cette complexité croît continuellement de sorte que les anciennes techniques intuitives utilisées pour leur conception, leur étude et leur réalisation deviennent inadaptées. À cause de cette complexité croissante, la probabilité pour qu'une erreur (ou panne) inattendue survienne est de plus en plus grande. Plus encore, quelques erreurs peuvent provoquer des accidents très graves causant des pertes économiques ou humaines. C'est dans ce cadre que les méthodes formelles ont été développées pour l'analyse, la conception et la réalisation des systèmes logiciels et électroniques quelque [i.e. quelle que] soit leur complexité. Ainsi, l'étude des systèmes à événements discrets (SED) a été introduite avec l'objectif de développer des méthodes formelles pour répondre à des besoins pressants, tels que le contrôle, le diagnostic, le pronostic, le test et la vérification des comportements discrets des systèmes technologiques. Cette thèse considère et généralise les études du contrôle et du diagnostic décentralisés des SED. Le principe commun du contrôle et du diagnostic décentralisés des SED est la prise de décision décentralisée, qui est basée sur l'utilisation d'une architecture décentralisée. Cette dernière est constituée de plusieurs décideurs locaux qui observent partiellement un SED et prennent des décisions locales qui sont ensuite fusionnées par un module de fusion D. Ce dernier, en se basant sur une fonction de fusion, calcule à partir des décisions locales une décision globale. Le système englobant les décideurs locaux et le module de fusion s'appelle un décideur décentralisé. L'ensemble de tous les décideurs décentralisés ayant D comme module de fusion est appelé D-architecture. La principale contribution de cette thèse est de proposer une nouvelle approche de prise de décision décentralisée, appelée multi-décision et qualifiée de multi-décisionnelle. Le principe de la multi-décision est basé sur l'utilisation de plusieurs (disons p) décideurs décentralisés (DD[indice supérieur j)[indice inférieur j=1,...,p] qui fonctionnent simultanément et en parallèle. Chaque DD[indice supérieur J] a une architecture décentralisée parmi celles qu'on trouve dans la littérature. C'est-à-dire que chaque DD[indice supérieur J] est constitué d'un ensemble de décideurs locaux ([Dec[indice supérieur J][indice inférieur i])[indice inférieur i=1,...,n] dont les décisions locales sont fusionnées par un module de fusion D[indice supérieur j] afin d'obtenir une décision globale. Dans l'architecture multi-décisionnelle, les décisions globales des p (DD[indice supérieur j])[indice inférieur j=1,...,p] sont fusionnées par un module D afin d'obtenir une décision effective qui respecte une propriété désirée Pr. L'intérêt de la multi-décision est que l'architecture ((DD[indice supérieur j])[indice inférieur j=1,..., p], D) constituée des différents (DD[indice supérieur j])[indice inférieur j =1,...,p] et de D généralise chacune des architectures DD[indice supérieur j]. C'est-à-dire que l'ensemble des SED auxquels on peut appliquer ((DD[indice supérieur j])[indice inférieur j=1,...,p], D) englobe les différents SED auxquels on peut appliquer les différents DD[indice supérieur j] séparément. Nous avons étudié l'approche multi-décisionnelle sur deux exemples de prise de décision : le contrôle supervisé et le diagnostic. On obtient alors le contrôle et le diagnostic multi-décisionnels. Dans les deux cas, l'approche multi-décisionnelle nécessite une décomposition de langages infinis (c.-à-d., contenant un nombre infini de séquences), qui est connue comme étant un problème difficile. Pour résoudre ce problème, on a proposé, dans le cas particulier des langages réguliers, une méthode qui transforme la décomposition d'un langage infini X en une décomposition d'un ensemble fini d'états marqués. Pour arriver à cela, on a dû s'imposer une restriction en ne considérant que les décompositions de X qui respectent une condition spécifique. Cette condition présente l'avantage de rendre les conditions d'existence de solutions vérifiables. Nous avons ainsi développé des algorithmes pour vérifier les conditions d'existence de solutions pour le contrôle et le diagnostic multi-décisionnels. Ces algorithmes ont le même ordre de complexité que les algorithmes qui vérifient les conditions d'existence de solutions pour le contrôle et le diagnostic décentralisés. Il est important de noter que les conditions d'existence obtenues pour une architecture multi-décisionnelle ((DD[indice supérieur j])[indice inférieur j=1,..., p], D) sont moins contraignantes que celles obtenues pour chacune des architectures DD[indice supérieur j].
34
Godon, Alain. "Contribution à la commande des systèmes à évènements discrets par réseaux Pétri." Angers, 1996. http://www.theses.fr/1996ANGE0032.
Full textAbstract:
Les systemes a evenements discrets sont caracterises par un espace d'etat discret et par une dynamique regie par l'occurrence d'evenements asynchrones. Cette these traite de la commande de tels systemes a l'aide de reseaux de petri. On s'interesse tout d'abord a la modelisation du systeme par un reseau de petri colore, formalisme mathematique et graphique, puissant et concis, notamment par rapport au modele automate. Aucune classe particuliere n'est specifiee (graphe d'evenements ou graphe d'etats), bien que l'on restreigne les fonctions portees par les arcs a identite. On considere ensuite les specifications du fonctionnement souhaite, hierarchisees en deux types de contraintes : les premieres definissent un fonctionnement minimal sous forme de marquages interdits ou de sequences interdites ; les secondes concernent les performances attendues, exprimees comme des proprietes comportementales des reseaux de petri (vivacite, consistance, reversibilite, ). On presente alors deux algorithmes permettant, d'une part, de synthetiser sous forme d'un reseau de petri synchronise un superviseur le plus permissif possible, d'autre part, d'integrer ce superviseur au modele du systeme, a l'aide d'arcs inhibiteurs. La seconde partie de notre travail est dediee a la realisation d'un atelier logiciel supportant les divers formalismes issus des reseaux de petri (reseaux generalises, colores, a files, continus, hybrides, ), et dont l'architecture entierement ouverte et modulaire permet a chaque utilisateur d'integrer ses propres fonctions. Dans le cadre de la commande des systemes, cet atelier propose diverses methodes de commande effective de processus : approche compilee ou interpretee, commande centralisee ou modulaire.
35
Sava, Alexandru Tiberiu. "Sur la synthèse de la commande des systèmes à évènements discrets temporisés." Grenoble INPG, 2001. https://tel.archives-ouvertes.fr/tel-00198482.
Full textAbstract:
Les travaux de recherche présentés dans cette thèse proposent une méthodologie de synthèse de la commande des systèmes à événements discrets temporisés permettant de calculer l'ensemble de toutes les lois de commande telles que le fonctionnement du système respecte les spécifications imposées par le cahier des charges. Notre approche associe la capacité de modélisation de l'outil réseau de Petri T-temporel à la puissance d'analyse des automates temporisés. Dans un premier temps, le système à commander est modélisé par un réseau de Petri T-temporel. Ensuite on construit l'automate temporisé qui modélise le comportement de ce réseau de Petri T-temporel. Les comportements non-désirés sont modélisés par des sommets interdits. La synthèse de la commande est basée sur des techniques d'analyse d'atteignabilité spécifiques aux automates temporisés. La méthode proposée consiste à calculer des nouvelles gardes des transitions de l'automate telles que les sommets interdits ne soient jamais atteints. L'approche de synthèse de la commande présenté dans cette thèse s'adresse aux systèmes à événements discrets temporisés modélisés par des réseaux de Petri T-temporels bornés avec des contraintes temporelles spécifiées par des nombres rationnels.
36
Djahanguir, Amir Hossein. "Accélération de la simulation logico-fonctionnelle : simulateur à évènements discrets totalement distribués." Toulouse, INSA, 1989. http://www.theses.fr/1989ISAT0017.
Full textAbstract:
Les deux principaux types de simulation (compilee et a evenements discrets) ont ete experimentes selon une approche parallele relativement nouvelle qui offre une facilite de programmation et d'apprehension d'un monde reel en termes de processus concurrents. Le simulateur a evenements discrets a ete mis en oeuvre sur un reseau de processeurs
37
Hietter, Yann. "Synthèse algébrique de lois de commande pour les systèmes à évènements discrets logiques." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2009. http://tel.archives-ouvertes.fr/tel-00402699.
Full textAbstract:
Les travaux présentés dans ce mémoire sont relatifs à l'élaboration formelle de la commande d'un Système à Évènements Discrets (SED) logique à partir des exigences exprimées dans le cahier des charges. La méthode proposée est basée sur la résolution de manière littérale d'un système d'équations représentant ces exigences.Le cadre mathématique, support de ces travaux, est l'algèbre de Boole des fonctions booléennes. Ce cadre mathématique a été retenu pour les raisons suivantes :
- Dans le cas particulier des SED logiques non temporisés, toute loi de commande peut être décrite à l'aide de fonctions booléennes.
- Les exigences exposées dans un cahier des charges peuvent être formalisées sous forme de relations entre des fonctions booléennes.
- Les résultats obtenus dans le cadre de cette thèse nous permettent de déterminer automatiquement quelles sont les fonctions booléennes qui satisfont le système d'équations entre fonctions booléennes représentant ces exigences.
La méthode proposée permet au concepteur d'exprimer les exigences dans des formalismes différents. Il a également la possibilité de fixer la forme de la solution qu'il souhaite obtenir ou de ne réaliser la synthèse que sur une partie du modèle.
Le chapitre 2 de ce mémoire est consacré à la présentation des résultats mathématiques que nous avons établis pour pouvoir résoudre un système d'équations à n inconnues dans toute structure d'algèbre de Boole.
L'approche de synthèse est détaillée au chapitre 3 au travers du traitement de 3 exemples de taille et de complexité croissantes. Nous montrons comment les exigences exprimées dans un cahier des charges peuvent être formalisées sous forme de relations entre des fonctions booléennes. La résolution du système d'équations est réalisée automatiquement grâce à une maquette informatique développée au LURPA.
38
Ghazel, Mohamed. "Surveillance des systèmes à évènements discrets à l'aide des réseaux de Petri Temporels." Ecole Centrale de Lille, 2005. http://www.theses.fr/2005ECLI0008.
Full textAbstract:
Nous nous intéressons dans le cadre de cette thèse à la surveillance des systèmes à événements discrets (SED). Plus particulièrement, nous cherchons à développer une approche de surveillance qui permet d'exploiter le facteur temps dans un contexte d'observabilité partielle sur le comportement du système. Comme pour les principales approches de surveillance existantes, nous partons d'un modèle comportemental du système. II s'agit ici d'un modèle de type réseau de Petri T-temporel (RdPT). Le choix des RdPT se justifie par la riche sémantique de ce type de modèles et par ses bonnes capacités d'expression des aspects liés à la surveillance. Notre approche propose la construction d'un Estimateur d'état à partir du graphe de classes d'état du système selon un algorithme que nous avons développé. L'Estimateur, de par sa structure, met en évidence les conséquences perceptibles ou non de l'occurrence des différents scénarios événementiels possibles dans le système. Par ailleurs, et en vue de préparer une base pour la mise en oeuvre des mécanismes de surveillance, notre algorithme de construction de l'Estimateur prévoit l'intégration des séquences événementielles antérieures, permettant d'extraire les scénarios possibles suite à l'occurrence d'un événement observable, et des séquences candidates permettant d'anticiper l'analyse des scénarios événementiels possibles. Un algorithme de suivi permet par ailleurs, en ligne, de vérifier la normalité du comportement et de retrouver les éventuelles défaillances qui peuvent se produire dans le système. Les idées développées reposent sur la corrélation des informations recueillies en ligne avec les données de l'Estimateur. Toujours dans le même contexte, une étude de l'observabilité (surveillabilité + diagnosabilité) a été effectuée. Le dernier volet de notre étude concerne le développement de métamodèles pour la synthèse des relations fonctionnelles dans un système donné. L'objectif étant d'apporter une contribution dans une approche plus globale de construction de modèles pour la surveillance. Un tel modèle ne peut en effet être élaboré sans la détermination des relations fonctionnelles, notamment les relations de dépendance et de causalité dans le système étudié. La connaissance des relations fonctionnelles est par ailleurs importante pour assurer l'identification par propagation d'hypothèses de défaillances à travers des modèles fonctionnels. Afin d'assurer la généricité de nos métamodèles, une démarche d'abstraction inspirée du domaine du génie logiciel a été adoptée, et UML a été choisi comme formalisme de modélisation pour les avantages qu'il offre.
39
Khansa, Wael. "Réseaux de Pétri P-Temporels : contribution à l'étude des systèmes à évènements discrets." Chambéry, 1997. http://www.theses.fr/1997CHAMS005.
Full textAbstract:
Nous montrons dans ce mémoire que parmi les extensions existantes des réseaux de Petri, aucune ne possède la puissance de spécification suffisante pour modéliser et analyser des systèmes à événements discrets à contraintes de temps de séjour minimum et maximum nécessitant des synchronisations sous obligation (cas par exemple des industries de traitement chimique). Nous sommes ainsi amenés à proposer un nouveau modèle temporel permettant de représenter et d'analyser de tels systèmes, dans lequel, des intervalles de temps sont associés aux places, que nous appelons: réseau de Petri p-temporel (p-RdP). La définition d'un nouvel outil nécessite l'établissement de méthodes permettant d'analyser ses propriétés. Nous définissons tout d'abord les propriétés fortes qu'il convient d'extraire (vivacité, finitude des marquages, vivacité de marques,…). Puis, le pouvoir de spécification de cet outil sera comparé à celui d'autres modèles de réseaux de Petri. Nous fournissons des méthodes d'analyse énumérative permettant d'étudier le comportement et de vérifier les propriétés des systèmes modélisés. Ensuite, une approche d'analyse structurelle est établie afin d'étudier les fonctionnements stationnaires et par conséquent les performances des systèmes modélisés. Par ailleurs, les systèmes peuvent être soumis à des perturbations. Il est alors intéressant de trouver des contrôles robustes qui peuvent absorber des telles perturbations. La connaissance des marges sur les instants de tir des transitions peut être un moyen de caractériser la robustesse. L'étude de ces marges est faite d'abord pour les réseaux temporisés puis pour le modèle p-temporel.
40
Latapy, Matthieu. "Modèles dynamiques discrets et structures ordonnées." Paris 7, 2001. http://www.theses.fr/2001PA077138.
Full text
41
Vasiliu, Andra ioana, and Andra ioana Vasiliu. "Synthèse de contrôleurs des systèmes à évènements discrets basée sur les réseaux de Petri." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00767421.
Full textAbstract:
La méthode des invariants est une des plus utilisées méthodes de synthèse pour les SED modélisés par des réseaux de Petri (RdP). Cependant, elle ne garantit pas en général une solution optimale dans la présence de l'incontrôlabilité. Dans ce travail nous proposons une solution à ce problème pour les RdP généralisés. Premièrement, nous proposons une solution d'identification des contraintes admissibles pour les RdP saufs non-conservatifs. La méthode repose sur une définition des contraintes contenant des marquages complémentés. Ceux-ci sont après éliminés en exploitant les composants conservatifs des RdP. Deuxièmement, nous avançons une technique de détermination des contraintes admissibles pour les RdP généralisés. La méthode est basée sur une vision spatiale de l'espace d'états du modèle. Les contraintes sont dérivées de l'équation d'hyperplan affin qui sépare les régions interdite- et autorisée- de cet espace. Nous proposons un algorithme pour le calcul du contrôleur optimal minimal.
42
Vasiliu, Andra Ioana. "Synthèse de contrôleurs des systèmes à évènements discrets basée sur les réseaux de Petri." Thesis, Grenoble, 2012. http://www.theses.fr/2012GRENT001/document.
Full textAbstract:
La méthode des invariants est une des plus utilisées méthodes de synthèse pour les SED modélisés par des réseaux de Petri (RdP). Cependant, elle ne garantit pas en général une solution optimale dans la présence de l'incontrôlabilité. Dans ce travail nous proposons une solution à ce problème pour les RdP généralisés. Premièrement, nous proposons une solution d'identification des contraintes admissibles pour les RdP saufs non-conservatifs. La méthode repose sur une définition des contraintes contenant des marquages complémentés. Ceux-ci sont après éliminés en exploitant les composants conservatifs des RdP. Deuxièmement, nous avançons une technique de détermination des contraintes admissibles pour les RdP généralisés. La méthode est basée sur une vision spatiale de l'espace d'états du modèle. Les contraintes sont dérivées de l'équation d'hyperplan affin qui sépare les régions interdite- et autorisée- de cet espace. Nous proposons un algorithme pour le calcul du contrôleur optimal minimalThe place-invariants method is one of the most popular controller synthesis approaches for Petri net (PN) modeled DES. Unfortunately, the observance of the constraints is not certain in the presence of uncontrollable transitions. This thesis offers a solution to this problem for ordinary and generalized PNs. We begin by studying safe non-conservative PNs, and devising a constraint-determination technique that will always provide a set of admissible constraints for this type of model. The approach stems from the general definition of forbidden states --- that of marking vectors. In the second part of our work, we present an admissible constraint-determination technique for generalized PNs. The method is based on a special view of the system's state space. The constraints are derived from the equation of the affine hyper-plane separating the authorized- and forbidden- regions of this space. We propose an algorithm that allows the identification of the minimal maximally permissive controller
43
Cuervo, Yeison. "Modélisation des éboulements rocheux par la méthode des éléments discrets : application aux évènements réels." Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAI066/document.
Full textAbstract:
La compréhension et la prévision des phénomènes d'éboulements rocheux sont des éléments déterminants pour la gestion des risques dans l'aménagement des zones et des infrastructures de montagnes, qui nécessitent, entre autre, la mise au point d'outils numériques opérationnels permettant d'anticiper la trajectoire des épisodes rocheux et les zones susceptibles d'être impactées. L'approche numérique proposée dans le cadre de la thèse, est basée sur une modélisation numérique discrète qui permet de simuler le comportement collectif de blocs rocheux lors d'un éboulement, en considérant des blocs de géométrie réaliste et une topographie tridimensionnelle du versant de propagation. Pour faciliter son utilisation en bureau d'études, le modèle numérique de contact, qui gère les interaction entre les blocs et entre les blocs et le versant de propagation, fait appel à un nombre restreint de paramètres, pouvant être estimés par des mesures in situ ou par des rétro-analyses de cas existants. Les paramètres les plus influant sur les mécanismes de propagation sont : la géométrie des blocs et la topographie de surface, les paramètres dissipatifs de contact tels que le coefficient de restitution normale qui agit dans la direction normale au contact, le coefficient de frottement qui agit dans la direction tangentielle au plan de contact, et la résistance au roulement entre la pente et les blocs rocheux dans l'hypothèse d'un impact rocheux sur un sol meuble.La thèse présente des nombreuses données de terrain qui ont servies de base à l'analyse des mécanismes de propagation sur d'anciens cas d'éboulements et sur des falaises potentiellement instables. Des méthodes permettant la reconstruction d'un volume instable pour la modélisation de la propagation ont été développées sur la base des modèles tridimensionnels de terrain. Après des tests de validation et de compréhension du modèle numérique, ce dernier a été appliqué à des cas réels. Trois sites, très différents en termes de géométrie, ont été retenus pour tester le modèle numérique. Les paramètres d'études sont suivant les cas, les mécanismes de propagation, les mécanismes de dissipation d'énergie, les zones de dépôt, les forces d'interactions et les énergies d'impact sur des structures de protection.Ce travail a permis d'établir une méthodologie de modélisation des éboulements rocheux adaptée à l'ingénierie. Un protocole spécifique permettant de déterminer ou d'estimer les paramètres a été proposé et des logiciels de pré et post traitements permettant à la fois une analyse pertinente et rapide des résultats ont été développés. La corrélation entre les résultats numériques et les observations de terrain sont satisfaisantes et les résultats en termes de prévision encourageantsUnderstanding and predicting rock avalanches are key elements in risk management when developing mountainous areas. Due to the complexity of the mechanisms involved, developments of numerical and operational tools are useful and necessary to properly estimate block trajectories and define riskiest areas. The numerical approach proposed in this thesis is based in the discrete element method which allows simulating the collective behavior of a group of rocks by using realistic block geometries and three-dimensional slope topographies. The numerical contact model handles interaction between the blocks and between the blocks and the slope by using a limited number of parameters that can be estimated by in situ measurements or feed-back analysis of ancient rockfalls events. The most influential parameters in the propagation phenomena are: the geometry and shape of blocks and topography, the contact parameters such as the normal restitution coefficient which acts in the normal direction to the contact, the friction coefficient acting in the tangential direction to the contact plane and the rolling resistance coefficient of blocks with the slope that somehow accounts of the impact mechanisms in case of soft soil.Various field results of past rockfall events or instable rocky cliffs are presented in the thesis. In addition, different procedures allowing the modeling of the whole unstable volume involved in the propagation motion are presented through real applications by using three-dimensional terrain models as input data. The numerical model was applied to three real rockfalls events, very different in terms of geometry. The parameters analyzed concerned mainly the propagation distances and energy dissipation mechanisms, deposit zones, interaction forces and impact energies on protective structures.A specific protocol for determining and estimating the contact parameters was proposed and some pre and post processing software enabling both relevant and rapid analysis of the results have been developed. The correlation between the numerical results and field observations are satisfactory with very encouraging results in terms of forecasting
44
Rachidi, Sara. "Diagnostic des défauts dans les systèmes à évènements discrets soumis à des contraintes temporelles." Thesis, Normandie, 2019. http://www.theses.fr/2019NORMLH24/document.
Full textAbstract:
Cette thèse porte sur le diagnostic des défauts dans des Systèmes à Evènements Discrets (SED) pour lesquels l’occurrence des événements est soumise à des contraintes temporelles. Les domaines d’application potentiels sont nombreux et variés allant de la production manufacturière aux systèmes de transport en passant par les réseaux de communication et les systèmes d’information. La complexité croissante de ces systèmes nécessite l’élaboration de méthodes de surveillance de plus en plus efficaces et performantes pour garantir leur sécurité, leur disponibilité ainsi que le maintien de leurs propriétés dans le temps. Les réseaux de Petri Stochastiques Temporisés Partiellement Observés (RdPSTPO) sont utilisés pour modéliser le système ainsi que les défauts qui peuvent l’affecter. L’étude concerne particulièrement les défauts qui se traduisent par la violation des contraintes temporelles. Une exploitation pertinente des informations temporelles, en vue du diagnostic, constitue la contribution majeure de la thèse. En effet, une meilleure utilisation de ces informations permet de discerner avec précision les différents comportements qui expliquent les mesures. De plus, la probabilité d’occurrence des défauts est calculée en fonction des dates des mesures collectées. Deux approches sont développées : la première est dédiée aux défauts ponctuels et la seconde aux dérives lentes dans les systèmes cycliquesThis PhD thesis deals with the fault diagnosis of Discrete Event Systems (DES) for which the occurrence of events is constrained by temporal specifications. The domain of application is large and varied ranging from manufacturing systems to transportation systems, communication networks and information systems. The increasing complexity of these systems requires the development of effective and efficient monitoring methods to ensure their security, availability and the maintenance of their properties over the time. For that purpose, Partially Observed Stochastic Timed Petri Nets (POSTPN) are used to model the system and the different faults that may affect it. The study is particularly concerned with faults that result after the violation of temporal constraints. Our main contribution in this thesis is the relevant exploitation of the timed information for the fault diagnosis. In fact, a better use of these temporal informations allow to discern with precision the different behaviors that are consistent with the measurements. In addition, the probability of faults occurrence is evaluated according to the dates of collected measurements. Two approaches are developed : the first one is used for single faults and the second one for slow drifts in cyclical systems
45
Wainer, Gabriel A. "Modèles cellulaires à événements discrets avec retards explicites." Aix-Marseille 3, 1998. http://www.theses.fr/1999AIX30004.
Full textAbstract:
Sur un plan conceptuel, le travail présenté dans ce mémoire est consacré à la définition d'un formalisme pour la description et la simulation de modèles cellulaires. Les paradigmes proposés constituent des extensions du formalisme DEVS et de celui des Automates Cellulaires. Des formalismes de spécifications ont été définis pour des modèles cellulaires binaires ou à trois états avec la possibilité de leur associer des retards ayant des sémantiques anticipatoires ou préemptives. Ces concepts de retards issus du domaine des circuits digitaux et adaptés aux automates cellulaires constituent une des originalités de ce travail. Sur un plan concret, nous avons développé un environnement de modélisation et de simulation basé sur les formalismes proposés. Il faut noter qu'une construction automatique d'un modèle exécutable peut être réalisée à partir de sa spécification ce qui simplifie le problème de la vérification du modèle et autorise un développement rapide de simulateurs. Avec cet environnement, il est possible d'effectuer des simulations de modèles hiérarchisés mais également, d'utiliser une mise à plat automatique des modèles pour obtenir des temps d'exécution notablement réduitsThis work is devoted to introduce several formal descriptions used to model and simulate cell-shaped spaces. The paradigms are based on the DEVS and Cellular Automata formalisms, combined with transport delays and inertial delays. The specifications have been defined for binary or three-state cell spaces, and have been extended to other domains. The formalism allow the automatic definition for the cell spaces, easing the model verification, allowing the cost-effective development of simulators, improving also the development performance. A tool was built with the goal to implement the paradigm, allowing to verify empirically the performance of the proposed solutions. An abstract simulation mechanism was also proposed, with the goal to improve the execution times of the cell spaces based on the flattening of the hierarchical models. This approach allowed to improve the execution times up to one order of magnitude. The use of a formal mechanism allows to reduce the development times, due to the improvements obtained in the testing and maintenance phases. The use of this formal mechanism also allows automatic verification of the model structure, permitting the programmer to focus only in the development of the models to be implemented
46
Ammour, Rabah. "Contribution au diagnostic et pronostic des systèmes à évènements discrets temporisés par réseaux de Petri stochastiques." Thesis, Normandie, 2017. http://www.theses.fr/2017NORMLH21/document.
Full textAbstract:
La complexification des systèmes et la réduction du nombre de capteurs nécessitent l’élaboration de méthodes de surveillance de plus en plus efficaces. Le travail de cette thèse s’inscrit dans ce contexte et porte sur le diagnostic et le pronostic des Systèmes à Événements Discrets (SED) temporisés. Les réseaux de Petri stochastiques partiellement mesurés sont utilisés pour modéliser le système. Le modèle représente à la fois le comportement nominal et le comportement dysfonctionnel du système. Il permet aussi de représenter ses capteurs à travers une mesure partielle des transitions et des places. Notre contribution porte sur l’exploitation de l’information temporelle pour le diagnostic et le pronostic des SED. À partir d’une suite de mesures datées, les comportements du système qui expliqueraient ces mesures sont d’abord déterminés. La probabilité de ces comportements est ensuite évaluée pour fournir un diagnostic du système en termes de probabilité d’occurrence d’un défaut. Dans le cas où une faute est diagnostiquée, une approche permettant d’estimer la distribution de sa date d’occurrence est proposée. L’objectif est de donner plus de détails sur cette faute afin de mieux la caractériser. Par ailleurs, la probabilité des comportements compatibles est exploitée pour estimer l’état actuel du système. Il s’agit de déterminer les marquages compatibles avec les mesures ainsi que leurs probabilités associées. À partir de cette estimation d’état, la prise en considération des évolutions possibles du système permet d’envisager la prédiction de la faute avant son occurrence. Une estimation de la probabilité d’occurrence de la faute sur un horizon de temps futur est ainsi obtenue. Celle-ci est ensuite étendue à l’évaluation de la durée de vie résiduelle du système. Enfin, une application des différentes approches développées sur un cas d’un système de tri est proposéeDue to the increasing complexity of systems and to the limitation of sensors number, developing monitoring methods is a main issue. This PhD thesis deals with the fault diagnosis and prognosis of timed Discrete Event Systems (DES). For that purpose, partially observed stochastic Petri nets are used to model the system. The model represents both the nominal and faulty behaviors of the system and characterizes the uncertainty on the occurrence of events as random variables with exponential distributions. It also considers partial measurements of both markings and events to represent the sensors of the system. Our main contribution is to exploit the timed information, namely the dates of the measurements for the fault diagnosis and prognosis of DES. From the proposed model and collected measurements, the behaviors of the system that are consistent with those measurements are obtained. Based on the event dates, our approach consists in evaluating the probabilities of the consistent behaviors. The probability of faults occurrences is obtained as a consequence. When a fault is detected, a method to estimate its occurrence date is proposed. From the probability of the consistent trajectories, a state estimation is deduced. The future possible behaviors of the system, from the current state, are considered in order to achieve fault prediction. This prognosis result is extended to estimate the remaining useful life as a time interval. Finally, a case study representing a sorting system is proposed to show the applicability of the developed methods
47
Benzitouni, Mohamed Reda Abdel Aziz. "Étude et Implémentation d'une méthode de coordination de composants dans un Système à Évènements Discrets Répartis." Mémoire, Université de Sherbrooke, 2007. http://savoirs.usherbrooke.ca/handle/11143/1370.
Full textAbstract:
Les systèmes automatisés sont caractérisés par une forte complexité et flexibilité; les réseaux de télécommunication, les systèmes de supervision de procédés industriels ou les systèmes de transport en sont des exemples concrets dont l'activité est due aux occurrences asynchrones d'événements discrets. Certains événements discrets sont provoqués (mise en marche d'une machine, déviation d'une voie ferrée) et d'autres ne le sont pas (panne spontanée d'un équipement, accident de parcours, surcharge d'un réseau...).Les diverses séquences de ces événements décrivent le comportement de tels systèmes, qui sont ainsi appelés Systèmes à Événements Discrets (SED). Ces derniers ne peuvent donc pas bénéficier des modèles d'étude des systèmes continus, qui sont fondés essentiellement sur les équations différentielles. Des modèles ont ainsi été développés afin de modéliser, concevoir, analyser et contrôler les comportements des SED. Parmi les modèles les plus connus, nous avons: les automates à états finis (AEF), les réseaux de Pétri, et les réseaux de files d'attente. La diversité des activités ainsi que l'expansion des SED dans un environnement géographiquement étendu introduit une nouvelle classe de SED, les SED Répartis (SEDR). Des structures de dimensions internationales telles que la Défense, les banques ou les multinationales industrielles voient leurs activités s'étendre progressivement et ne peuvent ainsi plus centraliser toute l'information et tout le contrôle sur un système unique.Les SEDR se composent de modules ou de composants qui communiquent et se synchronisent entre eux, nécessitant des méthodes de coordination particulièrement délicates à concevoir, mais qui présentent des gains en temps, robustesse, performance et évolutivité lors de la mise en oeuvre des systèmes. Notre étude se fonde sur une méthode très récente de coordination applicable à un SEDR de deux (02) modules. Nous généralisons la méthode pour un SEDR constitué d'un nombre quelconque de modules. Nous implémentons ensuite la méthode de coordination et l'appliquons à des exemples concrets non triviaux.
48
Fontaine, Christophe. "Modélisation et évaluation des performances d'une classe de systèmes à évènements discrets : les systèmes transitiques autonomes." Valenciennes, 1992. https://ged.uphf.fr/nuxeo/site/esupversions/34f370b8-7b9e-496f-91cd-29f7431e3fbf.
Full textAbstract:
Les systèmes transitiques contribuent à l'optimisation et à la rationalisation des flux physiques dans les entreprises. Pour ces systèmes hautement automatisés et informatisés, le recours à une évaluation des performances est indispensable en phases de conception et d'exploitation. L'objectif de ce mémoire est d'apporter des éléments de solution pour mener à bien cette évaluation. L'étape préliminaire de modélisation est traitée par deux approches différentes. La première basée sur les réseaux de files d'attente conduit à des modèles stochastiques. La seconde évènementielle s'appuie sur un nouveau formalisme, les réseaux de files d'attente non autonomes, dérivé des réseaux de pétri interprétés. En raison des temps de mise en œuvre des méthodes analytiques et des hypothèses simplificatrices à effectuer, l'analyse des modèles stochastiques est finalement réalisée à l'aide de simulateurs à évènement discrets. Pour les modèles évènementiels, l'emploi d'un langage général de programmation constitue le meilleur outil d'analyse. Les principes d'implémentation développés en langage ADA et appliqués a un exemple concret mettent en évidence l'adéquation de ce langage au formalisme proposé.
49
Toutant, Jean-Luc. "Modèles d'objets discrets, connexes et séparants, en dimension quelconque." Phd thesis, Université Montpellier II - Sciences et Techniques du Languedoc, 2007. http://tel.archives-ouvertes.fr/tel-00206680.
Full textAbstract:
La géométrie discrète a pour but de définir un analogue de la géométrie euclidienne classique sur l'espace discret Z^d. Cet objectif n'est pas uniquement théorique puisque les images numériques sont des matrices de pixels, soit des objets discrets. Dans ce cadre, J.-P. Reveillès a défini la droite discrète arithmétique comme l'ensemble des points à coordonnées entières dans une bande d'épaisseur donnée. Cette épaisseur permet de caractériser des propriétés topologiques fondamentales de la droite comme sa connexité ou le fait qu'elle sépare le plan en deux composantes connexes distinctes. Ces résultats s'étendent en dimension supérieure et l'épaisseur est alors suffisante pour caractériser les hyperplans discrets arithmétiques séparants. Au contraire, leur connexité reste mal maîtrisée. Nous proposons donc une solution arithmétique à ce problème.Sur le modèle des droites et des hyperplans discrets, il serait aussi bienvenu de disposer de caractérisations analytiques pour des objets plus complexes, à savoir, les hypersurfaces. Jusqu'ici, seule l'utilisation d'une épaisseur constante a été étudiée. Elle permet notamment de définir des hypersphères discrètes pavant l'espace. Les notions d'ensembles connexes ou d'ensembles séparants minimaux restent néanmoins hors d'atteinte. Pour répondre à ce problème, nous proposons différents modèles de discrétisation pour les hypersurfaces permettant d'approcher la minimalité. Ils conduisent à des expressions analytiques utilisant une épaisseur non constante. En particulier, leur application aux hypersphères permet de retrouver les définitions de cercles algorithmiques déjà existantes, comme celle de J. Bresenham, et de définir une classe d'hypersphères discrètes séparantes et minimales.
50
Filippi, Jean Baptiste. "Une architecture logicielle pour la multi-modélisation et la simulation à évènements discrets de systèmes naturels complexes." Phd thesis, Université Pascal Paoli, 2003. http://tel.archives-ouvertes.fr/tel-00593593.
Full textAbstract:
La modélisation informatique est un outil essentiel à l'étude de systèmes naturels complexes. Les modèles sont souvent construits par des spécialistes et la diversité des techniques de conception utilisées, les rendent dif cilement compatibles. Or, pour pouvoir étudier un système dans sa globalité, il est nécessaire d'agréger ces modèles en un multi-modèles. Il existe donc un besoin agrant d'approche logicielle, en matière de conception de multi-modèles, ainsi qu'un besoin connexe de techniques adaptées à l'étude de systèmes naturels. Notre travail apporte une contribution à la dé nition d'une telle approche. Nous nous appuyons sur l'analyse orientée objet pour déterminer les composés nécessaires d'une architecture logicielle, ou cadriciel, pouvant atteindre ce but. D'un point de vue formel nous utilisons le formalisme DEVS (Discrete EVent System speci cation) comme base uni catrice assurant la compatibilité des modèles. L'originalité de l'approche consiste à séparer toute technique de modélisation spéci que des composés de base. Chaque modèle créé partage ainsi un ensemble minimal de propriétés quelle que soit la technique utilisée. Trois techniques spéci ques d'étude de systèmes naturels ont été intégrées. La première, Feedback-DEVS s'intéresse aux modèles auto-apprenants ; la seconde, par automates cellulaires permet d'étudier la dynamique de systèmes spatialisés ; la troisième, Vector-DEVS, est une méthode originale d'étude de phénomènes à propagation d'interface sur cartes vectorielles. Pour chaque technique nous avons détaillé la spéci cation formelle et l'analyse objet. L'approche a été ensuite mise en pratique par l'implémentation du cadriciel, JDEVS et validée par trois expérimentations