Verification and enforcement of strong state-based opacity for discrete-event systems

Automatica 2026 Open access

Read full text

Authors: Xiaoguang Han, Kuize Zhang, Zhiwu Li

DOI: 10.1016/j.automatica.2026.113237

Cited by: 0

Fields of Study & Subjects

Petri Nets in System Modeling Formal Methods in Verification Distributed systems and fault tolerance