Majed Ben-Kalefa

Learn More
In previous papers, we investigated the properties of opacity and we discussed the modification of the languages to satisfy the strong opacity, weak opacity, and no opacity in the framework of discrete event systems. In this paper, we study how to ensure strong opacity, weak opacity and no opacity by a supervisory control. If strong opacity, weak opacity or(More)
  • 1