1 Result(s)

Article

Current-state opacity verification in discrete event systems using an observer net

Due to the proliferation of contemporary computer-integrated systems and communication networks, there is more concern than ever regarding privacy, given the potential for sensitive data exploitation. A recent...

Abdeldjalil Labed, Ikram Saadaoui, Naiqi Wu, Jiaxin Yu, Zhiwu Li in Scientific Reports (2022)