skip to main content
10.1145/3284516.3284521acmotherconferencesArticle/Chapter ViewAbstractPublication PagesiccmaConference Proceedingsconference-collections
research-article

A Virtual Model of Manufacturing System Based on Hybrid Automata

Published: 12 October 2018 Publication History

Abstract

In view of the current virtual manufacturing system models lack the expression of the static structure affected by dynamic manufacturing process, which leads to the virtual model cannot express the change of the physical manufacturing system accurately, then affects real-time analysis of manufacturing system adversely. A fusion model combines the static structure and dynamic manufacturing process is established based on hybrid automata, which describe the manufacturing system static structure by hybrid automata state and the dynamic process by hybrid automata state transition event, then describe how the dynamic process acts on the static structure of the system by different event-driven state transition. In the end, by the implementation of the former work to modeling a manufacturing system from task assignment to exception handling.

References

[1]
Babiceanu R F, Seker R. Big Data and virtualization for manufacturing cyber-physical systems: A survey of the current status and future outlook{J}. Computers in Industry, 2016, 81(C):128--137.
[2]
Golden. Virtualization for Dummies®{M}. John Wiley & Sons, Inc. 2007.
[3]
Hu F, Lu Y, Vasilakos A V, et al. Robust Cyber-Physical Systems: Concept, models, and implementation *{J}. Future Generation Computer Systems, 2016, 56:449--475.
[4]
Chen D J, Maffei A, Ferreirar J, et al. A Virtual Environment for the Management and Development of Cyber-Physical Manufacturing Systems{J}. IFAC-PapersOnLine, 2015, 48(7):29--36.
[5]
Leitā, Paulo. Agent-based distributed manufacturing control: A state-of-the-art survey{J}. Engineering Applications of Artificial Intelligence, 2009, 22(7):979--991.
[6]
Leitão P, Colombo A W, Karnouskos S. Industrial automation based on cyber-physical systems technologies: Prototype implementations and challenges{J}. Computers in Industry, 2015, 81:11--25.
[7]
Christian Schwarz. Modelling a Real-Time Control System using Parameterized Linear Hybrid Automata. In Informatik 2011, number P -192 in LNI, Seite 328.
[8]
Zhang Y, Shi J, Zhang T, et al. Modeling and checking for Cyber-Physical System based on hybrid interface automata *{J}. Pervasive & Mobile Computing, 2015, 24:179--193.
[9]
KRISHNA S N, TRIVEDI A. Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems{J}. Journal of the Indian Institute of Science, 2015, 93(3):419--440.
[10]
Liang F J, Ning R X. Method of virtual manufacturing cell formation based on similarity science in reconfigurable manufacturing system{J}. Computer Integrated Manufacturing Systems, 2004, 10(11):0--0.
[11]
{Berkenkotter K, Bisanz S, Hannemann U, et al. HybridUML Profile for UML 2.0{J}. International Journal on Software Tools for Technology Transfer, 2003, 8(2).
[12]
Li-Xia J I, Jian-Hong M A. Research on Model Transformation and Model Checking of UML Based on Timed Automata{J}. Journal of Zhengzhou University, 2013.

Index Terms

  1. A Virtual Model of Manufacturing System Based on Hybrid Automata

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Other conferences
    ICCMA 2018: Proceedings of the 6th International Conference on Control, Mechatronics and Automation
    October 2018
    198 pages
    ISBN:9781450365635
    DOI:10.1145/3284516
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    In-Cooperation

    • SFedU: Southern Federal University
    • University of Alberta: University of Alberta

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 12 October 2018

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. Virtual model
    2. fusion model
    3. hybrid automata
    4. manufacturing system

    Qualifiers

    • Research-article
    • Research
    • Refereed limited

    Conference

    ICCMA 2018

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 50
      Total Downloads
    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 14 Feb 2025

    Other Metrics

    Citations

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media