logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
D

Dimitri Lefebvre

Université Le Havre Normandie

26H指数
365论文数
3.1K被引数
收录论文 53
发表时间
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
err分享
err收藏
Detectability, opacity and declassification of timed DESs with release observation mechanism定时DESs在释放观察机制下的可检测性、不透明性和降级
errNonlinear Analysis-Hybrid Systems
IF4.1
err2026-08-11
err0
PREAI
errDimitri Lefebvre
err分享
err收藏
On clock interval automata for a class of time PNs时钟间隔自动机在时序Petri网一类中的应用
errDiscrete Event Dynamic Systems-Theory and Applications
IF1.6
err2026-01-24
err0
PREAI
errKomenda, Jan; Lefebvre, Dimitri; Roux, Olivier H.
err分享
err收藏
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
err分享
err收藏
Optimal Path Planning for Multi-Robot Systems Using Petri Nets基于Petri网的多机器人系统最优路径规划
errIEEE Robotics and Automation Letters
IF5.3
err2025-10-01
err0
PREAI
errZhou He; Shilong Yuan; Ning Ran; Dimitri Lefebvre
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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.
err分享
err收藏
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
err分享
err收藏
Scheduling of a class of partial routing FMS in uncertain environments with beam search不确定环境中一类部分路由FMS的波束搜索调度
errJOURNAL OF INTELLIGENT MANUFACTURING
IF7.4
err2021-08-25
err1
PREAI
errCherif, G.; Leclercq, E.; Lefebvre, D.
err分享
err收藏
Early detection and diagnosis of thermal runaway reactions using model-based approaches in batch reactors
errCOMPUTERS & CHEMICAL ENGINEERING
IF3.9
err2020-09-01
err10
errOAAI
errDakkoune, Amine; Vernieres-Hassimi, Lamiae; Lefebvre, Dimitri; Estel, Lionel
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
Z
Zhiwu Li
H 指数: 78 · 论文数: 924
A
Alessandro Giua
H 指数: 51 · 论文数: 531
C
Christoforos N. Hadjicostis
H 指数: 44 · 论文数: 438
C
Carla Seatzu
H 指数: 41 · 论文数: 351
李
李清岭 (Qingling Li)
H 指数: 34 · 论文数: 296
查看更多