Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets

DOI10.1016/j.ins.2024.120907zbMath1544.93009MaRDI QIDQ6564945

Huanchao Du, Xiaoyan Li, Shengli Cao, Yihui Hu, Dan Li, Shaopeng Hu

Publication date: 1 July 2024

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

zbMATH Keywords

discrete event systemsupervisory controlfault diagnosisPetri net

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65)

This page was built for publication: Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets