16 Hits in 1.9 sec

Derivation of Diagnostic Models Based on Formalized Process Knowledge

Esteban Arroyo, Denis Schulze, Lars Christiansen, Alexander Fay, Nina F. Thornhill
2014 IFAC Proceedings Volumes  
combined with the use of fuzzy set theory to allow more accurate causality descriptions, and proposes a representation of the resulting diagnostic model in CAEX/AutomationML targeting dynamic data access  ...  In an effort to reduce such modeling complexity, this paper presents a structured causal modeling approach to supporting the derivation of diagnostic models based on formalized process knowledge.  ...  This tool will be compliant with the AutomationML modeling procedure developed in this contribution.  ... 
doi:10.3182/20140824-6-za-1003.00597 fatcat:l2oqfbm4evdgrfk7im2yyt2ooq

Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory

Alexander Diedrich, Alexander Maier, Oliver Niggemann
In this paper we present a novel model-based diagnosis approach for automatically diagnosing hybrid systems.  ...  With this, we create a static situation for the diagnosis algorithm and decouple modelling and diagnosis. Evaluating the system description generates one Boolean residual for each component.  ...  Information such as component models is stored, for example, in AutomationML (AutomationML 2009).  ... 
doi:10.1609/aaai.v33i01.33011452 fatcat:bdnfau7hpvekjmzub5iquayz3a

Industry 4.0-Driven Development of Optimization Algorithms: A Systematic Overview

Róbert Csalódi, Zoltán Süle, Szilárd Jaskó, Tibor Holczinger, János Abonyi, Renke Han
2021 Complexity  
AutomationML offers suitable data collection and preprocessing opportunities by being combined with model-driven engineering [147] . is integration can reduce manual effort and increase reusability.  ...  the given dispatching system and compared with the process model.  ... 
doi:10.1155/2021/6621235 fatcat:mvsxvo4bjnadlohiwmjd4frgfy

Asset Administration Shell for PLC representation based on IEC 61131-3

Salvatore Cavalieri, Marco Giuseppe Salafia
2020 IEEE Access  
For this reason, the paper presents an Asset Administration Shell model able to represent IEC 61131-3 programs and the relevant relationships with Programmable Logic Controllers and each device of the  ...  In the Reference Architecture Model for Industrie 4.0, the concept of Asset Administration Shell is presented as the corner stone of interoperability.  ...  Marco Pisasale for their valuable and constructive suggestions and contributions during the planning and development of this research work, with particular reference to the implementation of the prototype  ... 
doi:10.1109/access.2020.3013890 fatcat:7uzz2v6u7vcudezj2atogxpqdm

Methods for Semantic Interoperability in AutomationML-based Engineering

Yingbing Hua
To store and exchange such data, dedicated international standards are developed, including the XML-based data format AutomationML (AML).  ...  Industrial engineering is an interdisciplinary activity that involves human experts from various technical backgrounds working with different engineering tools.  ...  Therefore, AQT has an AML-based syntax, which allows constructing queries with conventional AutomationML tools.  ... 
doi:10.5445/ir/1000129048 fatcat:q4mvkzvqd5czzc7mcdolhkjfji

A decision-making framework for dynamic scheduling of cyber-physical production systems based on digital twins

Alberto Villalonga, Elisa Negri, Giacomo Biscardo, Fernando Castano, Rodolfo E. Haber, Luca Fumagalli, Marco Macchi
2021 Annual Reviews in Control  
The condition of the assets is predicted by the condition-based monitoring modules in the local digital twins of the workstations, whereas the production rate is evaluated and assured by the global digital  ...  traditional scheduling methods, this work proposes a new framework that exploits the aggregation of several digital twins, representing different physical assets and their autonomous decision-making, together with  ...  The DES model is also part of the DT-based framework.  ... 
doi:10.1016/j.arcontrol.2021.04.008 fatcat:eabhhgkvpfbobiup72e5sgl5ji

Knowledge-based cost-benefit analysis of robotics for SME-like manufacturing [article]

Thomas Dietz, Universität Stuttgart, Universität Stuttgart
These models and the meta-information required for their usage are collected in a knowledge base.  ...  The input for the cost-benefit assessment is a description of the current planning status in AutomationML. This information is matched to the information in the knowledge base through reasoning.  ...  Hence, resources have limited cardinality and limited capacity and therefore control the speed with which activities are processed in the model.  ... 
doi:10.18419/opus-10463 fatcat:7tktvsn5ajbtbehgiaeimd6l3u

An Approach to Automated Fusion System Design and Adaptation

Alexander Fritze, Uwe Mönks, Christoph-Alexander Holst, Volker Lohweg
2017 Sensors  
Manual interaction with the flexibly changing system is reduced to a minimum.  ...  Rule-based systems are powerful for knowledge modelling and inference. In combination with SensorML, an expressive knowledge base is generated.  ...  Rule-Based Systems Rule-based systems are well-established concepts for both knowledge modelling and inference. They were first proposed by Post [54] .  ... 
doi:10.3390/s17030601 pmid:28300762 pmcid:PMC5375887 fatcat:hadjc27zcjddfaw2zbxt5q2jue

A graphical toolkit for ISA-95 : empowering end users to develop bridges between ERP and MES

Laurens Lang, Christian Huemer, Bernhard Wally
As a consequence, the engineered graphical toolkit empowers end users with no coding skills to model automated production systems.  ...  In this work, we present a concrete graphical syntax and toolkit for the creation and presentation of IEC 62264-2 compliant models, using techniques from model-driven (software) engineering.  ...  AutomationML conforming models can be developed with the AutomationML editor.  ... 
doi:10.34726/hss.2020.62429 fatcat:jvkx35dfenadriec4f5avfmd7u

From modeling languages to query languages : a generative approach

Alexander Eigner, Manuel Wimmer
Thus, the need for querying models, which are usually created with DSMLs, grows as well, whereat model querying is not only important for information retrieval, but can also provide powerful means for  ...  In order to meet these needs, an EMF-based prototype has been developed in the course of this thesis based on Wieringa's Engineering Cycle , that generates the model querying language MQL automatically  ...  The first set will contain small and rather simple AutomationML domain models.  ... 
doi:10.34726/hss.2019.41110 fatcat:yuftwn4wpfdbxl7mzsybxhwfku

Semantic Modelling of Control Logic in Automation Systems - Knowledge-Based Support of the Engineering and Operation of Control Logic in Building and Industrial Automation Systems

Georg Ferdinand Schneider
Eine Voraussetzung für die Entwicklung solcher Methoden ist die formale Repräsentation von Domänenwissen mit Hilfe eines Modells.  ...  Formats and Models for Automation Systems The AutomationML format is a XML based format, which is developed by an industrial consortium (AutomationML e.V. 7 ).  ...  When applicable the cardinality of this relationship is defined and modelled as cardinality restriction on the respective property (see Table 4 .2).  ... 
doi:10.5445/ir/1000092405 fatcat:zxjqqdjsdredbgyevscanh5zq4

Dagstuhl Reports, Volume 9, Issue 5, May 2019, Complete Issue [article]

My work with x-ray micro-CT images of granular and porous materials required the development of robust topologically accurate and consistent versions of these operations.  ...  For instance, AutomationML comes with integrated versioning support [1] .  ...  to a few cardinal directions [4] .  ... 
doi:10.4230/dagrep.9.5 fatcat:b3zb7ot6zvcgfaa3awtv4zr3oa

Dagstuhl Reports, Volume 8, Issue 11, November 2018, Complete Issue [article]

hardware (including TEE-based), and with different incentives, e.g., in a high-valued fee-only revenue model.  ...  In particular, I will present some lessons learned from past and ongoing projects dealing with AutomationML and outline challenges and opportunities in this realm for the conceptual modelling research  ...  This combination, with an even emphasis on missing and extant data, provides an instrument for modeling data to develop intuitions.  ... 
doi:10.4230/dagrep.8.11 fatcat:26dpkqaulza4pjp6jqo2u6qqf4

A Reference Structure for Modular Metamodels of Quality-Describing Domain-Specific Modeling Languages

Misha Strittmatter
It enables design, evolution, and extension of metamodels for modeling languages used for quality analysis. Applying the reference structure yields a modular metamodel.  ...  Views and View Types In view-based modeling, models are not interacted with directly but through views.  ...  This thesis is not strictly dependent on feature models. There are also other variability modeling approaches (e.g., the Common Variability Language [Hau+08] ).  ... 
doi:10.5445/ksp/1000098906 fatcat:jjv54uoo3nbsbbedxkxx36rcsm

Coordinated Multi-View Graph Analysis and Improvement with Applications in Cyber-Physical Production Systems Engineering

Christian Engelbrecht, Stefan Biffl, Arndt Lüder
To represent models in CPPS Engineering, this thesis introduces the CMAI-Domain-Specific Language(DSL). Based on the CMAI-DSL, this thesis introduces the CMAI method.  ...  Multi-disciplinary engineering with dependencies between the models, that represent multiple views on the same real-world artefact, require coordination between engineers for analysing and improving linked  ...  Use Case AutomationML IEC 64...  ... 
doi:10.34726/hss.2021.85885 fatcat:zpctblyumfat3mmmhu2fu5oxp4
« Previous Showing results 1 — 15 out of 16 results