Work

Verification and optimisation of current-state opacity for discrete event systems with dual-channel delays: an integrated method

Year: 2026

Type: article

Source: International Journal of Control

DOI: 10.1080/00207179.2026.2755833

Authors: Huayi Cai, Yongyi Yan, Jumei Yue, Pengfei Meng, Xiaona Song

Institution: Henan University of Science and Technology

Language: English

Topic: Petri Nets in System Modeling

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Natural Science Foundation of China, Natural Science Foundation of Henan Province

OpenAlex ID: W7225423333

FWCI:

Cites: 26

Cited by:

Related to: 10