- 4
Bernard RIERA
4
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
- 4
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systemsComputers in Industry, 2020, 123, pp.103328. ⟨10.1016/j.compind.2020.103328⟩
Article dans une revue
hal-02974729v1
|
Synthesis and implementation of logic controllers – A reviewAnnual Reviews in Control, 2017, 43, pp.152-168. ⟨10.1016/j.arcontrol.2017.03.004⟩
Article dans une revue
hal-02003224v1
|
Automatic Generation and Formal Verification of Safe PLC Programs for Railway Control Systems, Invited Plenary TalkInternational Conference on Control, Automation and Systems (ICCAS), 2018, PyeongChang, South Korea
Communication dans un congrès
hal-02950934v1
|
|
Practical and Dependable Control Synthesis for Programmable Logic Controllers, Invited Plenary TalkChinese Control Conference (CCC), 2016, Chengdu, China
Communication dans un congrès
hal-02950914v1
|