Plant trace generation for formal plant model inference: Methods and case study

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 mod...

Full description

Saved in:
Bibliographic Details
Main Authors: Avdyukhin, Dmitry, Chivilikhin, Daniil, Korneev, Georgiy, Ulyantsev, Vladimir, Shalyto, Anatoly
Format: Conference Proceeding
Language:English
Subjects:
Analytical models
Automata
Automobiles
Computational modeling
Elevators
Explosions
Sensors
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2378-363X
DOI:10.1109/INDIN.2017.8104865