logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
D

Dimitri Lefebvre

universite le havre normandie

26H-index
368Paper Count
3.1KCitation Count
Published Papers 55
Publication Date
logo
Observer design and opacity verification for a class of timed automata
errNonlinear Analysis-Hybrid Systems
IF4.1
err2026-08-19
err0
PREAI
errChao Gao; Dimitri Lefebvre; Carla Seatzu; Zhiwu Li; Alessandro Giua
errShare
errSave
Detectability, opacity and declassification of timed DESs with release observation mechanism
errNonlinear Analysis-Hybrid Systems
IF4.1
err2026-08-11
err0
PREAI
errDimitri Lefebvre
errShare
errSave
Fault Diagnosis of Networked Time Petri Nets With Communication Delays
errIEEE Transactions on Automatic Control
IF7
err2026-08-06
err0
PREAI
errShun Wang; Gaiyun Liu; Dimitri Lefebvre; Zhiwu Li
errShare
errSave
Verification of current-state opacity using tagged colored Petri nets☆
errAutomatica
IF5.9
err2026-06-01
err0
PREAI
errDong, Yifan; Lefebvre, Dimitri; Li, Zhiwu
errShare
errSave
On clock interval automata for a class of time PNs
errDiscrete Event Dynamic Systems-Theory and Applications
IF1.6
err2026-01-24
err0
PREAI
errKomenda, Jan; Lefebvre, Dimitri; Roux, Olivier H.
errShare
errSave
Survey and Future Trends for Cybersecurity in Maritime and Port Sectors: A Discrete Event Systems Perspective
errMATHEMATICS
IF2.2
err2025-11-14
err0
errOAAI
errLiu, Gaiyun; Amri, Omar; Liang, Ye; Zhang, Ziliang; Merino Laso, Pedro; Bertelle, Cyrille; Berred, Alexandre; Lefebvre, Dimitri
errShare
errSave
Optimal Path Planning for Multi-Robot Systems Using Petri Nets
errIEEE Robotics and Automation Letters
IF5.3
err2025-10-01
err0
PREAI
errZhou He; Shilong Yuan; Ning Ran; Dimitri Lefebvre
errShare
errSave
State Estimation of Timed Automata Under Partial Observation
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2025-03-01
err0
PREAI
errGao, Chao; Lefebvre, Dimitri; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
errShare
errSave
Detectability notions for a class of finite labeled Markovian systems
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2025-03-01
err0
errOAAI
errLefebvre, Dimitri; Seatzu, Carla; Hadjicostis, Christoforos N.; Giua, Alessandro
errShare
errSave
Verification of State-Based Timed Opacity for Constant-Time Labeled Automata
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2025-01-01
err0
PREAI
errLi, Jun; Lefebvre, Dimitri; Hadjicostis, Christoforos N.; Li, Zhiwu
errShare
errSave
Monitor-Based Supervisory Control of Labeled Petri Nets Under Sensor Attacks
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2025-01-01
err0
PREAI
errZhang, Ziliang; Liu, Gaiyun; Lefebvre, Dimitri; Li, Zhiwu
errShare
errSave
State estimation for constant-time labeled automata under dense time
errAUTOMATICA
IF5.9
err2024-12-01
err0
PREAI
errLi, Jun; Lefebvre, Dimitri; Hadjicostis, Christoforos N.; Li, Zhiwu
errShare
errSave
Scheduling for batch processes based on clustering approximated timed reachability graphs
errISA TRANSACTIONS
IF6.5
err2024-09-01
err0
errOAAI
errZhou, Jiazhong; Lefebvre, Dimitri; Li, Zhiwu
errShare
errSave
Diagnosis of timed patterns for discrete event systems by means of state isolation
errAUTOMATICA
IF5.9
err2023-07-01
err5
errOAAI
errLefebvre, Dimitri; Li, Zhiwu; Liang, Ye
errShare
errSave
Hybrid Filtered Beam Search Algorithm for the Optimization of Monitoring Patrols
errJOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS
IF2.8
err2023-02-04
err9
PREAI
errGam, Marwa; Telmoudi, Achraf Jabeur; Lefebvre, Dimitri
errShare
errSave
A Centralized Task Allocation Algorithm for a Multi-Robot Inspection Mission With Sensing Specifications
errIEEE ACCESS
IF3.6
err2023-01-01
err5
errOAAI
errChakraa, Hamza; Leclercq, Edouard; Guerin, Francois; Lefebvre, Dimitri
errShare
errSave
A Clustering Approach to Approximate the Timed Reachability Graph for a Class of Time Petri Nets
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-07-01
err7
PREAI
errZhou, Jiazhong; Lefebvre, Dimitri; Li, Zhiwu
errShare
errSave
Observers for a Class of Timed Automata Based on Elapsed Time Graphs
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-02-01
err13
PREAI
errLi, Jun; Lefebvre, Dimitri; Hadjicostis, Christoforos N.; Li, Zhiwu
errShare
errSave
Exposure and Revelation Times as a Measure of Opacity in Timed Stochastic Discrete Event Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2021-12-01
err6
PREAI
errLefebvre, Dimitri; Hadjicostis, Christoforos N.
errShare
errSave
Influence assessment of inlet parameters on thermal risk and productivity: Application to the epoxidation of vegetable oils
errJOURNAL OF LOSS PREVENTION IN THE PROCESS INDUSTRIES
IF4.2
err2021-09-01
err14
errOAAI
errZora, Nelcis; Rigaux, Thomas; Buvat, Jean-Christophe; Lefebvre, Dimitri; Leveneur, Sebastien
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
Z
Zhiwu Li
H-index: 78 · Papers: 935
A
Alessandro Giua
H-index: 51 · Papers: 531
C
Christoforos N. Hadjicostis
H-index: 44 · Papers: 438
C
Carla Seatzu
H-index: 41 · Papers: 352
李
李清岭 (Qingling Li)
H-index: 34 · Papers: 296
View more