On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places

DOI10.1093/IMAMCI/DNW043MaRDI QIDQ4555871zbMATH OpenOpenAlexFDO

Authors Xiuyan Zhang, Murat Uzam, Zhiwu Li, NaiQi Wu

Publication date 23 November 2018

Published in IMA Journal of Mathematical Control and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/imamci/dnw043

zbMATH Keywords

Petri netsflexible manufacturing systemdeadlock preventionliveness-enforcing supervisor

Mathematics Subject Classification ID

Deterministic scheduling theory in operations research (90B35) Synthesis problems (93B50) Multivariable systems, multidimensional control systems (93C35) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Software, source code, etc. for problems pertaining to systems and control theory (93-04) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs
• On structural minimality of optimal supervisors for flexible manufacturing systems
• Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
• On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach
• Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller

Cited in

(2)

• Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
• Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems

This page was built for publication: On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places

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