Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings

DOI10.1109/TAC.2023.3292747MaRDI QIDQ6200013zbMATH OpenFDO

Authors Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li

Publication date 29 February 2024

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

Full work available at URL https://doi.org/10.1109/TAC.2023.3292747

zbMATH Keywords

critical observabilitydiscrete event system (DES)Petri net (PN)supervisory control

Mathematics Subject Classification ID

Systems theory; control (93-XX)

This page was built for publication: Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6200013)