Demongodin, Isabel
VIAF ID: 208980934 (Personal)
Permalink: http://viaf.org/viaf/208980934
Preferred Forms
-
100 1 _ ‡a Demongodin, Isabel
Works
Title | Sources |
---|---|
Analyse et optimisation d'un processus à partir d'un modèle BPMN dans une démarche globale de conception et de développement d'un processus métier : application à la dématérialisation de flux courrier du projet GOCD (PICOM) |
![]() |
Applying Formal Methods to Autonomous Vehicle Control |
![]() |
Commande des graphes d'événements temporisés sous contraintes temporelles |
![]() |
Contributions à la commande guidée par événements des réseaux de Petri lots pour atteindre un état stationnaire. |
![]() |
Contributions to event driven control of batches Petri nets for steady state reaching |
![]() |
Control of timed event graphs under temporal contraints. |
![]() |
Détection d'anomalies de sûreté et sécurité d'un contrôle centralisé de réseau |
![]() |
Détection des dérives temporelles pour le pilotage de flux de production dans l'industrie des semiconducteurs |
![]() |
Detection of safety and security anomalies of a centralized network control. |
![]() |
Detection of time shift failure to control of production flows in the semiconductor industry. |
![]() |
Estimation and diagnosis of partially observed Petri nets. |
![]() |
Gestion des stocks dans un réseau de distribution approvisionnement et échanges |
![]() |
Integrating a business process analysis and optimization step using BPMN model in a general process design and development approach : application to a paperless mail flow process. |
![]() |
Intrusion detection for industrial control systems. |
![]() |
Inventory management in a distribution network supply and exchanges. |
![]() |
Modélisation de conflits et calcul de bornes dans les systèmes de production par la théorie des dioïdes |
![]() |
Modelling of conflits and bounds estimation in production systems thanks to dioid theory. |
![]() |
Optimisation de la surveillance des sites industriels à risque par des robots mobiles |
![]() |
Optimization of the monitoring for industrial sites by means of mobile robots. |
![]() |
Ordonnancement cyclique robuste appliqué à la gestion des conteneurs dans les ports maritimes de taille moyenne |
![]() |
Ordonnancement dans les ateliers hybrides en environnement incertain |
![]() |
Pilotage par approche holonique d'un système de production de vitres de sécurité feuilletées |
![]() |
Reachability Analysis of Uncertain Max Plus Linear Systems. |
![]() |
Réseaux de Petri Lots Triangulaires pour la modélisation mésoscopique et l'étude de la congestion dans le trafic routier |
![]() |
Robust cyclic scheduling applied to container management of medium sized seaport. |
![]() |
Scheduling of hybrid workshops in uncertain environment. |
![]() |
Séquences de synchronisation pour les réseaux de Petri synchronisés non bornés |
![]() |
State estimation and verification of detectability and opacity in weighted automata |
![]() |
Study of public transportation systems and logistics networks by colored Petri nets and (max, +)- algebra : modeling, performance evaluation and optimization. |
![]() |
Sur le filtrage stochastique de systèmes max-plus linéaires. |
![]() |
Synchronizing sequences for unbounded synchronized Petri nets. |
![]() |
Test and diagnosis of discrete event systems using Petri nets |
![]() |
Test et diagnostic des systèmes à événements discrets par les réseaux de Petri. |
![]() |
Triangular Batches Petri Nets for mesoscopic modeling and study for congestion in traffic road. |
![]() |
Utilisation du formalisme DEVS pour la validation de comportements des systèmes à partir des scénarios UML |
![]() |