SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "WFRF:(Suvorov Dmitrii) "

Search: WFRF:(Suvorov Dmitrii)

  • Result 1-1 of 1
Sort/group result
   
EnumerationReferenceCoverFind
1.
  • Chukharev, Konstantin, et al. (author)
  • SAT-based Counterexample-Guided Inductive Synthesis of Distributed Controllers
  • 2020
  • In: IEEE Access. - : IEEE. - 2169-3536. ; 8, s. 207485-207498
  • Journal article (peer-reviewed)abstract
    • This paper proposes a new method for automatic synthesis of distributed discrete-state controllers from given temporal specification and behavior examples. The proposed method develops known synthesis methods to the distributed case, which is a fundamental extension. This method can be applied for automatic generation of correct-by-design distributed control software for industrial automation. The proposed approach is based on reduction to the Boolean satisfiability problem (SAT) and has Counterexample-Guided Inductive Synthesis (CEGIS) at its core. We evaluate the proposed approach using the classical distributed alternating bit protocol.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-1 of 1
Type of publication
journal article (1)
Type of content
peer-reviewed (1)
Author/Editor
Vyatkin, Valeriy (1)
Chivilikhin, Daniil (1)
Chukharev, Konstanti ... (1)
Suvorov, Dmitrii (1)
University
Luleå University of Technology (1)
Language
English (1)
Research subject (UKÄ/SCB)
Natural sciences (1)
Year
2020 (1)

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view