scientific article; zbMATH DE number 7155812

DOI10.7641/CTA.2018.80215MaRDI QIDQ5209327zbMATH OpenFDO

Authors Fuchun Liu, Yipeng Zhao, Rui Zhao

Publication date 22 January 2020

Full work available at URL https://doi.org/10.7641/CTA.2018.80215

zbMATH Keywords

decision tablediscrete-event systemopacityrough set theory

Mathematics Subject Classification ID

Theory of fuzzy sets, etc. (03E72) Discrete event control/observation systems (93C65)

Recommendations

• Verifying weak and strong \(k\)-step opacity in discrete-event systems
• Matrix approach for verification of opacity of partially observed discrete event systems
• Opacity of discrete event systems and its applications
• Comparing the notions of opacity for discrete-event systems
• Verification of initial-state opacity in security applications of discrete event systems
• Verification complexity of a class of observational properties for modular discrete events systems
• Probabilistic system opacity in discrete event systems
• Verification of approximate opacity for switched systems: a compositional approach
• Active opacity of discrete-event systems
• Decidability of opacity verification problems in labeled Petri net systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5209327)