Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Active Learning of Formal Plant Models for Cyber-Physical Systems
Computer Technologies Laboratory, ITMO University, Saint Petersburg, Russia.
Computer Technologies Laboratory, ITMO University, Saint Petersburg, Russia.
Computer Technologies Laboratory, ITMO University, Saint Petersburg, Russia.
Computer Technologies Laboratory, ITMO University, Saint Petersburg, Russia.
Show 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
Available from: 2018-12-17 Created: 2018-12-17 Last updated: 2019-01-14Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Vyatkin, Valeriy

Search in DiVA

By author/editor
Vyatkin, Valeriy
By organisation
Computer Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 12 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf