Separating I/O from Application Logic for Rule-Based Control Systems
Journal Title: Decision Making in Manufacturing and Services - Year 2011, Vol 5, Issue 1
Abstract
One of the main reasons of using a rule-based approach to program control systems is that they can be formally verified. For such systems communication with the environment is often encoded within the knowledge base. Such inclusion may lead to issues with portability, extendibility, maintainability, and interoperability. The paper proposes a four layer architecture to solve these issues. A proof-of-concept RBS, targeted at control systems, and an example case are also given.
Authors and Affiliations
Igor Wojnicki
Keywords
Related Articles
- EP ID EP166696
- DOI 10.7494/dmms.2011.5.1.79
- Views 58
- Downloads 0
Concept of Industry 4.0-Related Manufacturing Technology Maturity Model (ManuTech Maturity Model – MTMM)
The main objective of this article is to describe Industry 4.0 and key manufacturing-technology-related technological and business challenges for manufacturing companies. The groups especially interested in the industry...
Competitive location under proportional choice: 1-suboptimal points on networks
This paper is concerned with a competitive or voting location problem on networks under a proportional choice rule that has previously been introduced by Bauer et al. (1993). We refine a discretization result of the auth...
The Errors-in-Variable Model in the Optimal Portfolio Construction
In the paper we consider a modification of Sharpe’s method used in classical portfolio analysis for optimal portfolio building. The conventional theory assumes there is a linear relationship between asset’s return and ma...
CP-driven Production Process Planning in Multiproject Environment
The way enterprise capabilities are used decides about its competitiveness among other ones. In that context modeling aimed at production tasks allocation planning plays a crucial role especially at concurrently executed...
A Loss Function for Box-Constrained Inverses Problems
A loss function is proposed for solving box-constrained inverse problems. Given causality mechanisms between inputs and outputs as smooth functions, an inverse problem demands to adjust the input levels to make the outpu...