Small-Size Liveness-Enforcing Supervisor for Automated Manufacturing Systems Using the Theory of Transition Cover
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Transactions on Systems, Man, and Cybernetics: Systems"
DOI: 10.1109/tsmc.2022.3209156
Abstract: The supervisor simplification problem for automated manufacturing systems (AMSs) has been receiving increasing attention in recent years. This article uses a well-known class of Petri nets, namely, systems of sequential systems with shared resources (S4Rs)… read more here.
Keywords: supervisor; automated manufacturing; liveness enforcing; manufacturing systems ... See more keywords