Dimitri Lefebvre

Orcid: 0000-0001-7060-756X

According to our database1, Dimitri Lefebvre authored at least 160 papers between 1998 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Optimization techniques for Multi-Robot Task Allocation problems: Review on the state-of-the-art.
Robotics Auton. Syst., October, 2023

Reconfigurable timed graphs for the design of optimal scheduling in uncertain environments based on transition-timed Petri net.
Eur. J. Control, September, 2023

Probabilistic verification of diagnosability for a certain class of timed stochastic systems.
Syst. Control. Lett., June, 2023

Robust Stealthy Attacks Based on Uncertain Costs and Labeled Finite Automata With Inputs.
IEEE Robotics Autom. Lett., May, 2023

Hybrid Filtered Beam Search Algorithm for the Optimization of Monitoring Patrols.
J. Intell. Robotic Syst., February, 2023

Scheduling of a class of partial routing FMS in uncertain environments with beam search.
J. Intell. Manuf., February, 2023

A New Approach for Remaining Useful Life Estimation Using Deep Learning.
Autom. Control. Comput. Sci., February, 2023

Diagnosis of timed patterns for discrete event systems by means of state isolation.
Autom., 2023

A Centralized Task Allocation Algorithm for a Multi-Robot Inspection Mission With Sensing Specifications.
IEEE Access, 2023

Performance evaluation of SCADA systems by means of Discrete Event Systems.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2023

A Multi-Robot Mission Planner by Means of Beam Search Approach and 2-Opt Local Search.
Proceedings of the 9th International Conference on Control, 2023

Mode Recognition in Attack Graphs Based on Conditional State Probability.
Proceedings of the 9th International Conference on Control, 2023

Logical and probabilistic aspects of state estimation for Markovian systems.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022
A Clustering Approach to Approximate the Timed Reachability Graph for a Class of Time Petri Nets.
IEEE Trans. Autom. Control., 2022

Observers for a Class of Timed Automata Based on Elapsed Time Graphs.
IEEE Trans. Autom. Control., 2022

Diagnosability of fault patterns with labeled stochastic Petri nets.
Inf. Sci., 2022

A multi-objective criterion and stability analysis for neural adaptive control of nonlinear MIMO systems: an experimental validation.
Int. J. Autom. Control., 2022

A novel fault detection approach based on multilinear sparse PCA: application onthe semiconductor manufacturing processes.
Turkish J. Electr. Eng. Comput. Sci., 2022

Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection.
Discret. Event Dyn. Syst., 2022

Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection.
Discret. Event Dyn. Syst., 2022

2021
Exposure and Revelation Times as a Measure of Opacity in Timed Stochastic Discrete Event Systems.
IEEE Trans. Autom. Control., 2021

Stability analysis of adaptive control using fuzzy adapting rate neural emulator: Experimental validation on a thermal process.
J. Syst. Control. Eng., 2021

An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems.
Inf. Sci., 2021

A petri nets based approach for the optimisation of surveillance patrols.
Int. J. Sens. Networks, 2021

Optimization of maintenance patrols planning.
Proceedings of the 29th Mediterranean Conference on Control and Automation, 2021

Observer Design for Bounded Output Synchronized Petri Nets.
Proceedings of the 2021 European Control Conference, 2021

Reconfigurable Timed Extended Reachability Graphs for scheduling problems in uncertain environments.
Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

Costs analysis of stealthy attacks with bounded output synchronized Petri nets.
Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

2020
Diagnosis of Structural and Temporal Faults for $k$ -Bounded Non-Markovian Stochastic Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2020

Control Design for Bounded Partially Controlled TPNs Using Timed Extended Reachability Graphs and MDP.
IEEE Trans. Syst. Man Cybern. Syst., 2020

Distributed Monitoring Based on P-Time Petri Nets and Chronicle Recognition of the Tunisian Railway Network.
J. Electr. Comput. Eng., 2020

Robust scheduling of flexible manufacturing systems with unreliable operations and resources.
Int. J. Prod. Res., 2020

Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers.
Discret. Event Dyn. Syst., 2020

Early detection and diagnosis of thermal runaway reactions using model-based approaches in batch reactors.
Comput. Chem. Eng., 2020

Modeling and Scheduling Methods for Batch Production Systems Based on Petri Nets and Heuristic Search.
IEEE Access, 2020

A region-based approach for state estimation of timed automata under no event observation.
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Precision Evaluation of a class of Timed Workflow Nets.
Proceedings of the 7th International Conference on Control, 2020

Configuration of surveillance patrols with Petri nets for safety issues.
Proceedings of the 7th International Conference on Control, 2020

2019
Datation of Faults for Markovian Stochastic DESs.
IEEE Trans. Autom. Control., 2019

Robust control for railway transport networks based on stochastic P-timed Petri net models.
J. Syst. Control. Eng., 2019

Approximated timed reachability graphs for the robust control of discrete event systems.
Discret. Event Dyn. Syst., 2019

Robust Deadlock-free Scheduling for FMS with Liveness-enforcing Supervisor Combined with Beam Search Controller.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

Revelation Time for Initial-State Opacity Measurement in Timed Discrete Event Systems.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

Hybrid FMS scheduling using T-TPN and Beam Search in uncertain environments.
Proceedings of the IECON 2019, 2019

Exposure Time as a Measure of Opacity in Timed Discrete Event Systems.
Proceedings of the 17th European Control Conference, 2019

Generation Filtered Beam Search algorithm for the scheduling of hybrid FMS using T-TPN.
Proceedings of the 17th European Control Conference, 2019

Trajectory-observers of timed stochastic discrete event systems: Applications to privacy analysis.
Proceedings of the 6th International Conference on Control, 2019

Identification of Railway Transport Systems using stochastic P-timed Petri nets model.
Proceedings of the 6th International Conference on Control, 2019

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

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

Control design of timed continuous Petri nets via model predictive constant control.
Int. J. Control, 2018

Model predictive control for discrete and continuous timed Petri nets.
Int. J. Autom. Comput., 2018

Faults prognosis using partially observed stochastic Petri-nets: an incremental approach.
Discret. Event Dyn. Syst., 2018

Model-based fault detection and isolation for chemical processes: Application to the prevention of thermal runaway.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2018

Singularity Loci and Kinematic Induced Constraints for an XY-Theta Platform Designed for High Precision Positioning.
Proceedings of the 15th International Conference on Informatics in Control, 2018

Moving Average control chart for the detection and isolation of temporal faults in stochastic Petri nets.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Control design for timed Petri nets based on LMIs and structure expansion.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Modeling hybrid manufacturing systems using T-TPN with buffers.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Temporal fault diagnosis for k-bounded non-Markovian SPN.
Proceedings of the 5th International Conference on Control, 2018

Modelling and Performance Evaluation of Railway transport Systems using P-timed Petri Nets.
Proceedings of the 5th International Conference on Control, 2018

2017
Automatic Detection of Defects in Tire Radiographic Images.
IEEE Trans Autom. Sci. Eng., 2017

Detection of freezing of gait for Parkinson's disease patients with multi-sensor device and Gaussian neural networks.
Int. J. Mach. Learn. Cybern., 2017

State estimation of discrete event systems for RUL prediction issue.
Int. J. Prod. Res., 2017

A systematic design of emulators for multivariable non square and nonlinear systems.
Int. J. Autom. Comput., 2017

Fault prognosis of timed stochastic discrete event systems with bounded estimation error.
Autom., 2017

Evaluating the robustness of scheduling in uncertain environment with Petri nets.
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

Probability of faults for partially observed Timed PNs with temporal constraints.
Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

Fault diagnosis for non-Markovian timed stochastic discrete event systems.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Near-optimal control sequence design for untimed Petri nets based on a reduced breadth and depth exploration.
Proceedings of the 4th International Conference on Control, 2017

2016
Approaching Minimal Time Control Sequences for Timed Petri Nets.
IEEE Trans Autom. Sci. Eng., 2016

Design of an XY-theta platform held by a planar manipulator with four revolute joints and evaluation of its precision performances.
Robotica, 2016

Diagnosability of Petri nets with observation graphs.
Discret. Event Dyn. Syst., 2016

Signal processing and Gaussian neural networks for the edge and damage detection in immersed metal plate-like structures.
Artif. Intell. Rev., 2016

Deadlock-free scheduling for timed Petri net models combined with MPC and backtracking.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Faults prognosis using partially observed stochastic Petri nets.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

2015
Control Design for Trajectory Tracking With Untimed Petri Nets.
IEEE Trans. Autom. Control., 2015

Gradient-based controllers for timed continuous Petri nets.
Int. J. Syst. Sci., 2015

An adaptive neural controller based on neural emulator for single-input multi-output nonlinear systems.
Proceedings of the 14th European Control Conference, 2015

Deadlock-free scheduling for manufacturing systems based on timed Petri nets and model predictive control.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Control Design of Elementary Hybrid Petri Nets via Model Predictive Control.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

Estimation of the fault occurrence dates in DESs with partially observed stochastic Petri nets.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014
Fault Diagnosis and Prognosis With Partially Observed Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2014

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

Neural Networks and Fault Probability Evaluation for Diagnosis Issues.
Comput. Intell. Neurosci., 2014

Control Design of Timed Petri Nets Via Model Predictive Control with ContPNs.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Fault Probability Evaluation in DESs with an Algorithm of Linear Complexity and Partially Observed SPNs.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

An algorithm based on model predictive control for trajectories tracking with untimed PNs.
Proceedings of the 22nd Mediterranean Conference on Control and Automation, 2014

Characterization of Repeatability of XY-Theta Platform Held by Robotic Manipulator Arms using a Camera.
Proceedings of the ICINCO 2014 - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics, Volume 2, Vienna, Austria, 1, 2014

Limitation of flow variation of Timed Continuous Petri Nets via Model Predictive Control and Lyapunov criterion.
Proceedings of the 13th European Control Conference, 2014

Damage detection based on wavelet transform and artificial intelligence for underwater metallic structures.
Proceedings of the 13th European Control Conference, 2014

Probability of current state and future faults with partially observed stochastic Petri nets.
Proceedings of the 13th European Control Conference, 2014

Limitation of flow variation of timed continuous Petri Nets via Model Predictive Control.
Proceedings of the American Control Conference, 2014

Fault probability with partially observed stochastic Petri nets.
Proceedings of the American Control Conference, 2014

Sensoring and features extraction for the detection of Freeze of Gait in Parkinson disease.
Proceedings of the IEEE 11th International Multi-Conference on Systems, Signals & Devices, 2014

Multivariable adaptive neural control based on multimodel emulator for nonlinear square MIMO systems.
Proceedings of the IEEE 11th International Multi-Conference on Systems, Signals & Devices, 2014

2013
Parameter selection algorithm with self adaptive growing neural network classifier for diagnosis issues.
Int. J. Mach. Learn. Cybern., 2013

Feasibility of piecewise-constant control sequences for timed continuous Petri nets.
Autom., 2013

An Algorithm of Linear Complexity for the Diagnosis of Discrete Event Systems.
Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control, 2013

About Regulation and Disturbance Rejection for Partially Controlled ContPNs.
Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control, 2013

Fault diagnosis of a production and distribution system with Petri nets.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

State estimation and fault prediction with partially observed Petri nets.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Design of observations graphs for partially observed Petri nets: Application to the diagnosability analysis of DES1.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Adaptive generalized PID controllers and fuzzy logic coordinator for load sharing in SMSE.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012
Design and Identification of Stochastic and Deterministic Stochastic Petri Nets.
IEEE Trans. Syst. Man Cybern. Part A, 2012

Multimodel and neural emulators for non-linear systems: application to an indirect adaptive neural control.
Int. J. Model. Identif. Control., 2012

Adaptive control design using stability analysis and tracking errors dynamics for nonlinear square MIMO systems.
Eng. Appl. Artif. Intell., 2012

Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs.
Discret. Event Dyn. Syst., 2012

Characterization of micro displacements of serial robot.
Proceedings of the 17th International Conference on Methods & Models in Automation & Robotics, 2012

2011
Stochastic Petri Net Identification for the Fault Detection and Isolation of Discrete Event Systems.
IEEE Trans. Syst. Man Cybern. Part A, 2011

Hybrid Modeling for Performance Evaluation of Multisource Renewable Energy Systems.
IEEE Trans Autom. Sci. Eng., 2011

Self adaptive growing neural network classifier for faults detection and diagnosis.
Neurocomputing, 2011

Early FDI Based on Residuals Design According to the Analysis of Models of Faults: Application to DAMADICS.
Adv. Artif. Neural Syst., 2011

Finite time control design for contPNs according to piecewise constant control actions.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010
Indirect neural control for plant-wide systems: Application to the Tennessee Eastman Challenge Process.
Comput. Chem. Eng., 2010

A geometric approach for the homothetic approximation of stochastic Petri nets.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Input - Output Classification Mapping for the fault detection, identification and accommodation.
Proceedings of the IEEE International Conference on Systems, 2010

Comparative analysis of the repeatability performance of a serial and parallel robot.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

Modeling of the orientation repeatability for industrial manipulators.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

Homothetic Approximations for Stochastic PN.
Proceedings of the ICINCO 2010, 2010

FDI with Neural and Neurofuzzy Approaches - Application to Damadics.
Proceedings of the ICINCO 2010, 2010

2009
On modelling and diagnosis of Hybrid Dynamical Systems.
Int. J. Intell. Syst. Technol. Appl., 2009

Stable adaptive control with recurrent neural networks for square MIMO non-linear systems.
Eng. Appl. Artif. Intell., 2009

Self-organising map for large scale processes monitoring.
Proceedings of the 17th European Symposium on Artificial Neural Networks, 2009

Petri nets control design for hybrid electrical energy systems.
Proceedings of the American Control Conference, 2009

Approximation of MTS stochastic Petri nets steady state by means of continuous Petri nets: a numerical approach.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008
Firing Sequences Estimation in Vector Space Over Z<sub>3</sub> for Ordinary Petri Nets.
IEEE Trans. Syst. Man Cybern. Part A, 2008

Robust stability analysis of adaptive control based on recurrent ANN.
Int. J. Model. Identif. Control., 2008

Fault Detection by Means of DCS Algorithm Combined with Filters Bank - Application to the Tennessee Eastman Challenge Process.
Proceedings of the ICINCO 2008, 2008

Diagnosis of Discrete Event Systems with Petri Nets and Coding Theory.
Proceedings of the ICINCO 2008, 2008

Petri nets design based on neural networks.
Proceedings of the 16th European Symposium on Artificial Neural Networks, 2008

2007
Diagnosis of DES With Petri Net Models.
IEEE Trans Autom. Sci. Eng., 2007

Granular Space Structure on a Micrometric Scale for Industrial Robots.
Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007

Fault detection algorithm using DCS method combined with filters bank derived from the wavelet transform.
Proceedings of the ICINCO 2007, 2007

Forward kinematics and geometric control of a medical robot - application to dental implantation.
Proceedings of the ICINCO 2007, 2007

2006
Modelling of repeatability phenomena using the stochastic ellipsoid approach.
Robotica, 2006

2005
Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modelling.
Simul. Model. Pract. Theory, 2005

Autonomous learning algorithm for fully connected recurrent networks.
Neurocomputing, 2005

Parameters Estimation For Timed And Continuous Petri Nets: Application To The Identification And Monitoring Of Hybrid Systems.
Cybern. Syst., 2005

Determination of the Repeatability of a Kuka Robot Using the Stochastic Ellipsoid Approach.
Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005

2003
Structural sensitivity for the conflicts analysis in Petri nets.
Proceedings of the IEEE International Conference on Systems, 2003

Performances evaluation of the traffic control in a single crossroad by Petri nets.
Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

Autonomous learning algorithm for fully connected recurrent networks.
Proceedings of the 11th European Symposium on Artificial Neural Networks, 2003

Source and Sink Transitions Controllers for Continuous Petri Nets: A Gradient-Based Approach.
Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

2002
Fault detection and isolation in non-linear systems by using oversized neural networks.
Math. Comput. Simul., 2002

Optimal neural networks architectures for the flow-density relationships of traffic models.
Math. Comput. Simul., 2002

From fuzzy logic to hybrid Petri nets.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002

2001
Firing and enabling sequences estimation for timed Petri nets.
IEEE Trans. Syst. Man Cybern. Part A, 2001

Fuzzy multimodel of timed Petri nets.
IEEE Trans. Syst. Man Cybern. Part B, 2001

Estimation of the firing frequencies in discrete and continuous Petri nets models.
Int. J. Syst. Sci., 2001

Continuous Petri nets models for the analysis of traffic urban networks.
Proceedings of the IEEE International Conference on Systems, 2001

Fuzzy granular systems for the modeling of road traffic networks.
Proceedings of the IEEE International Conference on Systems, 2001

Fuzzy multimodel of a road crossing.
Proceedings of the IEEE International Conference on Systems, 2001

2000
Monitoring and diagnosis of manufacturing systems by neural networks: model-based versus data-based approach.
Neural Parallel Sci. Comput., 2000

Neural networks implementation for modeling and control design of manufacturing systems.
J. Intell. Manuf., 2000

Firing Sequences and Firing Frequencies Estimation for Timed Petri Nets.
Cybern. Syst., 2000

Model-based traffic monitoring by means of neural networks.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Firing speeds estimation for continuous Petri nets.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Optimal flow control for manufacturing systems modelled by continuous Petri nets.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

1999
Feedback control designs for manufacturing systems modelled by continuous Petri nets.
Int. J. Syst. Sci., 1999

1998
Dynamic Precompensation for the Discrete Time Control Design of Continuous Time Generalized State Space Systems.
Intell. Autom. Soft Comput., 1998


  Loading...