Path detectability verification for time-dependent systems with application to flexible manufacturing systems

DOI10.1016/j.ins.2024.121404MaRDI QIDQ6658942

Almetwally M. Mostafa, Jiawang Zhu, Tao Qin, Zhiwu Li, Xin Hu

Publication date: 8 January 2025

Published in: Information Sciences (Search for Journal in Brave)

zbMATH Keywords

discrete event systempath detectabilityreal-time observationtime labeled Petri net

Mathematics Subject Classification ID

Systems theory; control (93-XX) Operations research, mathematical programming (90-XX)

This page was built for publication: Path detectability verification for time-dependent systems with application to flexible manufacturing systems