Pétin, Jean-François, 19..-....
Petin, Jean-François
VIAF ID: 196222391 ( Personal )
Permalink: http://viaf.org/viaf/196222391
Preferred Forms
- 100 1 _ ‡a PETIN, JEAN-FRANCOIS.
- 100 1 _ ‡a Petin, Jean-François
- 100 1 _ ‡a Pétin, Jean-François, ‡d 19..-....
Works
Title | Sources |
---|---|
Allocation de fonctions de commande de systèmes critiques par recherche d'atteignabilité dans un réseau d'automates communicants | |
Analyse transverse de risques en radiothérapie : modélisation et évaluation des barrières et des facteurs techniques, humains et organisationnels à l'aide de Réseaux bayésiens | |
Apport des techniques de programmation par démonstration dans une démarche de génération automatique d'applicatifs de contrôle-commande | |
Approche de diagnostic des défauts d'un produit par intégration des données de traçabilité unitaire produit/process et des connaissances expertes | |
Approche méthodologique pour l'intégration des systèmes contrôlés par le produit dans un environnement de juste-à-temps : Application à l'entreprise Trane | |
Calcul d'indicateurs de sûreté de fonctionnement de modèles AltaRica 3.0 par simulation stochastique | |
Contribution à la Commande des systèmes à événements discrets par filtre logique | |
Contribution à la génération de séquences pour la conduite de systèmes complexes critiques | |
Contribution à la vérification d'exigences de sécurité : application au domaine de la machine industrielle | |
Contribution of Programming by Demonstration in an Automatic Generation Approach of Controls and User Interfaces Applications. | |
Contribution to dynamic rebalancing of assembly lines : modeling, resolutions and applications. | |
Contribution to model Based Safety Analysis for dynamic repairable reconfigurable systems. | |
Contribution to the Control of discrete event systems by logical filter. | |
Dependability assessment of an industrial control system architecture in a dynamic and uncertain context. | |
Diagnosticabilité modulaire appliquée au Diagnostic en ligne des Systèmes Embarqués Logiques | |
Évaluation de performance d'architecture de contrôle-commande en réseau dans un contexte incertain d'avant-vente | |
Évaluation quantitative de séquences d'événements en sûreté de fonctionnement à l'aide de la théorie des langages probabilistes | |
Formalisation de la cohérence et calcul des séquences de coupe minimales pour les systèmes binaires dynamiques et réparables | |
Manufacturing Execution System extending to diagnosis of production performances based on probalistic Bayesian approach. | |
Mapping of control functions of critical systems by reachability analysis in a network of communicating automata. | |
Methodological contribution to intelligent actuation and measurement: application to the ESPRIT III PRIAM n°6188 project. | |
A Methodologieal Approach for Product Driven System in lust-ln-Time context : Application to TRANE company. | |
Modélisation et reconnaissance des habitudes de vie d’un habitant dans un habitat intelligent. | |
Modélisation et Vérification Formelles de Systèmes de Contrôle de Trains | |
Modelling and Recognition of Human Activities of Daily Living in a Smart Home | |
Modellizzazione e riconoscimento delle abitudini di un abitante in una casa intelligente. | |
Modular diagnosability applied to on line Diagnosis of Digital Embedded System. | |
Online diagnosis for complex discrete event systems : mixed approach based on logical/probabilistic. | |
Ordonnancement sous perturbations : cadre d'étude et approche d'évaluation de la robustesse par automates stochastiques | |
Performance assessment of Networked Control System (NCS) during uncertain pre-sales context. | |
Product defects diagnosis approach by integrating product | |
Quality of service and control of a wireless networked discrete control system : a co-design approch applied for the IEEE 802.11 standard. | |
Quantitative assessment of events sequences in dependability studies, based on probabilistic languages theory. | |
Scheduling under perturbations : Study framework and robustness evaluation approach based on stochastic automata. | |
Transversal Risk Analysis in Radiotherapy. |