Dynamic Precompensation for the Discrete Time Control Design of Continuous Time Generalized State Space Systems. - Dimitri Lefebvre; Frédéric Rotella (Intell. Autom. Soft Comput., 1998)

Feedback control designs for manufacturing systems modelled by continuous Petri nets. - Dimitri Lefebvre (Int. J. Syst. Sci., 1999)

Optimal flow control for manufacturing systems modelled by continuous Petri nets. - Dimitri Lefebvre (CDC, 2000)

Firing speeds estimation for continuous Petri nets. - Dimitri Lefebvre (CDC, 2000)

Model-based traffic monitoring by means of neural networks. - Dimitri Lefebvre; Philippe Thomas 001; Jean-Marc Thiriet; Nadhir Messai; Abdellah El Moudni (CDC, 2000)

Firing Sequences and Firing Frequencies Estimation for Timed Petri Nets. - Dimitri Lefebvre (Cybern. Syst., 2000)

Neural networks implementation for modeling and control design of manufacturing systems. - M. Haouani; Dimitri Lefebvre; Noureddine Zerhouni; Abdellah El Moudni (J. Intell. Manuf., 2000)

Monitoring and diagnosis of manufacturing systems by neural networks: model-based versus data-based approach. - Dimitri Lefebvre; Abdellah El Moudni (Neural Parallel Sci. Comput., 2000)

Fuzzy multimodel of a road crossing. - Sophie Hennequin; Dimitri Lefebvre; Abdellah El Moudni (SMC, 2001)

Fuzzy granular systems for the modeling of road traffic networks. - Dimitri Lefebvre; Philippe Thomas 001 (SMC, 2001)

Continuous Petri nets models for the analysis of traffic urban networks. - Chérif Tolba; Dimitri Lefebvre; Philippe Thomas 001; Abdellah El Moudni (SMC, 2001)

Estimation of the firing frequencies in discrete and continuous Petri nets models. - Dimitri Lefebvre (Int. J. Syst. Sci., 2001)

Fuzzy multimodel of timed Petri nets. - Sophie Hennequin; Dimitri Lefebvre; Abdellah El Moudni (IEEE Trans. Syst. Man Cybern. Part B, 2001)

Firing and enabling sequences estimation for timed Petri nets. - Dimitri Lefebvre; Abdellah El Moudni (IEEE Trans. Syst. Man Cybern. Part A, 2001)

From fuzzy logic to hybrid Petri nets. - Dimitri Lefebvre; Eric Vasselin (SMC, 2002)

Optimal neural networks architectures for the flow-density relationships of traffic models. - Nadhir Messai; Philippe Thomas 001; Dimitri Lefebvre; Abdellah El Moudni (Math. Comput. Simul., 2002)

Fault detection and isolation in non-linear systems by using oversized neural networks. - Philippe Thomas 001; Dimitri Lefebvre (Math. Comput. Simul., 2002)

Source and Sink Transitions Controllers for Continuous Petri Nets: A Gradient-Based Approach. - Dimitri Lefebvre; Edouard Leclercq; Fabrice Druaux; Philippe Thomas 001 (ADHS, 2003)

Autonomous learning algorithm for fully connected recurrent networks. - Edouard Leclercq; Fabrice Druaux; Dimitri Lefebvre (ESANN, 2003)

Performances evaluation of the traffic control in a single crossroad by Petri nets. - Chérif Tolba; Philippe Thomas 001; Abdellah El Moudni; Dimitri Lefebvre (ETFA (2), 2003)

Structural sensitivity for the conflicts analysis in Petri nets. - Dimitri Lefebvre; Catherine Delherm (SMC, 2003)

Determination of the Repeatability of a Kuka Robot Using the Stochastic Ellipsoid Approach. - Jean-François Brethé; Eric Vasselin; Dimitri Lefebvre; Brayima Dakyo (ICRA, 2005)

Parameters Estimation For Timed And Continuous Petri Nets: Application To The Identification And Monitoring Of Hybrid Systems. - Dimitri Lefebvre; Philippe Thomas 001 (Cybern. Syst., 2005)

Autonomous learning algorithm for fully connected recurrent networks. - Edouard Leclercq; Fabrice Druaux; Dimitri Lefebvre; Salem Zerkaoui (Neurocomputing, 2005)

Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modelling. - Chérif Tolba; Dimitri Lefebvre; Philippe Thomas 001; Abdellah El Moudni (Simul. Model. Pract. Theory, 2005)

Modelling of repeatability phenomena using the stochastic ellipsoid approach. - Jean-François Brethé; Eric Vasselin; Dimitri Lefebvre; Brayima Dakyo (Robotica, 2006)

Forward kinematics and geometric control of a medical robot - application to dental implantation. - Richard Chaumont; Eric Vasselin; Dimitri Lefebvre (ICINCO-RA (2), 2007)

Fault detection algorithm using DCS method combined with filters bank derived from the wavelet transform. - Oussama Mustapha; Mohamad Khalil; Ghaleb Hoblos; Houcine Chafouk; Dimitri Lefebvre (ICINCO-SPSMC, 2007)

Granular Space Structure on a Micrometric Scale for Industrial Robots. - Jean-François Brethé; Dimitri Lefebvre (ICRA, 2007)

Diagnosis of DES With Petri Net Models. - Dimitri Lefebvre; Catherine Delherm (IEEE Trans Autom. Sci. Eng., 2007)

Petri nets design based on neural networks. - Edouard Leclercq; Souleiman Ould el Medhi; Dimitri Lefebvre (ESANN, 2008)

Diagnosis of Discrete Event Systems with Petri Nets and Coding Theory. - Dimitri Lefebvre (ICINCO-RA (1), 2008)

Fault Detection by Means of DCS Algorithm Combined with Filters Bank - Application to the Tennessee Eastman Challenge Process. - Oussama Mustapha; Mohamad Khalil; Ghaleb Hoblos; Houcine Chafouk; Dimitri Lefebvre (ICINCO-SPSMC, 2008)

Robust stability analysis of adaptive control based on recurrent ANN. - Salem Zerkaoui; Fabrice Druaux; Edouard Leclercq; Dimitri Lefebvre (Int. J. Model. Identif. Control., 2008)

Firing Sequences Estimation in Vector Space Over Z3 for Ordinary Petri Nets. - Dimitri Lefebvre (IEEE Trans. Syst. Man Cybern. Part A, 2008)

Approximation of MTS stochastic Petri nets steady state by means of continuous Petri nets: a numerical approach. - Dimitri Lefebvre; Edouard Leclercq; Leila Khalij; José Eduardo Souza de Cursi; Nabil El Akchioui (ADHS, 2009)

Petri nets control design for hybrid electrical energy systems. - Alioune Badara Mboup; François Guerin; Pape Alioune S. Ndiaye; Dimitri Lefebvre (ACC, 2009)

Self-organising map for large scale processes monitoring. - Edouard Leclercq; Fabrice Druaux; Dimitri Lefebvre (ESANN, 2009)

Stable adaptive control with recurrent neural networks for square MIMO non-linear systems. - Salem Zerkaoui; Fabrice Druaux; Edouard Leclercq; Dimitri Lefebvre (Eng. Appl. Artif. Intell., 2009)

On modelling and diagnosis of Hybrid Dynamical Systems. - Mohamed El Hadi Lebbal; Ghaleb Hoblos; Houcine Chafouk; Dimitri Lefebvre (Int. J. Intell. Syst. Technol. Appl., 2009)

FDI with Neural and Neurofuzzy Approaches - Application to Damadics. - Yahia Kourd; Noureddine Guersi; Dimitri Lefebvre (ICINCO (2), 2010)

Homothetic Approximations for Stochastic PN. - Dimitri Lefebvre (ICINCO (2), 2010)

Modeling of the orientation repeatability for industrial manipulators. - Diala Dandash; Jean-François Brethé; Eric Vasselin; Dimitri Lefebvre (IROS, 2010)

Comparative analysis of the repeatability performance of a serial and parallel robot. - Rolland Michel Assoumou Nzue; Jean-François Brethé; Eric Vasselin; Dimitri Lefebvre (IROS, 2010)

Input - Output Classification Mapping for the fault detection, identification and accommodation. - Mustapha Barakat; Dimitri Lefebvre; Mohamad Khalil; Oussama Mustapha; Fabrice Druaux (SMC, 2010)

A geometric approach for the homothetic approximation of stochastic Petri nets. - Dimitri Lefebvre; Edouard Leclercq; Nabil El Akchioui; José Eduardo Souza de Cursi; Leila Khalij (WODES, 2010)

Indirect neural control for plant-wide systems: Application to the Tennessee Eastman Challenge Process. - Salem Zerkaoui; Fabrice Druaux; Edouard Leclercq; Dimitri Lefebvre (Comput. Chem. Eng., 2010)

Finite time control design for contPNs according to piecewise constant control actions. - Dimitri Lefebvre (CDC/ECC, 2011)

Early FDI Based on Residuals Design According to the Analysis of Models of Faults: Application to DAMADICS. - Yahia Kourd; Dimitri Lefebvre; Noureddine Guersi (Adv. Artif. Neural Syst., 2011)

Self adaptive growing neural network classifier for faults detection and diagnosis. - Mustapha Barakat; Fabrice Druaux; Dimitri Lefebvre; Mohamad Khalil; Oussama Mustapha (Neurocomputing, 2011)

Hybrid Modeling for Performance Evaluation of Multisource Renewable Energy Systems. - François Guerin; Dimitri Lefebvre; Alioune Badara Mboup; Jean-Yves Parédé; Eric Lemains; Pape Alioune S. Ndiaye (IEEE Trans Autom. Sci. Eng., 2011)

Stochastic Petri Net Identification for the Fault Detection and Isolation of Discrete Event Systems. - Dimitri Lefebvre; Edouard Leclercq (IEEE Trans. Syst. Man Cybern. Part A, 2011)

Characterization of micro displacements of serial robot. - Diala Dandash; Jean-François Brethé; Eric Vasselin; Dimitri Lefebvre (MMAR, 2012)

Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs. - Dimitri Lefebvre; Edouard Leclercq (Discret. Event Dyn. Syst., 2012)

Adaptive control design using stability analysis and tracking errors dynamics for nonlinear square MIMO systems. - Asma Atig; Fabrice Druaux; Dimitri Lefebvre; Kamel Abderrahim; Ridha Ben Abdennour (Eng. Appl. Artif. Intell., 2012)

Multimodel and neural emulators for non-linear systems: application to an indirect adaptive neural control. - Nesrine Bahri; Asma Atig; Ridha Ben Abdennour; Fabrice Druaux; Dimitri Lefebvre (Int. J. Model. Identif. Control., 2012)

Design and Identification of Stochastic and Deterministic Stochastic Petri Nets. - Souleiman Ould el Mehdi; Rebiha Bekrar; Nadhir Messai; Edouard Leclercq; Dimitri Lefebvre; Bernard Riera 001 (IEEE Trans. Syst. Man Cybern. Part A, 2012)

Adaptive generalized PID controllers and fuzzy logic coordinator for load sharing in SMSE. - François Guerin; Dimitri Lefebvre (CDC, 2013)

Design of observations graphs for partially observed Petri nets: Application to the diagnosability analysis of DES1. - Dimitri Lefebvre; Edouard Leclercq; François Guerin (CDC, 2013)

State estimation and fault prediction with partially observed Petri nets. - Dimitri Lefebvre (ETFA, 2013)

Fault diagnosis of a production and distribution system with Petri nets. - Dimitri Lefebvre (ETFA, 2013)

About Regulation and Disturbance Rejection for Partially Controlled ContPNs. - Edouard Leclercq; Dimitri Lefebvre (MIM, 2013)

An Algorithm of Linear Complexity for the Diagnosis of Discrete Event Systems. - Dimitri Lefebvre (MIM, 2013)

Feasibility of piecewise-constant control sequences for timed continuous Petri nets. - Edouard Leclercq; Dimitri Lefebvre (Autom., 2013)

Parameter selection algorithm with self adaptive growing neural network classifier for diagnosis issues. - Mustapha Barakat; Dimitri Lefebvre; Mohamad Khalil; Fabrice Druaux; Oussama Mustapha (Int. J. Mach. Learn. Cybern., 2013)

Multivariable adaptive neural control based on multimodel emulator for nonlinear square MIMO systems. - Nesrine Bahri; Asma Atig; Ridha Ben Abdennour; Fabrice Druaux; Dimitri Lefebvre (SSD, 2014)

Sensoring and features extraction for the detection of Freeze of Gait in Parkinson disease. - Ali Saad; François Guerin; Iyad Zaarour; Mohammad Ayache; Dimitri Lefebvre (SSD, 2014)

Fault probability with partially observed stochastic Petri nets. - Dimitri Lefebvre (ACC, 2014)

Limitation of flow variation of timed continuous Petri Nets via Model Predictive Control. - Marwa Taleb; Edouard Leclercq; Dimitri Lefebvre (ACC, 2014)

Probability of current state and future faults with partially observed stochastic Petri nets. - Dimitri Lefebvre (ECC, 2014)

Damage detection based on wavelet transform and artificial intelligence for underwater metallic structures. - Yaya Sidibé; Dimitri Lefebvre; Fabrice Druaux; Gérard Maze; Fernand Leon (ECC, 2014)

Limitation of flow variation of Timed Continuous Petri Nets via Model Predictive Control and Lyapunov criterion. - Marwa Taleb; Edouard Leclercq; Dimitri Lefebvre (ECC, 2014)

Characterization of Repeatability of XY-Theta Platform Held by Robotic Manipulator Arms using a Camera. - Anas Hijazi; Dimitri Lefebvre; Jean-François Brethé (ICINCO (2), 2014)

An algorithm based on model predictive control for trajectories tracking with untimed PNs. - Dimitri Lefebvre; Edouard Leclercq (MED, 2014)

Fault Probability Evaluation in DESs with an Algorithm of Linear Complexity and Partially Observed SPNs. - Dimitri Lefebvre (WODES, 2014)

Control Design of Timed Petri Nets Via Model Predictive Control with ContPNs. - Marwa Taleb; Edouard Leclercq; Dimitri Lefebvre (WODES, 2014)

Neural Networks and Fault Probability Evaluation for Diagnosis Issues. - Yahia Kourd; Dimitri Lefebvre; Noureddine Guersi (Comput. Intell. Neurosci., 2014)

On-Line Fault Diagnosis With Partially Observed Petri Nets. - Dimitri Lefebvre (IEEE Trans. Autom. Control., 2014)

Fault Diagnosis and Prognosis With Partially Observed Petri Nets. - Dimitri Lefebvre (IEEE Trans. Syst. Man Cybern. Syst., 2014)

Estimation of the fault occurrence dates in DESs with partially observed stochastic Petri nets. - Rabah Ammour; Edouard Leclercq; Eric Sanlaville; Dimitri Lefebvre (ADHS, 2015)

Control Design of Elementary Hybrid Petri Nets via Model Predictive Control. - Marwa Taleb; Edouard Leclercq; Dimitri Lefebvre (ADHS, 2015)

Deadlock-free scheduling for manufacturing systems based on timed Petri nets and model predictive control. - Dimitri Lefebvre (CDC, 2015)

An adaptive neural controller based on neural emulator for single-input multi-output nonlinear systems. - Nesrine Bahri; Fabrice Druaux; Asma Atig; Ridha Ben Abdennour; Dimitri Lefebvre (ECC, 2015)

Gradient-based controllers for timed continuous Petri nets. - Dimitri Lefebvre; Edouard Leclercq; Fabrice Druaux; Philippe Thomas 001 (Int. J. Syst. Sci., 2015)

Control Design for Trajectory Tracking With Untimed Petri Nets. - Dimitri Lefebvre; Edouard Leclercq (IEEE Trans. Autom. Control., 2015)

Faults prognosis using partially observed stochastic Petri nets. - Rabah Ammour; Edouard Leclercq; Eric Sanlaville; Dimitri Lefebvre (WODES, 2016)

Deadlock-free scheduling for timed Petri net models combined with MPC and backtracking. - Dimitri Lefebvre (WODES, 2016)

Signal processing and Gaussian neural networks for the edge and damage detection in immersed metal plate-like structures. - Yaya Sidibé; Fabrice Druaux; Dimitri Lefebvre; Gérard Maze; Fernand Leon (Artif. Intell. Rev., 2016)

Diagnosability of Petri nets with observation graphs. - Dimitri Lefebvre; Edouard Leclercq (Discret. Event Dyn. Syst., 2016)

Design of an XY-theta platform held by a planar manipulator with four revolute joints and evaluation of its precision performances. - Anas Hijazi; Jean-François Brethé; Dimitri Lefebvre (Robotica, 2016)

Approaching Minimal Time Control Sequences for Timed Petri Nets. - Dimitri Lefebvre (IEEE Trans Autom. Sci. Eng., 2016)

Near-optimal control sequence design for untimed Petri nets based on a reduced breadth and depth exploration. - Dimitri Lefebvre (CoDIT, 2017)

Fault diagnosis for non-Markovian timed stochastic discrete event systems. - Dimitri Lefebvre (ETFA, 2017)

Probability of faults for partially observed Timed PNs with temporal constraints. - Dimitri Lefebvre (ICNSC, 2017)

Evaluating the robustness of scheduling in uncertain environment with Petri nets. - Dimitri Lefebvre (VALUETOOLS, 2017)

Fault prognosis of timed stochastic discrete event systems with bounded estimation error. - Rabah Ammour; Edouard Leclercq; Eric Sanlaville; Dimitri Lefebvre (Autom., 2017)

A systematic design of emulators for multivariable non square and nonlinear systems. - Nesrine Bahri; Asma Atig; Ridha Ben Abdennour; Fabrice Druaux; Dimitri Lefebvre (Int. J. Autom. Comput., 2017)

State estimation of discrete event systems for RUL prediction issue. - Rabah Ammour; Edouard Leclercq; Eric Sanlaville; Dimitri Lefebvre (Int. J. Prod. Res., 2017)

Detection of freezing of gait for Parkinson's disease patients with multi-sensor device and Gaussian neural networks. - Ali Saad; Iyad Zaarour; François Guerin; Paul Bejjani; Mohammad Ayache; Dimitri Lefebvre (Int. J. Mach. Learn. Cybern., 2017)

Automatic Detection of Defects in Tire Radiographic Images. - Yan Zhang 037; Dimitri Lefebvre; Qingling Li (IEEE Trans Autom. Sci. Eng., 2017)

Modelling and Performance Evaluation of Railway transport Systems using P-timed Petri Nets. - Mouhaned Gaied; Dimitri Lefebvre; Anis M'halla; Kamel Ben Othmen (CoDIT, 2018)

Temporal fault diagnosis for k-bounded non-Markovian SPN. - Dimitri Lefebvre; Sara Rachidi; Edouard Leclercq; Yoann Pigné (CoDIT, 2018)

Modeling hybrid manufacturing systems using T-TPN with buffers. - Ghassen Cherif; Edouard Leclercq; Dimitri Lefebvre (ETFA, 2018)

Control design for timed Petri nets based on LMIs and structure expansion. - Alioune Mbaye; Dimitri Lefebvre; Francesco Basile (ETFA, 2018)

Moving Average control chart for the detection and isolation of temporal faults in stochastic Petri nets. - Sara Rachidi; Edouard Leclercq; Yoann Pigné; Dimitri Lefebvre (ETFA, 2018)

Singularity Loci and Kinematic Induced Constraints for an XY-Theta Platform Designed for High Precision Positioning. - Anas Hijazi; Jean-François Brethé; Dimitri Lefebvre (ICINCO (2), 2018)

Model-based fault detection and isolation for chemical processes: Application to the prevention of thermal runaway. - Amine Dakkoune; Lamiae V. Hassimi; Sébastien Leveneur; Lionel Estel; Dimitri Lefebvre (SSCI, 2018)

Faults prognosis using partially observed stochastic Petri-nets: an incremental approach. - Rabah Ammour; Edouard Leclercq; Eric Sanlaville; Dimitri Lefebvre (Discret. Event Dyn. Syst., 2018)

Model predictive control for discrete and continuous timed Petri nets. - Marwa Taleb; Edouard Leclercq; Dimitri Lefebvre (Int. J. Autom. Comput., 2018)

Control design of timed continuous Petri nets via model predictive constant control. - Marwa Taleb; Edouard Leclercq; Dimitri Lefebvre (Int. J. Control, 2018)

Algorithms of reduced complexity to design control sequences for untimed Petri nets in varying and uncertain environments. - Dimitri Lefebvre (J. Syst. Control. Eng., 2018)

Near-Optimal Scheduling for Petri Net Models With Forbidden Markings. - Dimitri Lefebvre (IEEE Trans. Autom. Control., 2018)

Identification of Railway Transport Systems using stochastic P-timed Petri nets model. - Mouhaned Gaied; Dimitri Lefebvre; Anis M'halla; Kamel Ben Othmen (CoDIT, 2019)

Trajectory-observers of timed stochastic discrete event systems: Applications to privacy analysis. - Dimitri Lefebvre; Christoforos N. Hadjicostis (CoDIT, 2019)

Generation Filtered Beam Search algorithm for the scheduling of hybrid FMS using T-TPN. - Ghassen Cherif; Edouard Leclercq; Dimitri Lefebvre (ECC, 2019)

Exposure Time as a Measure of Opacity in Timed Discrete Event Systems. - Dimitri Lefebvre; Christoforos N. Hadjicostis (ECC, 2019)

Hybrid FMS scheduling using T-TPN and Beam Search in uncertain environments. - Ghassen Cherif; Edouard Leclercq; Dimitri Lefebvre (IECON, 2019)

Revelation Time for Initial-State Opacity Measurement in Timed Discrete Event Systems. - Dimitri Lefebvre; Christoforos N. Hadjicostis (SMC, 2019)

Robust Deadlock-free Scheduling for FMS with Liveness-enforcing Supervisor Combined with Beam Search Controller. - GaiYun Liu; Dimitri Lefebvre; ZhiWu Li 001 (SMC, 2019)

Approximated timed reachability graphs for the robust control of discrete event systems. - Dimitri Lefebvre (Discret. Event Dyn. Syst., 2019)

Robust control for railway transport networks based on stochastic P-timed Petri net models. - Mouhaned Gaied; Anis M'halla; Dimitri Lefebvre; Kamel Ben Othmen (J. Syst. Control. Eng., 2019)

Datation of Faults for Markovian Stochastic DESs. - Rabah Ammour; Edouard Leclercq; Eric Sanlaville; Dimitri Lefebvre (IEEE Trans. Autom. Control., 2019)

Configuration of surveillance patrols with Petri nets for safety issues. - Marwa Gam; Dimitri Lefebvre; Achraf Jabeur Telmoudi; Lotfi Nabli (CoDIT, 2020)

Precision Evaluation of a class of Timed Workflow Nets. - Dimitri Lefebvre; Ernesto López-Mellado (CoDIT, 2020)

A region-based approach for state estimation of timed automata under no event observation. - Chao Gao; Dimitri Lefebvre; Carla Seatzu; Zhiwu Li 001; Alessandro Giua (ETFA, 2020)

Modeling and Scheduling Methods for Batch Production Systems Based on Petri Nets and Heuristic Search. - Jiazhong Zhou; Jiliang Luo; Dimitri Lefebvre; Zhiwu Li 001 (IEEE Access, 2020)

Early detection and diagnosis of thermal runaway reactions using model-based approaches in batch reactors. - Amine Dakkoune; Lamiae V. Hassimi; Dimitri Lefebvre; Lionel Estel (Comput. Chem. Eng., 2020)

Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers. - Dimitri Lefebvre; Christoforos N. Hadjicostis (Discret. Event Dyn. Syst., 2020)

Robust scheduling of flexible manufacturing systems with unreliable operations and resources. - Gonzalo Mejía; Dimitri Lefebvre (Int. J. Prod. Res., 2020)

Distributed Monitoring Based on P-Time Petri Nets and Chronicle Recognition of the Tunisian Railway Network. - Anis M'halla; Dimitri Lefebvre; Mouhaned Gaied (J. Electr. Comput. Eng., 2020)

Control Design for Bounded Partially Controlled TPNs Using Timed Extended Reachability Graphs and MDP. - Dimitri Lefebvre; Cherki Daoui (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Diagnosis of Structural and Temporal Faults for k-Bounded Non-Markovian Stochastic Petri Nets. - Dimitri Lefebvre; Sara Rachidi; Edouard Leclercq; Yoann Pigné (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Costs analysis of stealthy attacks with bounded output synchronized Petri nets. - Rabah Ammour; Leonardo Brenner; Isabel Demongodin; Said Amari; Dimitri Lefebvre (CASE, 2021)

Reconfigurable Timed Extended Reachability Graphs for scheduling problems in uncertain environments. - Oussama Hayane; Dimitri Lefebvre (CASE, 2021)

Observer Design for Bounded Output Synchronized Petri Nets. - Rabah Ammour; Said Amari; Leonardo Brenner; Isabel Demongodin; Dimitri Lefebvre (ECC, 2021)

Optimization of maintenance patrols planning. - Marwa Gam; Dimitri Lefebvre; Lotfi Nabli; Achraf Jabeur Telmoudi (MED, 2021)

A petri nets based approach for the optimisation of surveillance patrols. - Marwa Gam; Dimitri Lefebvre; Lotfi Nabli; Achraf Jabeur Telmoudi (Int. J. Sens. Networks, 2021)

An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems. - Dimitri Lefebvre; Francesco Basile (Inf. Sci., 2021)

Stability analysis of adaptive control using fuzzy adapting rate neural emulator: Experimental validation on a thermal process. - Fatma Ezzahra Rhili; Asma Atig; Ridha Ben Abdennour; Fabrice Druaux; Dimitri Lefebvre (J. Syst. Control. Eng., 2021)

Exposure and Revelation Times as a Measure of Opacity in Timed Stochastic Discrete Event Systems. - Dimitri Lefebvre; Christoforos N. Hadjicostis (IEEE Trans. Autom. Control., 2021)

Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection. - Dimitri Lefebvre; Carla Seatzu; Christoforos N. Hadjicostis; Alessandro Giua (Discret. Event Dyn. Syst., 2022)

Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection. - Dimitri Lefebvre; Carla Seatzu; Christoforos N. Hadjicostis; Alessandro Giua (Discret. Event Dyn. Syst., 2022)

A novel fault detection approach based on multilinear sparse PCA: application onthe semiconductor manufacturing processes. - Riadh Toumi; Yahia Kourd; Dimitri Lefebvre (Turkish J. Electr. Eng. Comput. Sci., 2022)

A multi-objective criterion and stability analysis for neural adaptive control of nonlinear MIMO systems: an experimental validation. - Asma Atig; Fabrice Druaux; Dimitri Lefebvre; Ridha Ben Abdennour (Int. J. Autom. Control., 2022)

Diagnosability of fault patterns with labeled stochastic Petri nets. - Dimitri Lefebvre; Christoforos N. Hadjicostis (Inf. Sci., 2022)

Observers for a Class of Timed Automata Based on Elapsed Time Graphs. - Jun Li 086; Dimitri Lefebvre; Christoforos N. Hadjicostis; Zhiwu Li 001 (IEEE Trans. Autom. Control., 2022)

A Clustering Approach to Approximate the Timed Reachability Graph for a Class of Time Petri Nets. - Jiazhong Zhou; Dimitri Lefebvre; Zhi-Wu Li 001 (IEEE Trans. Autom. Control., 2022)

Logical and probabilistic aspects of state estimation for Markovian systems. - Dimitri Lefebvre; Carla Seatzu; Christoforos N. Hadjicostis; Alessandro Giua (CDC, 2023)

Mode Recognition in Attack Graphs Based on Conditional State Probability. - Omar Amri; Dimitri Lefebvre (CoDIT, 2023)

A Multi-Robot Mission Planner by Means of Beam Search Approach and 2-Opt Local Search. - Hamza Chakraa; Edouard Leclercq; François Guérin; Dimitri Lefebvre (CoDIT, 2023)

Performance evaluation of SCADA systems by means of Discrete Event Systems. - Omar Amri; Dimitri Lefebvre (ICNSC, 2023)

A Centralized Task Allocation Algorithm for a Multi-Robot Inspection Mission With Sensing Specifications. - Hamza Chakraa; Edouard Leclercq; François Guérin; Dimitri Lefebvre (IEEE Access, 2023)

Diagnosis of timed patterns for discrete event systems by means of state isolation. - Dimitri Lefebvre; Zhiwu Li 001; Ye Liang (Autom., 2023)

A New Approach for Remaining Useful Life Estimation Using Deep Learning. - Djalel Drici; Yahia Kourd; Mostefa Mohamed Touba; Dimitri Lefebvre (Autom. Control. Comput. Sci., 2023)

Scheduling of a class of partial routing FMS in uncertain environments with beam search. - Ghassen Cherif; Edouard Leclercq; Dimitri Lefebvre (J. Intell. Manuf., 2023)

Hybrid Filtered Beam Search Algorithm for the Optimization of Monitoring Patrols. - Marwa Gam; Achraf Jabeur Telmoudi; Dimitri Lefebvre (J. Intell. Robotic Syst., 2023)

Robust Stealthy Attacks Based on Uncertain Costs and Labeled Finite Automata With Inputs. - Rabah Ammour; Said Amari; Leonardo Brenner; Isabel Demongodin; Dimitri Lefebvre (IEEE Robotics Autom. Lett., 2023)

Probabilistic verification of diagnosability for a certain class of timed stochastic systems. - Dimitri Lefebvre; Christoforos N. Hadjicostis (Syst. Control. Lett., 2023)

Reconfigurable timed graphs for the design of optimal scheduling in uncertain environments based on transition-timed Petri net. - Oussama Hayane; Dimitri Lefebvre (Eur. J. Control, 2023)

Optimization techniques for Multi-Robot Task Allocation problems: Review on the state-of-the-art. - Hamza Chakraa; François Guérin; Edouard Leclercq; Dimitri Lefebvre (Robotics Auton. Syst., 2023)

A preliminary study about multi-robot task allocation with energy constraints. - Chaima Baccouche; Imen Iben Ammar; Dimitri Lefebvre; Achraf Jabeur Telmoudi (CASE, 2024)

Consensus approach based on negotiation and 2-opt optimization for MRTA problems in a decentralized setting. - Dimitri Lefebvre; Isabel Demongodin; Rabah Ammour; Sara Hsaini; Moulay El Hassan Charaf (CoDIT, 2024)

State estimation for constant-time labeled automata under dense time. - Jun Li 086; Dimitri Lefebvre; Christoforos N. Hadjicostis; Zhiwu Li 001 (Autom., 2024)

State estimation of timed automata under partial observation [Draft version]. - Chao Gao; Dimitri Lefebvre; Carla Seatzu; Zhi-Wu Li 001; Alessandro Giua (CoRR, 2024)

An extremum timed extended reachability graph for temporal analysis of time Petri nets. - Jiazhong Zhou; Dimitri Lefebvre; ZhiWu Li 001 (Discret. Event Dyn. Syst., 2024)

Current State Estimation of Timed Labeled Synchronized Petri Nets. - Mouna Gaouar; Rabah Ammour; Isabel Demongodin; Dimitri Lefebvre (IEEE Control. Syst. Lett., 2025)

Polynomial-time verification of pattern diagnosability for timed discrete event systems. - Ye Liang; Dimitri Lefebvre; Zhiwu Li 001 (Inf. Sci., 2025)

Monitor-Based Supervisory Control of Labeled Petri Nets Under Sensor Attacks. - Ziliang Zhang; Gaiyun Liu; Dimitri Lefebvre; Zhiwu Li 001 (IEEE Trans Autom. Sci. Eng., 2025)

Integrating collision avoidance strategies into multi-robot task allocation for inspection. - Hamza Chakraa; Edouard Leclercq; François Guérin; Dimitri Lefebvre (Trans. Inst. Meas. Control, 2025)

Verification of State-Based Timed Opacity for Constant-Time Labeled Automata. - Jun Li 086; Dimitri Lefebvre; Christoforos N. Hadjicostis; Zhiwu Li 001 (IEEE Trans. Autom. Control., 2025)

State Estimation of Timed Automata Under Partial Observation. - Chao Gao; Dimitri Lefebvre; Carla Seatzu; Zhi Wu Li 001; Alessandro Giua (IEEE Trans. Autom. Control., 2025)

Probabilistic State Estimation of Timed Probabilistic Discrete Event Systems via Artificial Neural Networks [Draft Version]. - Omar Amri; Carla Seatzu; Alessandro Giua; Dimitri Lefebvre (CoRR, 2025)

Optimal Task and Motion Planning for Autonomous Systems Using Petri Nets. - Zhou He 001; Shilong Yuan; Ning Ran; Dimitri Lefebvre (CoRR, 2025)

Task Allocation of UAVs for Monitoring Missions via Hardware-in-the-Loop Simulation and Experimental Validation. - Hamza Chakraa; François Guérin; Edouard Leclercq; Dimitri Lefebvre (CoRR, 2025)

State estimation of timed probabilistic discrete event systems via artificial neural networks. - Omar Amri; Carla Seatzu; Alessandro Giua; Dimitri Lefebvre (Discret. Event Dyn. Syst., 2025)