Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

10 résultats
Page :
triés par

REGINE, Étudier le droit par le genre. Ressources pédagogiques

 Diane Roman , Stéphanie Hennette-Vauchez , Romain Pichard
Dalloz, pp.454, 2016
Ouvrages halshs-03240419v1
Image document

Modular fault diagnosis in discrete-event systems with a CPN diagnoser

 Yannick Pencolé , Romain Pichard , Pierre Fernbach
9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Sep 2015, Paris, France
Communication dans un congrès hal-01196011v1
Image document

Safe PLC Controller Implementation IEC 61131-3 Compliant based on a Simple SAT Solver: Application to Manufacturing Systems

 Romain Pichard , Philippot Alexandre , Bernard Riera
International Conference on Informatics in Control, Automation and Robotics (ICINCO), 2018, Porto, Portugal. ⟨10.5220/0006885502310239⟩
Communication dans un congrès hal-01882564v1
Image document

HOME I/O et FACTORY I/O : 2 logiciels innovants de simulation de PO pour la formation à l'automatique

 Bernard Riera , Romain Pichard , Alexandre Philippot , Ramla Saddem , François Gellot , et al.
Colloque consacré à l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes (CETSIS), 2017, Le Mans, France
Communication dans un congrès hal-01882591v1
Image document

CSP solver for Safe PLC Controller: Application to manufacturing systems

 R. Pichard , N. Ben Rabah , V. Carre-Menetrier , B. Riera
IFAC Conference on Manufacturing Modelling, Management and Control (MIM), 2016, Troyes, France. pp.402-407, ⟨10.1016/j.ifacol.2016.07.638⟩
Communication dans un congrès hal-01899934v1
Image document

HOME I/O and FACTORY I/O: 2 Pieces of innovative PO simulation software for automation education

 A. Philippot , B. Riera , M. Koza , R Pichard , R Saddem , et al.
European Association for Education in Electrical and Information Engineering Annual Conference (EAEEIE), 2017, Grenoble, France. ⟨10.1109/EAEEIE.2017.8768639⟩
Communication dans un congrès hal-01882572v1

Safety of Manufacturing Systems Controllers by Logical Constraints With Safety Filter

 Romain Pichard , Philippot Alexandre , Ramla Saddem , Bernard Riera
IEEE Transactions on Control Systems Technology, 2019, 27 (4), pp.1659-1667. ⟨10.1109/TCST.2018.2827329⟩
Article dans une revue hal-01882604v1
Image document

Consistency Checking of Safety Constraints for Manufacturing Systems with Graph Analysis

 R. Pichard , A. Philippot , Bernard Riera
IFAC World Congress, 2017, Tolouse, France. pp.1193-1198, ⟨10.1016/j.ifacol.2017.08.273⟩
Communication dans un congrès hal-01780730v1
Image document

SEDMA-un outil pour la Modélisation, l'Analyse et la génération automatique de programme pour les SEDs

 Romain Pichard , Michel Combacau , Philippot Alexandre , Ramla Saddem , Bernard Riera
Colloque sur la Modélisation des Systèmes Réactifs (MSR), 2017, Marseille, France
Communication dans un congrès hal-01882579v1
Image document

Contribution à la Commande des Systèmes à Événements Discrets par Filtre Logique

 Romain Pichard
Informatique [cs]. Université de Reims Champagne-Ardenne, 2018. Français. ⟨NNT : ⟩
Thèse tel-01993790v1
Page :