New insights into opacity verification in timed discrete-event systems

Automatica 2026

View at publisher
Authors: Weilin Deng, Daowen Qiu, Jingkai Yang
DOI: 10.1016/j.automatica.2026.112869
Cited by: 1
References: 37

Fields of Study & Subjects

Petri Nets in System Modeling Formal Methods in Verification Security and Verification in Computing

Publication details

Journal / source
Automatica
Publisher
Elsevier BV
Volume
186
Pages
112869–112869
Publication date
6 February 2026
Language
EN