Liveness supervision of AMS with complex processes using Petri nets

Hesuan Hu, Ying Tang, Mengchu Zhou, Zhiwu Li

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations

    Abstract

    In the context of automated manufacturing systems (AMS), Petri nets are widely adopted to solve the modeling, analysis, and control problems. So far, nearly all known approaches to liveness-enforcing supervisory control study AMS with either flexible routes or assembly operations, whereas little work investigates them with both. In this paper, we propose a novel class of systems, which can well deal with both features so as to facilitate the investigation of more complex systems. Using structural analysis, we show that liveness of such systems can be attributed to the absence of undermarked siphons, which is realizable by synthesizing a proper supervisory controller.

    Original languageEnglish (US)
    Title of host publication2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011 - Conference Digest
    Pages844-849
    Number of pages6
    DOIs
    StatePublished - Dec 23 2011
    Event2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011 - Anchorage, AK, United States
    Duration: Oct 9 2011Oct 12 2011

    Other

    Other2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011
    CountryUnited States
    CityAnchorage, AK
    Period10/9/1110/12/11

    All Science Journal Classification (ASJC) codes

    • Electrical and Electronic Engineering
    • Control and Systems Engineering
    • Human-Computer Interaction

    Fingerprint Dive into the research topics of 'Liveness supervision of AMS with complex processes using Petri nets'. Together they form a unique fingerprint.

    Cite this