Dimitri Lefebvre

ORCID

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 81

Top Venues

CoDIT

ECC

IEEE Trans. Autom. Control.

Discret. Event Dyn. Syst.

Publications

Hamza Chakraa, Edouard Leclercq, François Guérin, Dimitri Lefebvre
A Centralized Task Allocation Algorithm for a Multi-Robot Inspection Mission With Sensing Specifications. IEEE Access 11 (2023)
Oussama Hayane, Dimitri Lefebvre
Reconfigurable timed graphs for the design of optimal scheduling in uncertain environments based on transition-timed Petri net. Eur. J. Control 73 (2023)
Hamza Chakraa, François Guérin, Edouard Leclercq, Dimitri Lefebvre
Optimization techniques for Multi-Robot Task Allocation problems: Review on the state-of-the-art. Robotics Auton. Syst. 168 (2023)
Marwa Gam, Achraf Jabeur Telmoudi, Dimitri Lefebvre
Hybrid Filtered Beam Search Algorithm for the Optimization of Monitoring Patrols. J. Intell. Robotic Syst. 107 (2) (2023)
Omar Amri, Dimitri Lefebvre
Performance evaluation of SCADA systems by means of Discrete Event Systems. ICNSC (2023)
Dimitri Lefebvre, Christoforos N. Hadjicostis
Probabilistic verification of diagnosability for a certain class of timed stochastic systems. Syst. Control. Lett. 176 (2023)
Hamza Chakraa, Edouard Leclercq, François Guérin, Dimitri Lefebvre
A Multi-Robot Mission Planner by Means of Beam Search Approach and 2-Opt Local Search. CoDIT (2023)
Omar Amri, Dimitri Lefebvre
Mode Recognition in Attack Graphs Based on Conditional State Probability. CoDIT (2023)
Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua
Logical and probabilistic aspects of state estimation for Markovian systems. CDC (2023)
Rabah Ammour, Said Amari, Leonardo Brenner, Isabel Demongodin, Dimitri Lefebvre
Robust Stealthy Attacks Based on Uncertain Costs and Labeled Finite Automata With Inputs. IEEE Robotics Autom. Lett. 8 (5) (2023)
Dimitri Lefebvre, Zhiwu Li, Ye Liang
Diagnosis of timed patterns for discrete event systems by means of state isolation. Autom. 153 (2023)
Djalel Drici, Yahia Kourd, Mostefa Mohamed Touba, Dimitri Lefebvre
A New Approach for Remaining Useful Life Estimation Using Deep Learning. Autom. Control. Comput. Sci. 57 (1) (2023)
Ghassen Cherif, Edouard Leclercq, Dimitri Lefebvre
Scheduling of a class of partial routing FMS in uncertain environments with beam search. J. Intell. Manuf. 34 (2) (2023)
Dimitri Lefebvre, Christoforos N. Hadjicostis
Diagnosability of fault patterns with labeled stochastic Petri nets. Inf. Sci. 593 (2022)
Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection. Discret. Event Dyn. Syst. 32 (1) (2022)
Asma Atig, Fabrice Druaux, Dimitri Lefebvre, Ridha Ben Abdennour
A multi-objective criterion and stability analysis for neural adaptive control of nonlinear MIMO systems: an experimental validation. Int. J. Autom. Control. 16 (3/4) (2022)
Jun Li, Dimitri Lefebvre, Christoforos N. Hadjicostis, Zhiwu Li
Observers for a Class of Timed Automata Based on Elapsed Time Graphs. IEEE Trans. Autom. Control. 67 (2) (2022)
Riadh Toumi, Yahia Kourd, Dimitri Lefebvre
A novel fault detection approach based on multilinear sparse PCA: application onthe semiconductor manufacturing processes. Turkish J. Electr. Eng. Comput. Sci. 30 (4) (2022)
Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua
Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection. Discret. Event Dyn. Syst. 32 (3) (2022)
JiaZhong Zhou, Dimitri Lefebvre, Zhi-Wu Li
A Clustering Approach to Approximate the Timed Reachability Graph for a Class of Time Petri Nets. IEEE Trans. Autom. Control. 67 (7) (2022)
Rabah Ammour, Said Amari, Leonardo Brenner, Isabel Demongodin, Dimitri Lefebvre
Observer Design for Bounded Output Synchronized Petri Nets. ECC (2021)
Rabah Ammour, Leonardo Brenner, Isabel Demongodin, Said Amari, Dimitri Lefebvre
Costs analysis of stealthy attacks with bounded output synchronized Petri nets. CASE (2021)
Dimitri Lefebvre, Francesco Basile
An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems. Inf. Sci. 559 (2021)
Fatma Ezzahra Rhili, Asma Atig, Ridha Ben Abdennour, Fabrice Druaux, Dimitri Lefebvre
Stability analysis of adaptive control using fuzzy adapting rate neural emulator: Experimental validation on a thermal process. J. Syst. Control. Eng. 235 (8) (2021)
Dimitri Lefebvre, Christoforos N. Hadjicostis
Exposure and Revelation Times as a Measure of Opacity in Timed Stochastic Discrete Event Systems. IEEE Trans. Autom. Control. 66 (12) (2021)
Oussama Hayane, Dimitri Lefebvre
Reconfigurable Timed Extended Reachability Graphs for scheduling problems in uncertain environments. CASE (2021)
Marwa Gam, Dimitri Lefebvre, Lotfi Nabli, Achraf Jabeur Telmoudi
A petri nets based approach for the optimisation of surveillance patrols. Int. J. Sens. Networks 36 (4) (2021)
Marwa Gam, Dimitri Lefebvre, Lotfi Nabli, Achraf Jabeur Telmoudi
Optimization of maintenance patrols planning. MED (2021)
Gonzalo Mejía, Dimitri Lefebvre
Robust scheduling of flexible manufacturing systems with unreliable operations and resources. Int. J. Prod. Res. 58 (21) (2020)
Dimitri Lefebvre, Christoforos N. Hadjicostis
Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers. Discret. Event Dyn. Syst. 30 (3) (2020)
Anis M'halla, Dimitri Lefebvre, Mouhaned Gaied
Distributed Monitoring Based on P-Time Petri Nets and Chronicle Recognition of the Tunisian Railway Network. J. Electr. Comput. Eng. 2020 (2020)
Marwa Gam, Dimitri Lefebvre, Achraf Jabeur Telmoudi, Lotfi Nabli
Configuration of surveillance patrols with Petri nets for safety issues. CoDIT (2020)
Dimitri Lefebvre, Ernesto López-Mellado
Precision Evaluation of a class of Timed Workflow Nets. CoDIT (2020)
JiaZhong Zhou, Jiliang Luo, Dimitri Lefebvre, Zhiwu Li
Modeling and Scheduling Methods for Batch Production Systems Based on Petri Nets and Heuristic Search. IEEE Access 8 (2020)
Dimitri Lefebvre, Sara Rachidi, Edouard Leclercq, Yoann Pigné
Diagnosis of Structural and Temporal Faults for $k$ -Bounded Non-Markovian Stochastic Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 50 (9) (2020)
Dimitri Lefebvre, Cherki Daoui
Control Design for Bounded Partially Controlled TPNs Using Timed Extended Reachability Graphs and MDP. IEEE Trans. Syst. Man Cybern. Syst. 50 (6) (2020)
Amine Dakkoune, Lamiae V. Hassimi, Dimitri Lefebvre, Lionel Estel
Early detection and diagnosis of thermal runaway reactions using model-based approaches in batch reactors. Comput. Chem. Eng. 140 (2020)
Chao Gao, Dimitri Lefebvre, Carla Seatzu, Zhiwu Li, Alessandro Giua
A region-based approach for state estimation of timed automata under no event observation. ETFA (2020)
Dimitri Lefebvre, Christoforos N. Hadjicostis
Trajectory-observers of timed stochastic discrete event systems: Applications to privacy analysis. CoDIT (2019)
Rabah Ammour, Edouard Leclercq, Eric Sanlaville, Dimitri Lefebvre
Datation of Faults for Markovian Stochastic DESs. IEEE Trans. Autom. Control. 64 (7) (2019)
GaiYun Liu, Dimitri Lefebvre, ZhiWu Li
Robust Deadlock-free Scheduling for FMS with Liveness-enforcing Supervisor Combined with Beam Search Controller. SMC (2019)
Ghassen Cherif, Edouard Leclercq, Dimitri Lefebvre
Hybrid FMS scheduling using T-TPN and Beam Search in uncertain environments. IECON (2019)
Dimitri Lefebvre, Christoforos N. Hadjicostis
Exposure Time as a Measure of Opacity in Timed Discrete Event Systems. ECC (2019)
Dimitri Lefebvre, Christoforos N. Hadjicostis
Revelation Time for Initial-State Opacity Measurement in Timed Discrete Event Systems. SMC (2019)
Mouhaned Gaied, Anis M'halla, Dimitri Lefebvre, Kamel Ben Othmen
Robust control for railway transport networks based on stochastic P-timed Petri net models. J. Syst. Control. Eng. 233 (7) (2019)
Mouhaned Gaied, Dimitri Lefebvre, Anis M'halla, Kamel Ben Othmen
Identification of Railway Transport Systems using stochastic P-timed Petri nets model. CoDIT (2019)
Ghassen Cherif, Edouard Leclercq, Dimitri Lefebvre
Generation Filtered Beam Search algorithm for the scheduling of hybrid FMS using T-TPN. ECC (2019)
Dimitri Lefebvre
Approximated timed reachability graphs for the robust control of discrete event systems. Discret. Event Dyn. Syst. 29 (1) (2019)
Ghassen Cherif, Edouard Leclercq, Dimitri Lefebvre
Modeling hybrid manufacturing systems using T-TPN with buffers. ETFA (2018)
Rabah Ammour, Edouard Leclercq, Eric Sanlaville, Dimitri Lefebvre
Faults prognosis using partially observed stochastic Petri-nets: an incremental approach. Discret. Event Dyn. Syst. 28 (2) (2018)
Alioune Mbaye, Dimitri Lefebvre, Francesco Basile
Control design for timed Petri nets based on LMIs and structure expansion. ETFA (2018)
Mouhaned Gaied, Dimitri Lefebvre, Anis M'halla, Kamel Ben Othmen
Modelling and Performance Evaluation of Railway transport Systems using P-timed Petri Nets. CoDIT (2018)
Dimitri Lefebvre
Algorithms of reduced complexity to design control sequences for untimed Petri nets in varying and uncertain environments. J. Syst. Control. Eng. 232 (6) (2018)
Amine Dakkoune, Lamiae V. Hassimi, Sébastien Leveneur, Lionel Estel, Dimitri Lefebvre
Model-based fault detection and isolation for chemical processes: Application to the prevention of thermal runaway. SSCI (2018)
Anas Hijazi, Jean-François Brethé, Dimitri Lefebvre
Singularity Loci and Kinematic Induced Constraints for an XY-Theta Platform Designed for High Precision Positioning. ICINCO (2) (2018)
Marwa Taleb, Edouard Leclercq, Dimitri Lefebvre
Control design of timed continuous Petri nets via model predictive constant control. Int. J. Control 91 (8) (2018)
Dimitri Lefebvre
Near-Optimal Scheduling for Petri Net Models With Forbidden Markings. IEEE Trans. Autom. Control. 63 (8) (2018)
Marwa Taleb, Edouard Leclercq, Dimitri Lefebvre
Model predictive control for discrete and continuous timed Petri nets. Int. J. Autom. Comput. 15 (1) (2018)
Sara Rachidi, Edouard Leclercq, Yoann Pigné, Dimitri Lefebvre
Moving Average control chart for the detection and isolation of temporal faults in stochastic Petri nets. ETFA (2018)
Dimitri Lefebvre, Sara Rachidi, Edouard Leclercq, Yoann Pigné
Temporal fault diagnosis for k-bounded non-Markovian SPN. CoDIT (2018)
Rabah Ammour, Edouard Leclercq, Eric Sanlaville, Dimitri Lefebvre
State estimation of discrete event systems for RUL prediction issue. Int. J. Prod. Res. 55 (23) (2017)
Yan Zhang, Dimitri Lefebvre, Qingling Li
Automatic Detection of Defects in Tire Radiographic Images. IEEE Trans Autom. Sci. Eng. 14 (3) (2017)
Dimitri Lefebvre
Fault diagnosis for non-Markovian timed stochastic discrete event systems. ETFA (2017)
Nesrine Bahri, Asma Atig, Ridha Ben Abdennour, Fabrice Druaux, Dimitri Lefebvre
A systematic design of emulators for multivariable non square and nonlinear systems. Int. J. Autom. Comput. 14 (6) (2017)
Dimitri Lefebvre
Near-optimal control sequence design for untimed Petri nets based on a reduced breadth and depth exploration. CoDIT (2017)
Dimitri Lefebvre
Probability of faults for partially observed Timed PNs with temporal constraints. ICNSC (2017)
Dimitri Lefebvre
Evaluating the robustness of scheduling in uncertain environment with Petri nets. VALUETOOLS (2017)
Rabah Ammour, Edouard Leclercq, Eric Sanlaville, Dimitri Lefebvre
Fault prognosis of timed stochastic discrete event systems with bounded estimation error. Autom. 82 (2017)
Ali Saad, Iyad Zaarour, François Guerin, Paul Bejjani, Mohammad Ayache, Dimitri Lefebvre
Detection of freezing of gait for Parkinson's disease patients with multi-sensor device and Gaussian neural networks. Int. J. Mach. Learn. Cybern. 8 (3) (2017)
Dimitri Lefebvre
Deadlock-free scheduling for timed Petri net models combined with MPC and backtracking. WODES (2016)
Yaya Sidibé, Fabrice Druaux, Dimitri Lefebvre, Gerard Maze, Fernand Leon
Signal processing and Gaussian neural networks for the edge and damage detection in immersed metal plate-like structures. Artif. Intell. Rev. 46 (3) (2016)
Rabah Ammour, Edouard Leclercq, Eric Sanlaville, Dimitri Lefebvre
Faults prognosis using partially observed stochastic Petri nets. WODES (2016)
Anas Hijazi, Jean-François Brethé, Dimitri Lefebvre
Design of an XY-theta platform held by a planar manipulator with four revolute joints and evaluation of its precision performances. Robotica 34 (11) (2016)
Dimitri Lefebvre, Edouard Leclercq
Diagnosability of Petri nets with observation graphs. Discret. Event Dyn. Syst. 26 (3) (2016)
Dimitri Lefebvre
Approaching Minimal Time Control Sequences for Timed Petri Nets. IEEE Trans Autom. Sci. Eng. 13 (2) (2016)
Dimitri Lefebvre, Edouard Leclercq, Fabrice Druaux, Philippe Thomas
Gradient-based controllers for timed continuous Petri nets. Int. J. Syst. Sci. 46 (9) (2015)
Rabah Ammour, Edouard Leclercq, Eric Sanlaville, Dimitri Lefebvre
Estimation of the fault occurrence dates in DESs with partially observed stochastic Petri nets. ADHS (2015)
Marwa Taleb, Edouard Leclercq, Dimitri Lefebvre
Control Design of Elementary Hybrid Petri Nets via Model Predictive Control. ADHS (2015)
Nesrine Bahri, Fabrice Druaux, Asma Atig, Ridha Ben Abdennour, Dimitri Lefebvre
An adaptive neural controller based on neural emulator for single-input multi-output nonlinear systems. ECC (2015)
Dimitri Lefebvre, Edouard Leclercq
Control Design for Trajectory Tracking With Untimed Petri Nets. IEEE Trans. Autom. Control. 60 (7) (2015)
Dimitri Lefebvre
Deadlock-free scheduling for manufacturing systems based on timed Petri nets and model predictive control. CDC (2015)
Marwa Taleb, Edouard Leclercq, Dimitri Lefebvre
Control Design of Timed Petri Nets Via Model Predictive Control with ContPNs. WODES (2014)
Yahia Kourd, Dimitri Lefebvre, Noureddine Guersi
Neural Networks and Fault Probability Evaluation for Diagnosis Issues. Comput. Intell. Neurosci. 2014 (2014)
Ali Saad, François Guerin, Iyad Zaarour, Mohammad Ayache, Dimitri Lefebvre
Sensoring and features extraction for the detection of Freeze of Gait in Parkinson disease. SSD (2014)
Nesrine Bahri, Asma Atig, Ridha Ben Abdennour, Fabrice Druaux, Dimitri Lefebvre
Multivariable adaptive neural control based on multimodel emulator for nonlinear square MIMO systems. SSD (2014)
Marwa Taleb, Edouard Leclercq, Dimitri Lefebvre
Limitation of flow variation of timed continuous Petri Nets via Model Predictive Control. ACC (2014)
Dimitri Lefebvre
Fault Diagnosis and Prognosis With Partially Observed Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 44 (10) (2014)
Anas Hijazi, Dimitri Lefebvre, Jean-François Brethé
Characterization of Repeatability of XY-Theta Platform Held by Robotic Manipulator Arms using a Camera. ICINCO (2) (2014)
Dimitri Lefebvre
On-Line Fault Diagnosis With Partially Observed Petri Nets. IEEE Trans. Autom. Control. 59 (7) (2014)
Yaya Sidibé, Dimitri Lefebvre, Fabrice Druaux, Gerard Maze, Fernand Leon
Damage detection based on wavelet transform and artificial intelligence for underwater metallic structures. ECC (2014)
Dimitri Lefebvre
Fault probability with partially observed stochastic Petri nets. ACC (2014)
Marwa Taleb, Edouard Leclercq, Dimitri Lefebvre
Limitation of flow variation of Timed Continuous Petri Nets via Model Predictive Control and Lyapunov criterion. ECC (2014)
Dimitri Lefebvre
Probability of current state and future faults with partially observed stochastic Petri nets. ECC (2014)
Dimitri Lefebvre
Fault Probability Evaluation in DESs with an Algorithm of Linear Complexity and Partially Observed SPNs. WODES (2014)
Dimitri Lefebvre, Edouard Leclercq
An algorithm based on model predictive control for trajectories tracking with untimed PNs. MED (2014)
Edouard Leclercq, Dimitri Lefebvre
About Regulation and Disturbance Rejection for Partially Controlled ContPNs. MIM (2013)
Dimitri Lefebvre
An Algorithm of Linear Complexity for the Diagnosis of Discrete Event Systems. MIM (2013)
Mustapha Barakat, Dimitri Lefebvre, Mohamad Khalil, Fabrice Druaux, Oussama Mustapha
Parameter selection algorithm with self adaptive growing neural network classifier for diagnosis issues. Int. J. Mach. Learn. Cybern. 4 (3) (2013)
Edouard Leclercq, Dimitri Lefebvre
Feasibility of piecewise-constant control sequences for timed continuous Petri nets. Autom. 49 (12) (2013)
François Guerin, Dimitri Lefebvre
Adaptive generalized PID controllers and fuzzy logic coordinator for load sharing in SMSE. CDC (2013)

Dimitri Lefebvre.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dimitri Lefebvre