Active Learning of Formal Plant Models for Cyber-Physical SystemsShow others and affiliations
2018 (English)In: 2018 IEEE 16th International Conference on Industrial Informatics (INDIN), Piscataway, NJ: IEEE, 2018, p. 719-724, article id 8471924Conference paper, Published paper (Refereed)
Abstract [en]
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.
Place, publisher, year, edition, pages
Piscataway, NJ: IEEE, 2018. p. 719-724, article id 8471924
Series
IEEE International Conference on Industrial Informatics INDIN, ISSN 1935-4576
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-72062DOI: 10.1109/INDIN.2018.8471924ISI: 000450180200105Scopus ID: 2-s2.0-85055546023ISBN: 978-1-5386-4829-2 (electronic)OAI: oai:DiVA.org:ltu-72062DiVA, id: diva2:1271281
Conference
16th IEEE International Conference on Industrial Informatics, INDIN 2018, Porto, Portugal, 18-20 July 2018
2018-12-172018-12-172019-01-14Bibliographically approved