2012
DOI: 10.1109/tii.2011.2182653
|View full text |Cite
|
Sign up to set email alerts
|

Methods for Reliable Simulation-Based PLC Code Verification

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
17
0
10

Year Published

2014
2014
2024
2024

Publication Types

Select...
3
3
3

Relationship

0
9

Authors

Journals

citations
Cited by 56 publications
(29 citation statements)
references
References 28 publications
0
17
0
10
Order By: Relevance
“…Then, for a controlled process modeled as: (1) where k is the sample order, is the dynamic matrix, is the input matrix, is the output matrix, x(k) is the system state at sample k, y(k) is the controlled output, and u(k) is control input. Two sets of samples or windows are defined: the prediction and the control horizons with N p and N c samples ahead, respectively.…”
Section: Model Predictive Controlmentioning
confidence: 99%
See 1 more Smart Citation
“…Then, for a controlled process modeled as: (1) where k is the sample order, is the dynamic matrix, is the input matrix, is the output matrix, x(k) is the system state at sample k, y(k) is the controlled output, and u(k) is control input. Two sets of samples or windows are defined: the prediction and the control horizons with N p and N c samples ahead, respectively.…”
Section: Model Predictive Controlmentioning
confidence: 99%
“…The academic and industrial effort to bring simple solutions for advanced control test is not new as it can be seen in [1,2]. In this direction, the Python language was created to be a system language, meaning it would coordinate complex tasks that would be carried out by the system in a simple way.…”
Section: Introductionmentioning
confidence: 99%
“…Specifically, challenging issues are faced when dealing with the HIL communication interfaces that allows the software verification on the real controller. At the state of the art, available solutions are based on the standard OPC communication, which may lead to free-wheeling (defined as an asynchronous run of simulation and controller which results in time delay, jitter, race condition, and slow sampling [13]). The demand is then for the VP model to be directly connected into the same communication infrastructure of the real system.…”
Section: Literature Reviewmentioning
confidence: 99%
“…These preparations include that the user must acquire prior knowledge of the simulation software environment under discussion, the devices to be validated along with knowledge of their behaviour and kinematics must be known, and a server [4,7] to communicate between the control logic and these devices must be installed. Afterwards, the geometry used to represent these devices must be designed, assembled into smart-devices and then connected to the control logic to validate the system behaviour and control software via an execution environment [8].…”
Section: Introductionmentioning
confidence: 99%