Access content directly

Emil Dumitrescu

33
Documents

Publications

Synthesizing safe control-command systems out of reusable components

Salam Hajjar , Emil Dumitrescu , Laurent Pietrac , Eric Niel
Control Engineering Practice, 2015, 44, pp.243-259. ⟨10.1016/j.conengprac.2015.05.006⟩
Journal articles hal-01202471v1
Image document

Conception sûre de systèmes de contrôle-commande matériels à base de COTS

Salam Hajjar , Emil Dumitrescu , Eric Niel
Journal Européen des Systèmes Automatisés (JESA), 2013, 47 (1-3), pp.93 - 107. ⟨10.3166/jesa.47.93-107⟩
Journal articles hal-01080214v1
Image document

Safe design method of embedded control systems. Case study

Salam Hajjar , Emil Dumitrescu , Eric Niel
Journal Européen des Systèmes Automatisés (JESA), 2013, 47, pp.403 - 421. ⟨10.3166/jesa.47.403-421⟩
Journal articles hal-01080095v1

Nodes self-scheduling approach for maximising wireless sensor network lifetime based on remaining energy

Sajeh Zaïri , Belhassen Zouari , Eric Niel , Emil Dumitrescu
IET Wireless Sensor Systems, 2012, 2 (1), pp.52-62. ⟨10.1049/iet-wss.2011.0074⟩
Journal articles hal-00685672v1

Le modèle International de l'INSA de Lyon : au-delà de l’échange académique

Jérôme Dupuy , Thalia Darnanville , Fabrice Valois , Nina Arnesen , Marie-Pierre Favre
Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2011, 10, pp.1009. ⟨10.1051/j3ea/2011009⟩
Journal articles hal-01986032v1

Synthèse de Contrôleurs Discrets : mise en œuvre matérielle de superviseurs

Mingming Ren , Emil Dumitrescu , Eric Niel
Journal Européen des Systèmes Automatisés (JESA), 2009, 43 (7-9), pp.821-835
Journal articles hal-00476119v1

Cyber Threat Assessment in Monitoring Turnout Railway Systems

Sara Abdellaoui , Emil Dumitrescu , Cédric Escudero , Eric Zamaï
2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE, Sep 2023, Sinaia, Romania. pp.1-8, ⟨10.1109/ETFA54631.2023.10275401⟩
Conference papers hal-04308622v1
Image document

Cybersécurité des Systèmes de Surveillance des Appareils de Voie Ferroviaires

Sara Abdellaoui , Dinh Duy Kha Nguyen , Emil Dumitrescu , Cédric Escudero , Eric Zamai
14ème colloque sur la Modélisation des Systèmes Réactifs, Nov 2023, Toulouse, France
Conference papers hal-04320941v1
Image document

Contrôle par Supervision des Réseaux HVDC Reconfigurables

Lucas Molina-Barros , Miguel Romero-Rodriguez , Emil Dumitrescu , Laurent Piétrac
SYMPOSIUM DE GENIE ELECTRIQUE (SGE 2020), Jul 2021, Nantes, France
Conference papers hal-03059144v1

From Events to Complex Behaviors: A Formal Contribution to the Requirement Expression in Supervisory Control Theory

Laurent Piétrac , Emil Dumitrescu
7th International Conference on Control, Decision and Information Technologies, Jun 2020, Prague, Czech Republic
Conference papers hal-02958104v1

Multi Criteria Automatic Generation of Optimal Routing for WSN

Anis Mezni , Emil Dumitrescu , Eric Niel , Samir Ben Ahmed
IWCMC, Jun 2018, Limassol, Cyprus. pp.747-752, ⟨10.1109/IWCMC.2018.8450311⟩
Conference papers hal-02078236v1
Image document

Multi-resource sharing scheduling considering uncontrollable environment

Mahya Rahimi , Emil Dumitrescu , Eric Niel
ETFA 2018, Sep 2018, Torino, Italy. ⟨10.1109/ETFA.2018.8502611⟩
Conference papers hal-01918140v1

A Design Method for WSN's Automatic Scheduling Generation

Anis Mezni , Emil Dumitrescu , Eric Niel , Samir Ben Ahmed
MobiCom, Nov 2016, Malte, Malta. pp.19-26, ⟨10.1145/2989250.2991469⟩
Conference papers hal-01598242v1

Automatic Generation of Wireless Sensor Networks Scheduling

Anis Mezni , Emil Dumitrescu , Eric Niel , Samir Ben Ahmed
HPCS, Jul 2016, Genoa, Italy
Conference papers hal-01598255v1

Reliability and Safety Monitoring for more Electrical Transportation

Bruno Allard , Guy Clerc , Emil Dumitrescu , Ronan German , Aurélien Lièvre
APE Automotive Power Electronics, Apr 2015, Paris, France
Conference papers hal-01922178v1

Scheduling by Timed Automata under Resource Conflicts

Mahya Rahimi , Eric Niel , Emil Dumitrescu
MSR 2015, Nov 2015, Nancy, France
Conference papers hal-01224494v1
Image document

Contribution formelle à l'expression des spécifications pour la conception de contrôleurs discrets

Laurent Piétrac , Emil Dumitrescu , Eric Niel
MSR 2015, Nov 2015, Nancy, France
Conference papers hal-01224454v2
Image document

A Design Method for Synthesizing Control-Command Systems out of Reusable Components

Salam Hajjar , Emil Dumitrescu , Laurent Pietrac , Eric Niel
IFAC IWDES, May 2014, Cachan, France. ⟨10.3182/20140514-3-FR-4046.00111⟩
Conference papers hal-01080076v1
Image document

Safe Design Method of Embedded Control Systems based on COTS

Salam Hajjar , Emil Dumitrescu , Eric Niel
2ème Conférence en IngénieriE du Logiciel, Apr 2013, NANCY, France. pp.35-45
Conference papers hal-01080089v1

Incremental discrete controller synthesis for communicating systems based on modular decomposition

Mingming Ren , Emil Dumitrescu , Laurent Piétrac , Eric Niel
WODES'11, Oct 2012, Guadalajara, Mexico. pp.315-322, ⟨10.3182/20121003-3-MX-4033.00051⟩
Conference papers hal-00908532v1
Image document

A Component-based Safe Design method for train control systems

Salam Hajjar , Emil Dumitrescu , Eric Niel
Embedded Real Time Software and Systems, Feb 2012, Toulouse, France
Conference papers hal-01091237v1
Image document

Multicriteria optimal reconfiguration of fault-tolerant real-time tasks

Emil Dumitrescu , Alain Girault , Hervé Marchand , Eric Rutten
WODES'10, Aug 2010, Berlin, Germany. pp.366-373, ⟨10.3182/20100830-3-DE-4013.00059⟩
Conference papers inria-00510019v1

Sensor Self-Scheduling Algorithm Based on One-Hop Neighbouring Knowledge and Considering the Sensors Remaining Energy

Sajeh Zaïri , Eric Niel , Belhassen Zouari , Emil Dumitrescu
ECC, Aug 2009, Budapest, Hungary. pp.WeC7.4, ⟨10.23919/ECC.2009.7075172⟩
Conference papers hal-00419678v1

Synthèse de Contrôleurs Discrets : mise en œuvre matérielle de superviseurs

Mingming Ren , Emil Dumitrescu , Eric Niel
MSR'09, Nov 2009, Nantes, France
Conference papers hal-00476113v1

Implémentation de superviseurs générés par synthèse de contrôleurs discrets

Mingming Ren , Emil Dumitrescu , Laurent Piétrac , Eric Niel
CIFA, Sep 2008, Bucarest, Roumanie. papier 365
Conference papers hal-00375942v1

A supervisor implementation approach in Discrete Controller Synthesis

Emil Dumitrescu , Mingming Ren , Laurent Piétrac , Eric Niel
ETFA 2008, Sep 2008, Hambourg, Germany. pp.1433 - 1440, ⟨10.1109/ETFA.2008.4638585⟩
Conference papers hal-00375951v1

Discrete controller synthesis for dependable trajectory generation

Guillaume Ducard , Emil Dumitrescu
ESREL, Jun 2007, Stavanger, Norway
Conference papers hal-00375538v1
Image document

Synthèse optimale de contrôleurs discrets et systèmes répartis tolérants aux fautes

Emil Dumitrescu , Alain Girault , Hervé Marchand , Eric Rutten
6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2007, Lyon, France. pp.71-86
Conference papers inria-00424279v1

Automatic error correction based on discrete controller synthesis

Mingming Ren , Emil Dumitrescu
4th IFAC Conference on Management and Control of Production and Logistics, Sep 2007, Sibiu, Romania
Conference papers hal-00375504v1

Optimal discrete controller synthesis for modeling fault-tolerant distributed systems

Emil Dumitrescu , Eric Rutten , Alain Girault , Hervé Marchand
1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS), Jun 2007, Cachan, France. ⟨10.3182/20070613-3-FR-4909.00031⟩
Conference papers hal-00375564v1