Plant model inference for closed-loop verification of control systems: Initial explorations

Igor Buzhinskii, Valeriy Vyatkin

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Abstract

Closed-loop model checking, a formal verification technique for industrial automation systems, increases the richness of specifications to be checked and often helps to reduce size of the state space to be verified compared with the open-loop case. To be applied, it needs two components - the controller and the plant models - to be coupled. While there are approaches for obtaining controller models from implementation, specification or behavior examples, little has been done regarding automation of plant model construction. This paper aims to solve the problem of automatic plant model construction from existing specification, which is represented in the form of plant behavior examples and temporal properties.

Original languageEnglish
Title of host publicationProceedings of the 14th IEEE International Conference on Industrial Informatics, INDIN 2016
PublisherIEEE
Pages736-739
Number of pages4
ISBN (Electronic)9781509028702
DOIs
Publication statusPublished - 2016
MoE publication typeA4 Article in a conference publication
EventIEEE International Conference on Industrial Informatics - Poitiers, France
Duration: 19 Jul 201621 Jul 2016
Conference number: 14
https://ieee-indin2016.sciencesconf.org/

Publication series

NameIEEE International Conference on Industrial Informatics
PublisherIEEE
ISSN (Print)1935-4576
ISSN (Electronic)2378-363X

Conference

ConferenceIEEE International Conference on Industrial Informatics
Abbreviated titleINDIN
CountryFrance
CityPoitiers
Period19/07/201621/07/2016
Internet address

Fingerprint Dive into the research topics of 'Plant model inference for closed-loop verification of control systems: Initial explorations'. Together they form a unique fingerprint.

Cite this