Matches in SemOpenAlex for { <https://semopenalex.org/work/W4286377341> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W4286377341 endingPage "1654" @default.
- W4286377341 startingPage "1647" @default.
- W4286377341 abstract "Technological advances in the Internet of Things (IoTs) and the evolution of manufacturing models applied in industrial environments increase the use of concepts, such as plug-and-play in intelligent manufacturing systems for customized products. However, plug-and-play manufacturing modes are subjected to dynamic changes in both products and resources during the runtime phase. Hence, traditional model-based formal verification methods cannot guarantee system dependability before and after the reconfiguration. In addition, customized manufacturing is a product-driven process, which requires product- and equipment-based modeling and analysis to be considered during the product life-cycle management. In this article, a model-data-driven (DD) framework for the formal analysis of production resources is proposed. An IoT-based DD technology is combined with a model-driven approach to ensure dependability verification of formal models in the operational production line phase through real-time resource status feedback. The proposed method is verified experimentally, using a smart factory experimental platform. The results show that the proposed method reduces the time-cost of the formal modeling phase by at least 75%." @default.
- W4286377341 created "2022-07-21" @default.
- W4286377341 creator A5007360954 @default.
- W4286377341 creator A5014445434 @default.
- W4286377341 creator A5079301418 @default.
- W4286377341 date "2023-02-01" @default.
- W4286377341 modified "2023-09-29" @default.
- W4286377341 title "A Formal Analytical Framework for IoT-Based Plug-And Play Manufacturing System Considering Product Life-Cycle Design Cost" @default.
- W4286377341 cites W1911451788 @default.
- W4286377341 cites W2014019774 @default.
- W4286377341 cites W2039049774 @default.
- W4286377341 cites W2089982825 @default.
- W4286377341 cites W2094189035 @default.
- W4286377341 cites W2345190760 @default.
- W4286377341 cites W2401699222 @default.
- W4286377341 cites W2570286630 @default.
- W4286377341 cites W3088607545 @default.
- W4286377341 cites W3094127673 @default.
- W4286377341 cites W3162929413 @default.
- W4286377341 cites W3194459689 @default.
- W4286377341 cites W4205464291 @default.
- W4286377341 doi "https://doi.org/10.1109/tii.2022.3192681" @default.
- W4286377341 hasPublicationYear "2023" @default.
- W4286377341 type Work @default.
- W4286377341 citedByCount "1" @default.
- W4286377341 countsByYear W42863773412023 @default.
- W4286377341 crossrefType "journal-article" @default.
- W4286377341 hasAuthorship W4286377341A5007360954 @default.
- W4286377341 hasAuthorship W4286377341A5014445434 @default.
- W4286377341 hasAuthorship W4286377341A5079301418 @default.
- W4286377341 hasConcept C111498074 @default.
- W4286377341 hasConcept C111919701 @default.
- W4286377341 hasConcept C11413529 @default.
- W4286377341 hasConcept C115903868 @default.
- W4286377341 hasConcept C117671659 @default.
- W4286377341 hasConcept C119701452 @default.
- W4286377341 hasConcept C127413603 @default.
- W4286377341 hasConcept C144133560 @default.
- W4286377341 hasConcept C149635348 @default.
- W4286377341 hasConcept C162853370 @default.
- W4286377341 hasConcept C19351080 @default.
- W4286377341 hasConcept C194304873 @default.
- W4286377341 hasConcept C200601418 @default.
- W4286377341 hasConcept C201995342 @default.
- W4286377341 hasConcept C2524010 @default.
- W4286377341 hasConcept C2780070844 @default.
- W4286377341 hasConcept C33923547 @default.
- W4286377341 hasConcept C41008148 @default.
- W4286377341 hasConcept C75606506 @default.
- W4286377341 hasConcept C77019957 @default.
- W4286377341 hasConcept C90673727 @default.
- W4286377341 hasConceptScore W4286377341C111498074 @default.
- W4286377341 hasConceptScore W4286377341C111919701 @default.
- W4286377341 hasConceptScore W4286377341C11413529 @default.
- W4286377341 hasConceptScore W4286377341C115903868 @default.
- W4286377341 hasConceptScore W4286377341C117671659 @default.
- W4286377341 hasConceptScore W4286377341C119701452 @default.
- W4286377341 hasConceptScore W4286377341C127413603 @default.
- W4286377341 hasConceptScore W4286377341C144133560 @default.
- W4286377341 hasConceptScore W4286377341C149635348 @default.
- W4286377341 hasConceptScore W4286377341C162853370 @default.
- W4286377341 hasConceptScore W4286377341C19351080 @default.
- W4286377341 hasConceptScore W4286377341C194304873 @default.
- W4286377341 hasConceptScore W4286377341C200601418 @default.
- W4286377341 hasConceptScore W4286377341C201995342 @default.
- W4286377341 hasConceptScore W4286377341C2524010 @default.
- W4286377341 hasConceptScore W4286377341C2780070844 @default.
- W4286377341 hasConceptScore W4286377341C33923547 @default.
- W4286377341 hasConceptScore W4286377341C41008148 @default.
- W4286377341 hasConceptScore W4286377341C75606506 @default.
- W4286377341 hasConceptScore W4286377341C77019957 @default.
- W4286377341 hasConceptScore W4286377341C90673727 @default.
- W4286377341 hasIssue "2" @default.
- W4286377341 hasLocation W42863773411 @default.
- W4286377341 hasOpenAccess W4286377341 @default.
- W4286377341 hasPrimaryLocation W42863773411 @default.
- W4286377341 hasRelatedWork W1513821705 @default.
- W4286377341 hasRelatedWork W2013035321 @default.
- W4286377341 hasRelatedWork W2021137365 @default.
- W4286377341 hasRelatedWork W2060909242 @default.
- W4286377341 hasRelatedWork W2110398091 @default.
- W4286377341 hasRelatedWork W2309403709 @default.
- W4286377341 hasRelatedWork W2895044751 @default.
- W4286377341 hasRelatedWork W3217667592 @default.
- W4286377341 hasRelatedWork W4232032180 @default.
- W4286377341 hasRelatedWork W4286377341 @default.
- W4286377341 hasVolume "19" @default.
- W4286377341 isParatext "false" @default.
- W4286377341 isRetracted "false" @default.
- W4286377341 workType "article" @default.