Ikram Saadaoui
YOU?
Author Swipe
View article: Language-Based Opacity Verification in Partially Observed Petri Nets through Linear Constraints
Language-Based Opacity Verification in Partially Observed Petri Nets through Linear Constraints Open
Information security is an important area of concern in modern computer-integrated systems. It involves implementing preventative measures to protect confidential data from potential vulnerabilities, such as unauthorized access, secret dis…
View article: Language Recovery in Discrete-Event Systems against Sensor Deception Attacks
Language Recovery in Discrete-Event Systems against Sensor Deception Attacks Open
Cyber-physical systems are characterized by the intrinsic combination of software and physical components that usually include (wired and wireless) communication devices, sensors, actuators, and control processing units. Some wireless devi…
View article: Current-state opacity verification in discrete event systems using an observer net
Current-state opacity verification in discrete event systems using an observer net Open
View article: Depth-first Search Approach for Language-based Opacity Verification Using Petri Nets
Depth-first Search Approach for Language-based Opacity Verification Using Petri Nets Open
The rapidly growing use of modern computer-integrated systems involving critical assets underscores the need for developing measures to guarantee their security against malicious attacks. This paper deals with the problem of language-based…