Active Learning of Formal Plant Models for Cyber-Physical Systems

Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

Abstrakti

As the world becomes more and more automated, the degree of cyber-physical systems involvement cannot be overestimated. A large part of them are safety-critical, thus, it is especially important to ensure their correctness before start of operation or reconfiguration. For this purpose the model checking approach should be used since it allows rigorously proving system correctness by checking all possible states. To ensure the compliance of controller-plant properties with system requirements, the closed-loop verification approach should be chosen, which requires not only a formal model of the controller, but also a formal model of the plant. In this paper we propose an approach for constructing formal models of context-free deterministic plants automatically using active learning algorithms. The case study shows its successful application to plant model generation for the elevator cyber-physical system.

AlkuperäiskieliEnglanti
OtsikkoProceedings of the IEEE 16th International Conference on Industrial Informatics, INDIN 2018
KustantajaIEEE
Sivut719-724
Sivumäärä6
ISBN (elektroninen)9781538648292
DOI - pysyväislinkit
TilaJulkaistu - 24 syyskuuta 2018
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaIEEE International Conference on Industrial Informatics - University of Porto's Engineering Faculty (FEUP), Porto, Portugali
Kesto: 18 heinäkuuta 201820 heinäkuuta 2018
Konferenssinumero: 16
https://web.fe.up.pt/~indin2018/
https://web.fe.up.pt/~indin2018/

Julkaisusarja

NimiIEEE International Conference on Industrial Informatics
KustantajaIEEE
ISSN (painettu)1935-4576
ISSN (elektroninen)2378-363X

Conference

ConferenceIEEE International Conference on Industrial Informatics
LyhennettäINDIN
MaaPortugali
KaupunkiPorto
Ajanjakso18/07/201820/07/2018
www-osoite

Sormenjälki

Sukella tutkimusaiheisiin 'Active Learning of Formal Plant Models for Cyber-Physical Systems'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Siteeraa tätä