Enforcement for infinite-step opacity and K-step opacity via insertion mechanism (Q2125498)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Enforcement for infinite-step opacity and K-step opacity via insertion mechanism
scientific article

    Statements

    Enforcement for infinite-step opacity and K-step opacity via insertion mechanism (English)
    0 references
    0 references
    0 references
    0 references
    14 April 2022
    0 references
    discrete event systems
    0 references
    opacity enforcement
    0 references
    insertion function
    0 references
    infinite-step opacity
    0 references
    \(K\)-step opacity
    0 references

    Identifiers