Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

12 résultats
Page :
triés par
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

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

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

Spécification 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] Centre National de la Recherche Scientifique. 2015, pp.L3.1.2b
Rapport hal-01140593v1

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

Aiding generation and verification of action sequence

 Thomas Cochard , David Gouyon , Nicolas Rapin , Jean-François Pétin
26th International Conference on Software & Systems Engineering and their Applications, ICSSEA'15, May 2015, Paris, France
Communication dans un congrès hal-01157695v1
Image document

Generation of safe operation sequences using iterative refinements and abstractions of timed automata

 Thomas Cochard , David Gouyon , Jean-François Pétin
21st International Conference on Emerging Technologies & Factory Automation, ETFA 2016, Sep 2016, Berlin, Germany
Communication dans un congrès hal-01362400v1
Image document

Génération de séquences d'actions sûres par recherche d'atteignabilité

 Thomas Cochard , David Gouyon , Jean-François Pétin
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2015, 112, pp.43-50
Article dans une revue hal-01138524v2
Image document

Injection de tensioactif pour la récupération assistée du pétrole : implication sur les lois régissant les écoulements eau-hydrocarbure-tensioactif en milieu poreux

 Thomas Cochard
Sciences de la Terre. Université Pierre et Marie Curie - Paris VI, 2017. Français. ⟨NNT : 2017PA066647⟩
Thèse tel-01591191v1
Image document

Contribution à la génération de séquences pour la conduite de systèmes complexes critiques

 Thomas Cochard
Automatique / Robotique. Université de Lorraine, 2017. Français. ⟨NNT : 2017LORR0355⟩
Thèse tel-01754706v1

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

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
Page :