Current-state opacity verification in discrete event systems using an observer net
Labed, Abdeldjalil, Saadaoui, Ikram, Wu, Naiqi, Yu, Jiaxin, Li, Zhiwu
Published in Scientific reports (14.12.2022)
Published in Scientific reports (14.12.2022)
Get full text
Journal Article
Language-Based Opacity Verification in Partially Observed Petri Nets through Linear Constraints
Saadaoui, Ikram, Labed, Abdeldjalil, Li, Zhiwu, El-Sherbeeny, Ahmed M., Du, Huiran
Published in Mathematics (Basel) (01.09.2023)
Published in Mathematics (Basel) (01.09.2023)
Get full text
Journal Article
Language Recovery in Discrete-Event Systems against Sensor Deception Attacks
Labed, Abdeldjalil, Saadaoui, Ikram, E, Hanyu, El-Meligy, Mohammed A., Li, Zhiwu, Sharaf, Mohamed
Published in Mathematics (Basel) (01.05.2023)
Published in Mathematics (Basel) (01.05.2023)
Get full text
Journal Article