Emil Dumitrescu

39
Documents

Publications

14
9
8
7
7
6
6
5
5
4
4
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
5
2
1
1
1
2
1
1
4
1
4
2
1
1
3
2
5
1
1

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⟩
Article dans une revue hal-01202471 v1
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, 2013, 47, pp.403 - 421. ⟨10.3166/jesa.47.403-421⟩
Article dans une revue istex hal-01080095 v1
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, 2013, 47 (1-3), pp.93 - 107. ⟨10.3166/jesa.47.93-107⟩
Article dans une revue istex hal-01080214 v1

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⟩
Article dans une revue hal-00685672 v1

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 et al.
Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2011, 10, pp.1009. ⟨10.1051/j3ea/2011009⟩
Article dans une revue hal-01986032 v1

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, 2009, 43 (7-9), pp.821-835
Article dans une revue hal-00476119 v1

Actuator and Sensor Attacks Detection Method based on Attack Reconstruction

Dinh Duy Kha Nguyen , Eric Zamaï , Emil Dumitrescu , Cédric Escudero
2024 32nd Mediterranean Conference on Control and Automation (MED), Jun 2024, Chania - Crete, France. pp.736-743, ⟨10.1109/MED61351.2024.10566177⟩
Communication dans un congrès hal-04929773 v1
Image document

Temporal assessment of malicious behaviors: application to turnout field data monitoring

Sara Abdellaoui , Emil Dumitrescu , Cédric Escudero , Eric Zamaï
8th International Conference on Control, Automation and Diagnosis (ICCAD 2024), May 2024, Paris, France. ⟨10.1109/ICCAD60883.2024.10553981⟩
Communication dans un congrès hal-04608183 v1

Optimal Stealthy Attack Design Using Sequential Linear Programming

Dinh Duy Kha Nguyen , Cédric Escudero , Eric Zamaï , Emil Dumitrescu
2024 32nd Mediterranean Conference on Control and Automation (MED), Jun 2024, Chania - Crete, France. pp.744-751, ⟨10.1109/MED61351.2024.10566203⟩
Communication dans un congrès hal-04929775 v1
Image document

Temporal assessment of malicious turnout behaviors

Sara Abdellaoui , Emil Dumitrescu , Cédric Escudero , Eric Zamaï
2ème congrès annuel de la SAGIP, Lyon, France, May 2024, Lyon, France
Communication dans un congrès hal-04609902 v1

Work in Progress - Model-Check PLC Programs: Towards a Efficient Formalization Approach

Jessica Ravakambinintsoa , Emil Dumitrescu , Eric Zamaï , Denis Chalon
2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA), Sep 2024, Padova, France. pp.01-04, ⟨10.1109/ETFA61755.2024.10710942⟩
Communication dans un congrès hal-04929766 v1
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 Zamaï
14ème colloque sur la Modélisation des Systèmes Réactifs, Nov 2023, Toulouse, France
Communication dans un congrès hal-04320941 v1
Image document

Cyber Threat Assessment in Monitoring Turnout Railway Systems

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

Malicious Origin of Deadlocks in Flexible Manufacturing Systems

Amaury Beaudet , Eric Zamaï , Emil Dumitrescu , Cédric Escudero
16th IFAC Workshop on Discrete Event Systems WODES 2022, Sep 2022, Prague, Czech Republic. pp.100-107, ⟨10.1016/j.ifacol.2022.10.330⟩
Communication dans un congrès hal-04113393 v1
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
Communication dans un congrès hal-03059144 v1

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
Communication dans un congrès hal-02958104 v1

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⟩
Communication dans un congrès hal-02078236 v1
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⟩
Communication dans un congrès hal-01918140 v1

Automatic Generation of Wireless Sensor Networks Scheduling

Anis Mezni , Emil Dumitrescu , Eric Niel , Samir Ben Ahmed
HPCS, Jul 2016, Genoa, Italy
Communication dans un congrès hal-01598255 v1

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⟩
Communication dans un congrès hal-01598242 v1
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
Communication dans un congrès hal-01224454 v2

Scheduling by Timed Automata under Resource Conflicts

Mahya Rahimi , Eric Niel , Emil Dumitrescu
MSR 2015, Nov 2015, Nancy, France
Communication dans un congrès hal-01224494 v1

Reliability and Safety Monitoring for more Electrical Transportation

Bruno Allard , Guy Clerc , Emil Dumitrescu , Ronan German , Aurélien Lièvre et al.
APE Automotive Power Electronics, Apr 2015, Paris, France
Communication dans un congrès hal-01922178 v1
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⟩
Communication dans un congrès hal-01080076 v1
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
Communication dans un congrès hal-01080089 v1

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⟩
Communication dans un congrès hal-00908532 v1
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
Communication dans un congrès hal-01091237 v1
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⟩
Communication dans un congrès inria-00510019 v1

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
Communication dans un congrès hal-00476113 v1

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⟩
Communication dans un congrès hal-00419678 v1

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⟩
Communication dans un congrès hal-00375951 v1

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
Communication dans un congrès hal-00375942 v1

Discrete controller synthesis for dependable trajectory generation

Guillaume Ducard , Emil Dumitrescu
ESREL, Jun 2007, Stavanger, Norway
Communication dans un congrès hal-00375538 v1

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
Communication dans un congrès hal-00375504 v1
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
Communication dans un congrès inria-00424279 v1

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⟩
Communication dans un congrès hal-00375564 v1