id:"swepub:oai:DiVA.org:ltu-81478"
Search: id:"swepub:oai:DiVA.org:ltu-81478" > SAT-based Counterex...
- 1 of 1
- Previous record
- Next record
- To hitlist
SAT-based Counterexample-Guided Inductive Synthesis of Distributed Controllers
-
- Chukharev, Konstantin (author)
- Sirius University of Science and Technology, 1 Olympic Ave, 354340, Sochi, Russia. Computer Technologies Laboratory, ITMO University, St. Petersburg, Russia
-
- Suvorov, Dmitrii (author)
- Sirius University of Science and Technology, 1 Olympic Ave, 354340, Sochi, Russia. Computer Technologies Laboratory, ITMO University, St. Petersburg, Russia
-
- Chivilikhin, Daniil (author)
- Sirius University of Science and Technology, 1 Olympic Ave, 354340, Sochi, Russia. Computer Technologies Laboratory, ITMO University, St. Petersburg, Russia
- show more...
- show less...
- Sirius University of Science and Technology, 1 Olympic Ave, 354340, Sochi, Russia Computer Technologies Laboratory, ITMO University, St. Petersburg, Russia Datavetenskap (creator_code:org_t)
- IEEE, 2020
- 2020
- English.
- In: IEEE Access. - : IEEE. - 2169-3536. ; 8, s. 207485-207498
- Journal article (peer-reviewed)
Abstract
Subject headings
Close
- 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.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Keyword
- Control system synthesis
- Inference algorithms
- Boolean satisfiability
- Counterexample-guided inductive synthesis
- Formal verification
- Model checking
- Dependable Communication and Computation Systems
- Kommunikations- och beräkningssystem
Publication and Content Type
- ref (subject category)
- art (subject category)
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Chukharev, Konst ...
- Suvorov, Dmitrii
- Chivilikhin, Dan ...
- Vyatkin, Valeriy
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Computer Science ...
- Articles in the publication
- IEEE Access
- By the university
- Luleå University of Technology
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
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.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
