Title | ||
---|---|---|
Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks |
Abstract | ||
---|---|---|
This paper presents an automated technique for inferring finite automata logic from behavior examples derived from the interaction of the user and the controlled object model. The technique is demonstrated for IEC 61499 function blocks. We show how to automatically generate a manual control Human-Machine Interface (HMI) for Model-View-Control applications and how to use the HMI to record behavior examples. We also suggest a polynomial-time algorithm for constructing Execution Control Charts (ECCs) of basic FBs from behavior examples. The use of the proposed technique is illustrated on an example. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1109/Trustcom.2015.649 | TrustCom/BigDataSE/ISPA |
Keywords | Field | DocType |
manual control,finite automata logic,IEC 61499 function block,human-machine interface,model-view-control application,HMI,polynomial-time algorithm,execution control chart,ECC | Automated technique,Computer science,Automaton,Object model,Computer network,Theoretical computer science,Finite-state machine,Execution control,Computer engineering | Conference |
Volume | ISSN | Citations |
3 | 2324-9013 | 0 |
PageRank | References | Authors |
0.34 | 9 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniil Chivilikhin | 1 | 34 | 9.41 |
Anatoly Shalyto | 2 | 98 | 20.06 |
Valeriy Vyatkin | 3 | 1047 | 152.80 |