English  |  正體中文  |  简体中文  |  Post-Print筆數 : 27 |  Items with full text/Total items : 93975/124424 (76%)
Visitors : 29051505      Online Users : 317
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
Scope Tips:
  • please add "double quotation mark" for query phrases to get precise results
  • please goto advance search for comprehansive author search
  • Adv. Search
    HomeLoginUploadHelpAboutAdminister Goto mobile version
    政大機構典藏 > 商學院 > 資訊管理學系 > 期刊論文 >  Item 140.119/79630
    Please use this identifier to cite or link to this item: http://nccur.lib.nccu.edu.tw/handle/140.119/79630

    Title: Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller
    Authors: Liu, GaiYun;Chao, Daniel Yuh
    Contributors: 資管系
    Keywords: flexible manufacturing system;Petri net;deadlock;siphon;integer linear programming problem
    Date: 2015
    Issue Date: 2015-12-10 16:16:35 (UTC+8)
    Abstract: To date, research on the supervisor design for flexible manufacturing systems focuses on speeding up the computation of optimal (maximally permissive) liveness-enforcing controllers. Recent deadlock prevention policies for systems of simple sequential processes with resources (S3PR) reduce the computation burden by considering only the minimal portion of all first-met bad markings (FBMs). Maximal permissiveness is ensured by not forbidding any live state. This paper proposes a method to further reduce the size of minimal set of FBMs to efficiently solve integer linear programming problems while maintaining maximal permissiveness using a vector-covering approach. This paper improves the previous work and achieves the simplest structure with the minimal number of monitors.
    Relation: International Journal of Control , Volume 88, Issue 8, pages 1423-1428
    Data Type: article
    DOI 連結: http://dx.doi.org/10.1080/00207179.2014.991940
    DOI: 10.1080/00207179.2014.991940
    Appears in Collections:[資訊管理學系] 期刊論文

    Files in This Item:

    File Description SizeFormat

    All items in 政大典藏 are protected by copyright, with all rights reserved.

    社群 sharing

    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - Feedback