Communications dans des conférences internationales avec comité de lecture et actes (2021-2023)
- R. Ammour, S. Amari, L. Brenner, I. Demongodin, D. Lefebvre, Observer Design for Bounded Output Synchronized Petri Nets, Proc. ECC, Copenhague, Netherlands, 2021.
- M. Gam, D. Lefebvre, L. Nabli, A. Jabeur Telmoudi Optimization of maintenance patrols planning, Proc. 29th Mediterranean Conference on Control and Automation (IEEE- MED), Bari, Italy, June 2021.
- R. Ammour, S. Amari, L. Brenner, I. Demongodin, D. Lefebvre, Costs analysis of stealthy attacks with bounded output synchronized Petri nets, Proc. IEEE CASE, Lyon, France, 2021.
- O. Hayane, D. Lefebvre, Reconfigurable Timed Extended Reachability Graphs for scheduling problems in uncertain environments, Proc. IEEE CASE, Lyon, France, 2021.
- C. Gao, D. Lefebvre, C. Seatzu, Z. Li and A. Giua, State estimation of timed automata under no event observation, Proc. SIDRA, Italy, 2021.
- D. Kirchhübel, D. Lefebvre M. Lind, S. Lmansouri C. Myllerup, Timing Aspects in Causality Analysis with Multilevel Flow Modelling, IFAC-PapersOnLine, Vol. 55, Issue 6, pp. 649-654, Proc. IFAC Safeprocess, Pafos, Cyprus, 2022.
- Y. Liang, D. Lefebvre, Z. Li, Fault Pattern Diagnosis of Discrete-Event Systems by Means of State Isolation, Proc. IFAC Safeprocess, Pafos, Cyprus, 2022.
- M. Gam, O. Hayane, D. Lefebvre, Optimization of a two-stage logistic system using Hybrid Filtered Beam Search algorithm, EUROSIS ISC, Dublin, Ireland, 2022.
- D Lefebvre, Z. Li, Y. Liang, Verifiers for the detection of timed patterns in discrete event systems, IFAC WODES, Praha, Czech Republic, 2022.
- R. Ammour, S. Amari, L. Brenner, I. Demongodin, D. Lefebvre, Observer design for labeled finite automata with inputs under stealthy actuators attacks, IFAC WODES, Praha, Czech Republic, 2022.
- D. Dahak, Y. Kourd, D. Lefebvre, Collision Avoidance and Fault Diagnosis Controller Based on Petri net models, Proc. ICEET, Tianjin, China, 2022.
- G. Cherif, D. Lefebvre, Modelling and optimization approaches for advanced manufacturing systems, ICIEA - Europe, Roma, Italy, 2023.
- O. Amri, D. Lefebvre, Mode Recognition in Attack Graphs Based on Conditional State Probability, Proc. IEEE-CODIT, Roma, Italy, 2023.
- H. Chakraa Beam, E. Leclercq, F. Guérin, D. Lefebvre, A Multi-Robot Mission Planner by Means of Search Approach and 2-Opt Local Search, Proc. IEEE-CODIT, Roma, Italy, 2023.
- J. Komenda D. Lefebvre, On tick automata for distributed timed DESs with synchronizations and minimal time constraints, Proc. IFAC WC, Yokohama, Japan, 2023.
- C. Gao, A. Giua, C. Seatzu, D. Lefebvre, Z. Li, Fault diagnosis of Timed Discrete Event Systems, Proc. IFAC WC, Yokohama, Japan, 2023.
- D. Lefebvre, C. Seatzu, C. Hadjicostis, A. Giua, Logical and probabilistic aspects of state estimation for Markovian systems, submitted to 62nd IEEE-CDC, Singapore,2023.
- O. Amri, D. Lefebvre, Performance evaluation of SCADA systems by means of Discrete Event Systems, ICNSC 2023, Marseille, France, 2023.
- D. Lefebvre, Privacy and Security in Cyber-physical Systems with Discrete Event Systems, Keynote paper, Proc. The 8th International Conference on Industrial Engineering and Applications (ICIEA Europe), Barcelona, Spain, January 2021.
- D. Lefebvre, From observation to inference : A discrete event systems perspective - Applications to cybersecurity, Keynote paper, Proc. The 8th International Conference on Industrial Engineering and Applications (ICIEA Europe), Barcelona, Spain, January 2022.
- D. Lefebvre, Optimization of Multi-Robot Systems, Keynote paper, Proc. IEEE-CODIT, Roma, Italy, 2023.