Non-blocking supervisory design using mixed integer programming

DOI10.3724/SP.J.1004.2009.00180MaRDI QIDQ3572205zbMATH OpenOpenAlexFDO

Authors Mi Zhao, Zhiwu Li, Na Wei

Publication date 8 July 2010

Published in Acta Automatica Sinica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3724/sp.j.1004.2009.00180

zbMATH Keywords

Petri netflexible manufacturing systemsdeadlock preventionstrictly minimal siphon

Mathematics Subject Classification ID

Mixed integer programming (90C11) Design techniques (robust design, computer-aided design, etc.) (93B51) Discrete event control/observation systems (93C65)

Recommendations

• A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems
• On deadlock control for a class of generalised Petri net models of flexible manufacturing systems
• Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming
• An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming
• Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors

This page was built for publication: Non-blocking supervisory design using mixed integer programming

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