WorldCat Identities

Demongodin, Isabel

Works: 15 works in 19 publications in 2 languages and 40 library holdings
Roles: dgs, Thesis advisor, Opponent, Other, Contributor, Author
Publication Timeline
Most widely held works by Isabel Demongodin
Modeling and control of complex systems in a dioid framework by Thomas Brunsch( )

1 edition published in 2014 in English and held by 17 WorldCat member libraries worldwide

Pilotage par approche holonique d'un système de production de vitres de sécurité feuilletées by Pascal Blanc( )

2 editions published in 2006 in French and held by 3 WorldCat member libraries worldwide

In an everyday more competitive environment, firms constantly need to adapt and optimise their industrial tools, to increase their competitiveness. In particular, the control of manufacturing systems is evaluated in terms of cost and time parameters, which contribute to assess the return, and so the competitiveness of a firm. The increasing needs for flexibility, agility and efficiency result in a growing complexity of manufacturing systems and a necessity of integration of their control. These requirements are illustrated by an industrial case which is proposed as an example for manufacturing system control design. Within this manufacturing control system, problems are identified as scheduling and/or optimisation problems, for which dynamic data are numerous and miscellaneous and are constantly updated. In this dissertation, we illustrate the use of a holonic structure to perform the control of such an industrial manufacturing system. Such a structure makes possible to consider a reality left out by many other approaches: the hierarchical and heterarchical nature of decision-making within manufacturing systems, as well as the physical reality of these systems. Thus, the use of a holonic structure allows for building a reactive and configurable control, while considering global aspects of the manufacturing system. The use of the PROSA architecture is based on a typology of the manufacturing system elements: products, resources, orders and specialised decision-making centres (hierarchical and/or functional). It allows us to identify and define the roles and behaviours of the manufacturing control elements. For this architecture, we propose the use of mechanisms to synchronize the execution of manufacturing orders. These mechanisms guarantee the availability of components and enable to impose limit time constraints on task scheduling. On the other hand, we propose a typology of Resource holons, based on characteristics of the tasks that they perform: supply, conversion, assembly or disassembly. For each type of Resource holon, specific heuristics are used to solve the tasks scheduling problem, taking into account the own model of each one. For instance, a specific heuristic generates a solution to the scheduling/packing problem in the case of a raw material cutting machine. These mechanisms and algorithms are implemented within a multi-agents system, which supports the development of the manufacturing control system. To evaluate this manufacturing control, the use of discrete-event simulation is proposed as an emulator of the physical system. This proposition makes possible to solve problems of redundancy during the development of manufacturing control, permits to reuse objects of the simulation model, and allows some savings in the development effort, since the manufacturing execution system evaluated is the same as the one used in the real context. Finally, this manufacturing execution system (MES) is integrated to the management system of the firm, as it interfaces the enterprise resource planning (ERP), and the physical system
Commande des graphes d'événements temporisés sous contraintes temporelles by Saïd Amari( Book )

2 editions published in 2005 in French and held by 2 WorldCat member libraries worldwide

Nous considérons une classe de graphes d'événements temporisés contrôlés soumis à des contraintes temporelles strictes. Ces graphes sont déterministes, au sens où leur évolution ne dépend que du marquage initial et des commandes qui leur sont appliquées. Un tel graphe est modélisé par un système d'équations aux différences qui est linéaire dans l'algèbre Min-Plus, ou Max-Plus. Les contraintes temporelles à valider se traduisent, quant à elles par des inéquations qui sont également linéaires dans l'algèbre Min-Plus, ou Max-Plus. Nous proposons une méthode pour la synthèse de commandes garantissant le respect des contraintes temporelles. La commande est un retour d'état causal retardé , qu'on peut effectivement calculer dès lors que deux conditions suffisantes sont vérifiées. Les méthodes proposées sont illustrées sur l'exemple d'un atelier de production
Estimation et diagnostic de réseaux de Petri partiellement observables by Amira Dardour( )

1 edition published in 2018 in French and held by 2 WorldCat member libraries worldwide

With the evolution of technology, humans have made available systems increasingly complex but also increasingly sensitive to faults that may affect it. A diagnostic procedure which contributes to the smooth running of the process is thus necessary. In this context, the aim of this thesis is the diagnosis of discrete event systems modeled by partially observed Labeled Petri Nets (LPNs). Under the assumption that each defect is modeled by the firing of an unobservable transition, two diagnostic approaches based on state estimation are developed. A first approach is to estimate the set of basis markings on a sliding elementary horizon. This approach is carried out in two steps. The first step is to determine a set of candidate vectors from an algebraic approach. The second step is to eliminate the calculated candidate solutions that are not associated with a possible trajectory of the LPN. As the set of basis markings can also be huge, a second diagnostic approach will avoid this pitfall by not estimating the markings. A relaxation technique of Integer Linear Programming (ILP) problems on a receding horizon is used to have a diagnosis in polynomial time
Détection d'intrusions pour les systèmes de contrôle industriels by Oualid Koucham( )

1 edition published in 2018 in English and held by 2 WorldCat member libraries worldwide

The objective of this thesis is to develop intrusion detection and alert correlation techniques geared towards industrial control systems (ICS). Our interest is driven by the recent surge in cybersecurity incidents targeting ICS, and the necessity to detect targeted attacks which induce incorrect behavior at the level of the physical process.In the first part of this work, we develop an approach to automatically infer specifications over the sequential behavior of ICS. In particular, we rely on specification language formalisms such as linear temporal logic (LTL) and metric temporal logic (MTL) to express temporal properties over the state of the actuators and sensors. We develop an algorithm to automatically infer specifications from a set of specification patterns covering the most recurring properties. In particular, our approach aims at reducing the number of redundant and unfalsifiable properties generated by the existing approaches. To do so, we add a pre-selection stage which allows to restrict the search for valid properties over non redundant portions of the execution traces. We evaluate our approach on a complex physical process steered by several controllers under process oriented attacks. Our results show that a significant reduction in the number of inferred properties is possible while achieving high detection rates.In the second part of this work, we attempt to combine the physical domain intrusion detection approach developed in the first part with more classical cyber domain intrusion detection approaches. In particular, we develop an alert correlation approach which takes into account some specificities of ICS. First, we explore an alert enrichment approach that allows to map physical domain alerts into the cyber domain. This is motivated by the observation that alertscoming from different domains are characterized by heterogeneous attributes which makes any direct comparison of the alerts difficult. Instead, we enrich the physical domain alerts with cyber domain attributes given knowledge about the protocols supported by the controllers and the memory mapping of process variables within the controllers.In this work, we also explore ICS-specific alert selection policies. An alert selection policy defines which alerts will be selected for comparison by the correlator. Classical approaches often rely on sliding, fixed size, temporal windows as a basis for their selection policy. Instead, we argue that given the complex interdependencies between physical subprocesses, agreeing on analert window size is challenging. Instead, we adopt selection policies that adapt to the state of the physical process by dynamically adjusting the size of the alert windows given the state of the subprocesses within the physical process. Our evaluation results show that our correlator achieves better correlation metrics in comparison with classical temporal based approaches
Synchronizing sequences on a class of unbounded systems using synchronized Petri nets by Marco Pocci( )

1 edition published in 2016 in English and held by 2 WorldCat member libraries worldwide

Contribution au diagnostic et pronostic des systèmes à évènements discrets temporisés par réseaux de Petri stochastiques by Rabah Ammour( )

2 editions published in 2017 in French and held by 2 WorldCat member libraries worldwide

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ée
Correction to "Synchronizing sequences on a class of unbounded systems using synchronized Petri nets" by Changshun Wu( )

1 edition published in 2019 in English and held by 2 WorldCat member libraries worldwide

Test and diagnosis of discrete event systems using Petri nets by Marco Pocci( Book )

2 editions published in 2013 in English and held by 2 WorldCat member libraries worldwide

Le test d'identification d'état d'un système à événement discret (SED) a pour but d'en identifier l'état final, lorsque son état initial est inconnu. Une solution classique à ce problème, en supposant que le SED n'ait pas de sorties observables, consiste à déterminer une séquences de synchronisation, c.à-d., une séquence d'événements d'entrée qui conduit le SED sur un état connu. Ce problème a été résolu dans les années 60' à l'aide des automates. L'objectif principal de cette thèse est d'utiliser les réseaux de Petri (RdP) pour obtenir une résolution plus optimal de ce problème et pour une plus large classe de systèmes.Initialement, nous montrons que la méthode classique peut être aisément étendue aux RdP synchronisés. Pour cette classe de réseaux non-autonomes, toute transition est associée à un événement d'entrée.L'approche proposée est générale, dans la mesure où elle s'applique à des RdP bornés arbitraires. Cependant, elle engendre le problème d'explosion combinatoire du nombre d'états. Pour obtenir des meilleures solutions, nous considérons une classe spéciale de RdP : les graphes d'état (GdE). Pour ces réseaux, nous considérons d'abord les GdE fortement connexes et proposons des approches pour la construction de SS, qui exploitent les propriétés structurelles du réseau en évitant ainsi une énumération exhaustive de l'espace d'état. Ces résultats s'étendent aux GdE non fortement connexes et à tout RdP synchronisé composé de GdE. Enfin, nous considérons la classe des RdP non bornés et proposons des séquences qui synchronisent le marquage des places non bornées. Une boîte à outils fournit toutes les approches décrites et est appliquée à des différents bancs d'essai
Gestion des stocks dans un réseau de distribution approvisionnement et échanges by Lamia Sari( )

1 edition published in 2015 in French and held by 1 WorldCat member library worldwide

Un problème auquel sont confrontés de nombreux réseaux de distribution, en particulier dans la vente de détail, est celui du choix entre une installation locale de stockage de produits ou une installation commune pour tous les centres du réseau. Le stockage commun permet des économies d'échelle. En revanche, il peut occasionner des coûts de transport importants. Quant au stockage local, il est coûteux du point de vue de l'investissement mais bon marché en utilisation. Pour profiter des avantages des deux techniques tout en limitant leurs inconvénients, on envisage l'installation de stocks locaux pouvant aussi être utilisés par les autres entreprises. Dans ce cas, le problème qui se pose alors est double. Il s'agit d'une part pour chaque entreprise, de déterminer sa propre quantité à commander, en fonction de la demande estimée à chaque point de vente. Il s'agit d'autre part d'organiser les échanges de produits entre les entreprises en fonction des demandes locales réelles. Les travaux de recherche présentés dans ce mémoire de thèse proposent des mécanismes de coordination qui agissent d'une façon collective et non plus d'une façon individuelle, pour améliorer à la fois le rendement au niveau de chaque centre de distribution et la satisfaction des clients.. Notre principal défi dans cette thèse est de proposer une approche analytique innovante issue de la théorie des jeux pour traiter des problèmes de gestion de stock visant à réduire globalement les stocks dans les réseaux de distribution toute en garantissant un bon niveau de service
Réseaux de Petri Lots Triangulaires pour la modélisation mésoscopique et l'étude de la congestion dans le trafic routier by Radhia Mnassri( )

1 edition published in 2015 in French and held by 1 WorldCat member library worldwide

The excessive use of roads can cause many adverse effects including pollution, insecurity and congestion. The available short-term solution is the implementation of traffic management systems which optimize the flow and reduce congestion without needing additional infrastructures. In this context, we proposed a new formalism, called Triangular Batches Petri Nets (Triangular BPN), which combines modeling and simulation of traffic in mesoscopic level as a discrete event system. The Triangular BPN describing the overall characteristics of the road traffic such as flow, density, speed by representing a new triangular relation flow-density. This relation implies the modification of batches dynamic, which is now used to represent the two road traffic states : fluid and congested, as well as the three behaviors :free, congestion and decongestion. The calculation of the instantaneous firing flows is achieved by adding a constraint that takes into account the state and behavior of batches. A set of controlled events integrated to the Triangular BPN, that allow the variation of the maximum speed of batch place and the maximum flow of batch and continuous transition. These controlled events used to model the control strategies, such as variable speed limit (VSL). All these theoretical contributions implemented in a software that is called SimuleauTri and used to study a motorway portions from real data. The simulation results are close to the measurements on the ground and show the pertinence of Triangular BPN
Ordonnancement cyclique robuste appliqué à la gestion des conteneurs dans les ports maritimes de taille moyenne by Hongchang Zhang( )

1 edition published in 2014 in English and held by 1 WorldCat member library worldwide

This PhD thesis is dedicated to propose a robust cyclic scheduling methodology applied to container management of medium sized seaport which faces ever changing terminal conditions and the limited predictability of future events and their timing. The robust cyclic scheduling can be seen not just a predictable scheduling to compute a container transportation schedule, but also a reactive scheduling to eliminate the disturbances in real time. In this work, the automated intelligent vehicles (AIV) are used to transport the containers, and the P-time strongly connected event graph (PTSCEG) is used as a graphical tool to model the container transit procedures. Before the arrival of the container vessel, a cyclic container transit schedule can be given by the mixed integer programming (MIP) method in short time. The robustness margins on the nodes of the system can be computed by robustness algorithms in polynomial computing time. After the stevedoring begins, this robust cyclic schedule is used. When a disturbance is observed in system, it should be compared with the known robustness margin. If the disturbance belongs to the robustness margin, the robustness algorithm is used to eliminate the disturbance in a few cycle times. If not, the MIP method is used to compute a new cyclic schedule in short time
Utilisation du formalisme DEVS pour la validation de comportements des systèmes à partir des scénarios UML by Mamoun Sqali Houssaini( )

1 edition published in 2012 in French and held by 1 WorldCat member library worldwide

Un développement d'un système débute par la constitution, dans la phase de spécification des besoins, d'un cahier des charges dans lequel un ensemble de scénarios d'utilisation du système est défini avec les contraintes auxquelles il doit obéir, dans lequel chaque scénario est un simple exemple d'exécution du système à concevoir. Une fois que tous les scénarios sont précisés, on obtient une description complète des interactions entre les composants. Toutefois, cette spécification n'est pas directement implémentable, car il est difficile, surtout pour les systèmes les plus complexes, d'apercevoir le comportement d'un système dans sa globalité directement à partir des scénarios. C'est pour cela que ces derniers sont souvent intégrés à d'autres modèles, utilisés dans la conception détaillée, qu'on appelle "les modèles de comportement", en particulier les machines à états [Harel 87] qui permettent de passer de la vue partielle à la vue globale du système afin de répondre à différents problèmes comme la validation du comportement ou la détection des inconsistances au sein du système. Notre thèse a pour but, d'une part, de recenser et étudier différents langages de scénarios, particulièrement les diagrammes de séquences UML et les diagrammes MSC's, et d'autre part de proposer une méthode se synthèse automatique permettant de générer des modèles exécutables à évènements discrets DEVS [Zeigler 76] à partir d'une base de scénarios décrivant le comportement fonctionnel du système. Les modèles obtenus sont déterministes et avec une sémantique formelle qui garantit une interprétation unique de chaque élément des modèles
Differential petri nets : representing continuous systems in a discrete-event world by Isabel Demongodin( )

1 edition published in 1998 in English and held by 1 WorldCat member library worldwide

Analyse d'atteignabilité de systèmes max-plus incertains by Renato markele Ferreira candido( )

1 edition published in 2017 in English and held by 1 WorldCat member library worldwide

Os Sistemas a Eventos Discretos (SEDs) constituem uma classe de sistemas caracterizada por apresentar espaço de estados discreto e dinâmica dirigida única e exclusivamente pela ocorrência de eventos. SEDs sujeitos aos problemas de sincronização e de temporização podem ser descritos em termos de equações lineares usando a álgebra max-plus. A análise de alcançabilidade visa o cálculo do conjunto de todos os estados que podem ser alcançados a partir de um conjunto de estados iniciais através do modelo do sistema. A análise de alcançabilidade de sistemas Max Plus Lineares (MPL) pode ser tratada por meio da decomposição do sistema MPL em sistemas PWA (Piece-Wise Affine) e de sua correspondente representação por DBM (Difference-Bound Matrices). A principal contribuição desta tese é a proposta de uma metodologia similar para resolver o problema de análise de alcançabilidade em sistemas MPL sujeitos a ruídos limitados, chamados de sistemas MPL incertos ou sistemas uMPL (uncertain Max Plus Linear Systems). Primeiramente, apresentamos uma metodologia para particionar o espaço de estados de um sistema uMPL em componentes que podem ser completamente representados por DBM. Em seguida, estendemos a análise de alcançabilidade de sistemas MPL para sistemas uMPL. Além disso, a metodologia desenvolvida é usada para resolver o problema de análise de alcançabilidade condicional, o qual esta estritamente relacionado ao cálculo do suporte da função de probabilidade de densidade envolvida o problema de filtragem estocástica
moreShow More Titles
fewerShow Fewer Titles
Audience Level
Audience Level
  Kids General Special  
Audience level: 0.93 (from 0.90 for Estimation ... to 0.99 for Pilotage p ...)

French (10)

English (9)