Extended Insertion Functions for Opacity Enforcement in Discrete-Event Systems

DOI10.1109/tac.2021.3121249OpenAlexW3211020496MaRDI QIDQ6052714

Xiao-Yan Li, Christoforos N. Hadjicostis, Zhiwu Li

Publication date: 24 September 2023

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2021.3121249

zbMATH Keywords

opacityfinite-state automatondiscrete-event systemevent insertion constraint (EIC)extended insertion function

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Related Items

State estimation in labeled time Petri net systems using observed modified state class graph

This page was built for publication: Extended Insertion Functions for Opacity Enforcement in Discrete-Event Systems