Abstract | ||
---|---|---|
Cyber-physical system correctness can be ensured by employing formal methods, including model inference. A rather new direction of research is using formal plant models for closed-loop verification and inferring these models from execution traces of the system. Since the quality of the resulting model heavily depends on trace coverage, in this paper we propose efficient methods for automatic plant trace generation. A method of checking the conformance between system and generated models is suggested and is used to analyze traces generation and model inference methods. Modifications of plant model inference approaches are proposed and comparison of the resulting models is performed. |
Year | Venue | Field |
---|---|---|
2017 | 2017 IEEE 15TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN) | Data mining,Model inference,Correctness,Automaton,Elevator,Formal methods,Engineering |
DocType | ISSN | Citations |
Conference | 1935-4576 | 0 |
PageRank | References | Authors |
0.34 | 2 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Dmitry Avdyukhin | 1 | 2 | 2.08 |
Daniil Chivilikhin | 2 | 34 | 9.41 |
Georgiy Korneev | 3 | 1 | 0.69 |
Vladimir Ulyantsev | 4 | 60 | 12.44 |
Anatoly Shalyto | 5 | 98 | 20.06 |