SYNTHESIS : une méthodologie outillée d’évaluation et d’optimisation des performances de sûreté de fonctionnementd’un système complexe

Autor: Batteux, Michel, Leblond, André, Rauzy, Antoine

Publikováno v: Congrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès)-22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques
Congrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès)-22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2020, Le Havre (e-congrès), France
Congrès Lambda Mu 22, « Les risques au coeur des transitions »
Congrès Lambda Mu 22, « Les risques au coeur des transitions », Oct 2020, Le Havre, France

International audience; SYNTHESIS permet d'évaluer, puis d'optimiser les performances de sûreté d'un système complexe. Elle passe par la décomposition en briques fonctionnelles des composants. Un algorithme dédié est utilisé pour la générat

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3433dbacda07fac5c734926ef55f1c7b
https://hal.archives-ouvertes.fr/hal-03482843

Canonic approaches for Petri nets control synthesis

Autor: Rezig, Sadok

In this work, we present different control synthesis approaches based on Petri nets and the theory of regions. This theory has some limitations in supervisory control. Indeed, the design on the PN controller, if it exists, is not an easy task due to

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______166::31ef78ca36716792da0b690d3d579750
https://theses.hal.science/tel-01446779

Processus ponctuels et algorithmes de coupure minimal de graphe appliqués à l'extraction d'objets 2D et 3D

Autor: Gamal Eldin, Ahmed

L'objectif de cette thèse est de développer une nouvelle approche de détection d'objets 3D à partir d'une image 2D, prenant en compte les occultations et les phénomènes de perspective. Cette approche est fondée sur la théorie des processus po

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00737988
http://tel.archives-ouvertes.fr/docs/00/73/79/88/PDF/thesis.pdf

Partition de complexes guidés par les données pour la reconstruction de surface

Autor: Labatut, Patrick

Cette thèse introduit une nouvelle approche pour la reconstruction de surface à partir d'acquisitions de nuages de points. Cette approche construit un complexe cellulaire à partir du nuage de points puis formule la reconstruction comme un problèm

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00844020
http://tel.archives-ouvertes.fr/docs/00/84/40/20/PDF/PhD09b.pdf

Graph segmentation paradigms : comparisons and applications in image processing

Autor: Allène, Cédric

Publikováno v: Informatique et langage [cs.CL]. Université Paris-Est, 2009. Français. ⟨NNT : 2009PEST1012⟩

Graph segmentation techniques are often used in image processing since an image can be seen as a weighted graph. In this thesis, we show some links existing between several weighted graph segmentation paradigms. We first present different definitions

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______212::3a3399462b3942f9655d4d6fd99abbee
https://pastel.archives-ouvertes.fr/tel-00532601