Work

$K$-Step Opacity Verification and Enforcement of Time Labeled Petri Net Systems

Year: 2025

Type: article

Source: IEEE Transactions on Automatic Control

DOI: 10.1109/tac.2025.3552020

Authors: Yifan Dong, Dimitri Lefebvre, Zhiwu Li

Institutions: Macau University of Science and Technology, Université Le Havre Normandie, Groupe de Recherche en Electrotechnique et Automatique du Havre

Language: English

Topic: Petri Nets in System Modeling

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Agence Nationale de la Recherche

Award: Timed Event-Based Methods for Networked Control Systems Security

OpenAlex ID: W4408519638

FWCI: 1.985

Cites: 30

Cited by: 4

Related to: 10