Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

56 résultats
Page :
triés par
Image document

Projet « Réacteur Numérique » : vers un Jumeau Numérique de Réacteur Nucléaire

 Benoit Levesque , David Gouyon
S-mart2021 : 17ème colloque national S-mart, Mar 2021, "S-mart Village" virtuel, France
Communication dans un congrès hal-03225080v1
Image document

Review of the AFIS 2018 Academy-Industry meetings in Nancy -The celebration of the 20th anniversary of AFIS!

 Eric Levrat , Eric Bonjour , David Gouyon , Pascale Marangé , Frédérique Mayer , et al.
INSIGHT - International Council on Systems Engineering (INCOSE), 2019, Systems engineering research at French Universities, 22 (4), pp.9-10. ⟨10.1002/inst.12265⟩
Article dans une revue hal-02423280v1
Image document

Generation of safe plant operation sequences using reachability analysis

 Thomas Cochard , David Gouyon , Jean-François Pétin
20th Conference Emerging Technologies & Factory Automation, ETFA 2015, Sep 2015, Luxembourg, Luxembourg
Communication dans un congrès hal-01198590v1

Organisation des activités professionnelles et outil de positionnement individuel ou collectif. D1 : Définition du modèle de données EVALU

 David Gouyon , Hervé Panetto
2006
Autre publication scientifique hal-00104546v1

Démonstration d’un service d’aide à la préparation des plannings de conduite

 David Gouyon , Thomas Cochard , Jean-François Pétin , Alexandre Voisin , Mohammed-Farouk Bouaziz , et al.
[Rapport de recherche] L3.1.4c, Cnrs. 2016
Rapport hal-01338531v1
Image document

Vers un changement de pratique dans une filière céréalière : apport de la modélisation de l'environnement

 Valérie Saint-Dizier de Almeida , Antonietta Specogna , David Gouyon , Eric Levrat , Florence Dumarçay , et al.
Psychologie Française, 2019, 64 (2), pp.141-158. ⟨10.1016/j.psfr.2019.02.004⟩
Article dans une revue hal-02950132v1
Image document

Improving human-system digital interaction for industrial system control: some systems engineering issues

 Dragos Dobre , Gérard Morel , David Gouyon
10th IFAC Workshop on Intelligent Manufacturing Systems, IMS'10, Jul 2010, Lisbone, Portugal. pp.CDROM
Communication dans un congrès hal-00519602v1

Application de techniques de synthèse en ingénierie d'automatisation

 David Gouyon , Alexia Gouin , Jean-François Pétin
e-STA Sciences et Technologies de l’Automatique, 2003, 0, pp.1-6
Article dans une revue hal-00156360v1
Image document

A Review of Know-How Reuse with Patterns in Model-Based Systems Engineering

 Quentin Wu , David Gouyon , Eric Levrat , Sophie Boudau
Ninth International Conference on Complex Systems Design & Management, Dec 2018, Paris, France. pp.219-229
Communication dans un congrès hal-01932564v1
Image document

Architecture assessment for safety critical plant operation using reachability analysis of timed automata

 David Gouyon , Jean-François Pétin , Thomas Cochard , Catherine Devic
Reliability Engineering and System Safety, 2020, 199, pp.106923. ⟨10.1016/j.ress.2020.106923⟩
Article dans une revue hal-02514845v1
Image document

RobAFIS student competition: from systems engineering to the engineering of one system

 Jean-Claude Tucoulou , David Gouyon
INSIGHT - International Council on Systems Engineering (INCOSE), 2013, 16 (4), pp.7-10
Article dans une revue hal-00918381v1
Image document

Towards a maturity assessment scale for the Systems Engineering assets valorization to facilitate Model-Based Systems Engineering adoption

 Quentin Wu , David Gouyon , Sophie Boudau , Eric Levrat
INSIGHT - International Council on Systems Engineering (INCOSE), 2019, 22 (4), pp.37-39. ⟨10.1002/inst.12274⟩
Article dans une revue hal-02438800v1
Image document

Use of patterns for know-how reuse in a model-based systems engineering framework

 Quentin Wu , David Gouyon , Eric Levrat , Sophie Boudau
IEEE Systems Journal, 2020, 14 (4), pp.4765-4776. ⟨10.1109/JSYST.2020.2975116⟩
Article dans une revue hal-02619398v1
Image document

A student challenge in systems engineering: RobAFIS 2010

 Jean-Claude Tucoulou , David Gouyon , Eric Bonjour
INSIGHT - International Council on Systems Engineering (INCOSE), 2011, 14 (4), pp.9-11. ⟨10.1002/inst.20111449⟩
Article dans une revue hal-00653908v1

Safe operation sequences: A generation approach based on iterative refinements and abstractions of timed automata

 Thomas Cochard , David Gouyon , Jean-François Pétin
20th IFAC World Congress, IFAC 2017, Jul 2017, Toulouse, France
Communication dans un congrès hal-01568324v1
Image document

Revisiting the interoperation relationships between Systems Engineering collaborative processes

 Fabien Bouffaron , David Gouyon , Dragos Dobre , Gérard Morel
14th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2012, May 2012, Bucharest, Romania. ⟨10.3182/20120523-3-RO-2023.00190⟩
Communication dans un congrès hal-01063034v1
Image document

Vers l'implantation d'un système contrôlé par le produit à l'aide de réseaux de capteurs sans fil

 David Gouyon , Michael David
Journal Européen des Systèmes Automatisés (JESA), 2009, 43 (4-5), pp.537-560. ⟨10.3166/jesa.43.537-560⟩
Article dans une revue hal-00390431v1
Image document

Contrôle par le produit des systèmes d'exécution de la production : apport des techniques de synthèse

 David Gouyon
Autre. Université Henri Poincaré - Nancy 1, 2004. Français. ⟨NNT : 2004NAN10194⟩
Thèse tel-01748095v1
Image document

Plate-forme pour la conduite interactive et sûre

 Fabien Clanché , David Gouyon , Dragos Dobre , Jean-François Pétin , Gérard Morel
3èmes Journées Démonstrateurs en Automatique, Nov 2010, Angers, France. pp.9
Communication dans un congrès hal-00551693v1
Image document

AFIS Doctoral Symposium: New challenges and Advances in Systems Engineering at French Universities

 David Gouyon , Hervé Panetto
INSIGHT - International Council on Systems Engineering (INCOSE), 2021, New challenges and Advances in Systems Engineering at French Universities, 24 (4), pp.7-8. ⟨10.1002/inst.12352⟩
Article dans une revue hal-03507169v1
Image document

AFIS Doctoral Symposium: New challenges and Advances in Systems Engineering at French Universities

 David Gouyon , Hervé Panetto
INSIGHT - International Council on Systems Engineering (INCOSE), 2019, Systems engineering research at French Universities, 22 (4), pp.7-8. ⟨10.1002/inst.12264⟩
Article dans une revue hal-02423275v1
Image document

A pragmatic approach for modular control synthesis and implementation

 David Gouyon , Jean-François Pétin , Alexia Gouin
International Journal of Production Research, 2004, 2 (14), pp.2839-2858
Article dans une revue hal-00120780v1
Image document

Implementing the concept of Product-Driven Control using Wireless Sensor Networks: some experiments and issues

 David Gouyon , Michael David
17th IFAC World Congress, Jul 2008, Séoul, South Korea. pp.5488-5493, ⟨10.3182/20080706-5-KR-1001.3154⟩
Communication dans un congrès hal-00321465v1

Conduire à l'objectif

 David Gouyon , Thomas Cochard , Jean-François Pétin , Alexandre Voisin , Pascale Marangé , et al.
L'avenir se construit aujourd'hui, 2016
Chapitre d'ouvrage hal-01366363v1
Image document

A product-driven reconfigurable control for shop floor systems

 David Gouyon , Jean-François Pétin , Gérard Morel
Studies in Informatics and Control, 2007, 16 (1), pp.??-??
Article dans une revue hal-00134745v1
Image document

Génération, vérification formelle et simulation de séquences de conduite pour un système complexe critique

 Thomas Cochard , David Gouyon , Jean-François Pétin
Forum Fédération Charles Hermite - Entreprises, Jan 2015, Nancy, France. 2015
Poster de conférence hal-01270261v1

Livrable L2.2 - Méthode de spécification d’une architec-ture de commande à base de COTS

 David Gouyon , Dragos Dobre , Florent Peres , Jean-François Pétin , Mohamed Ghazel
[Rapport de recherche] CRAN. 2012
Rapport hal-01215741v1
Image document

System control of situations perceived by their simplexity: case-study and open-issues

 Frédérique Mayer , Jean-Marc Dupont , David Gouyon , Eric Levrat , Jean-Pierre Hennebicq , et al.
2020
Pré-publication, Document de travail hal-02487442v1

Product-driven automation issues for B2M-control systems integration

 David Gouyon , Jean Marcelo Simão , Khaled Alkassem , Gérard Morel
11th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'2004, Apr 2004, Salvador - BA, Brazil. pp.CDROM
Communication dans un congrès hal-00083045v1
Image document

Verification of functional constraints for safe product driven control

 Pascale Marangé , David Gouyon , Jean-François Pétin , Bernard Riera
2nd IFAC Workshop on Dependable Control of Discrete System, DCDS'09, Jun 2009, Bari, Italy. pp.315-320
Communication dans un congrès hal-00401680v1
Page :