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)
— Opacity describes the inability for an external observer to know what happened in a system. Recently, opacity has been investigated in the framework of discrete event systems. In our previous paper, we define two types of opacities: strong opacity and weak opacity. Given a general observation mapping, a language is strongly opaque if all strings in the(More)
  • 1