Demongodin, Isabel
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
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 |
|
| Control of timed event graphs under temporal contraints. |
|
| 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. |
|
| Ordonnancement cyclique robuste appliqué à la gestion des conteneurs dans les ports maritimes de taille moyenne |
|
| 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. |
|
| Séquences de synchronisation pour les réseaux de Petri synchronisés non bornés |
|
| 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 |
|
