Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Counterexample-guided inference of controller logic from execution traces and temporal formulas
ITMO Univ, Comp Technol Lab, St Petersburg, Russia.
ITMO Univ, Comp Technol Lab, St Petersburg, Russia Aalto Univ, Dept Elect Engn & Automat, Espoo, Finland.
ITMO Univ, Comp Technol Lab, St Petersburg, Russia.
ITMO Univ, Comp Technol Lab, St Petersburg, Russia.
Visa övriga samt affilieringar
2018 (Engelska)Ingår i: 2018 IEEE 23RD INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), Piscataway, NJ: IEEE, 2018, s. 91-98Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

We developed an algorithm for inferring controller logic for cyber-physical systems (CPS) in the form of a state machine from given execution traces and linear temporal logic formulas. The algorithm implements an iterative counterexample-guided strategy: constraint programming is employed for constructing a minimal state machine from positive and negative traces (counterexamples) while formal verification is used for discovering new counterexamples. The proposed approach extends previous work by (1) considering a more intrinsic model of a state machine making the algorithm applicable to synthesizing CPS controller logic, and (2) using closed-loop verification which allows considering more expressive temporal properties.

Ort, förlag, år, upplaga, sidor
Piscataway, NJ: IEEE, 2018. s. 91-98
Serie
IEEE International Conference on Emerging Technologies and Factory Automation-ETFA, ISSN 1946-0740
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
Kommunikations- och beräkningssystem
Identifikatorer
URN: urn:nbn:se:ltu:diva-72534DOI: 10.1109/ETFA.2018.8502463ISI: 000449334500010Scopus ID: 2-s2.0-85057249596ISBN: 978-1-5386-7108-5 (tryckt)OAI: oai:DiVA.org:ltu-72534DiVA, id: diva2:1278300
Konferens
23rd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2018) Politecnico Torino,Italy , Sep 04-07, 2018
Tillgänglig från: 2019-01-14 Skapad: 2019-01-14 Senast uppdaterad: 2019-01-14Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Vyatkin, Valeriy

Sök vidare i DiVA

Av författaren/redaktören
Vyatkin, Valeriy
Av organisationen
Datavetenskap
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 3 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf