Revision on ‘Maximally permissive deadlock prevention via an Invariant Controlled Method’
Daniel Yuh Chao
International Journal of Production Research, 2015, vol. 53, issue 15, 4492-4498
Abstract:
All current design approaches of maximally permissive supervisors assume that forbidden and legal markings are linearly separable. Based on that implicit assumption, Liu et al. propose a novel method of optimal control of a problematic siphon to synthesise maximally permissive controllers. However, there are counter examples for which we could not produce optimal solutions. This occurs when forbidden and legal markings are not linearly separable even though it rarely happens. Verifying linear separability involves solving a large set of linear inequalities and is quite time consuming. This paper aims to relieve this problem via enhancing our critical-siphon approach. Specifically, we propose to: (1) find an efficient method to detect linear inseparability; (2) construct best suboptimal control models; (3) find all lost legal markings; and (4) identify the linear equations that violate linear separability. Each above contribution is unique and pioneering.
Date: 2015
References: Add references at CitEc
Citations:
Downloads: (external link)
http://hdl.handle.net/10.1080/00207543.2014.949897 (text/html)
Access to full text is restricted to subscribers.
Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.
Export reference: BibTeX
RIS (EndNote, ProCite, RefMan)
HTML/Text
Persistent link: https://EconPapers.repec.org/RePEc:taf:tprsxx:v:53:y:2015:i:15:p:4492-4498
Ordering information: This journal article can be ordered from
http://www.tandfonline.com/pricing/journal/TPRS20
DOI: 10.1080/00207543.2014.949897
Access Statistics for this article
International Journal of Production Research is currently edited by Professor A. Dolgui
More articles in International Journal of Production Research from Taylor & Francis Journals
Bibliographic data for series maintained by Chris Longhurst ().