Non-blocking supervisory design using mixed integer programming

DOI10.3724/SP.J.1004.2009.00180zbMATH Open1212.93113OpenAlexW1999421911MaRDI QIDQ3572205FDOQ3572205

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

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

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)

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)