PLC transition sequence identification based on logical reduction

DOI10.1007/S11768-025-00263-9MaRDI QIDQ6858303zbMATH OpenFDO

Authors Yue Luo, Jianhong Ye, Jiazhong Zhou, Jia Liu, Linping Jiang

Publication date 13 February 2026

Published in Control Theory and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11768-025-00263-9

zbMATH Keywords

Boolean logicPetri netPLCtransition sequence

Mathematics Subject Classification ID

Boolean control/observation systems (93C29) Digital control/observation systems (93C62) Discrete event control/observation systems (93C65)

Cites work

• Isomorphism testing of read-once functions and polynomials
• Model identification of unobservable behavior of discrete event systems using Petri nets
• Petri nets. Theoretical models and analysis methods for concurrent systems
• State estimation for constant-time labeled automata under dense time

This page was built for publication: PLC transition sequence identification based on logical reduction

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