- 5
- 1
Bernard RIERA
6
Documents
Identifiants chercheurs
- bernard-riera
- 0000-0003-1294-874X
- Google Scholar : https://scholar.google.fr/citations?hl=fr&user=Ra8FSWUAAAAJ&view_op=list_works&sortby=pubdate
- IdRef : 114568022
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 6
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 4
Safety of Manufacturing Systems Controllers by Logical Constraints With Safety FilterIEEE Transactions on Control Systems Technology, 2019, 27 (4), pp.1659-1667. ⟨10.1109/TCST.2018.2827329⟩
Article dans une revue
hal-01882604v1
|
|
Safe PLC Controller Implementation IEC 61131-3 Compliant based on a Simple SAT Solver: Application to Manufacturing SystemsInternational Conference on Informatics in Control, Automation and Robotics (ICINCO), 2018, Porto, Portugal. ⟨10.5220/0006885502310239⟩
Communication dans un congrès
hal-01882564v1
|
|
SEDMA-un outil pour la Modélisation, l'Analyse et la génération automatique de programme pour les SEDsColloque sur la Modélisation des Systèmes Réactifs (MSR), 2017, Marseille, France
Communication dans un congrès
hal-01882579v1
|
|
Consistency Checking of Safety Constraints for Manufacturing Systems with Graph AnalysisIFAC World Congress, 2017, Tolouse, France. pp.1193-1198, ⟨10.1016/j.ifacol.2017.08.273⟩
Communication dans un congrès
hal-01780730v1
|
|
HOME I/O et FACTORY I/O : 2 logiciels innovants de simulation de PO pour la formation à l'automatiqueColloque 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
|
|
HOME I/O and FACTORY I/O: 2 Pieces of innovative PO simulation software for automation educationEuropean 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
|