SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers

SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers

This article 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...

Full description

Bibliographic Details
Main Authors: Konstantin Chukharev, Dmitrii Suvorov, Daniil Chivilikhin, Valeriy Vyatkin
Format: Article
Language:English
Published: IEEE 2020-01-01
Series:IEEE Access
Subjects:
Control system synthesis
inference algorithms
Boolean satisfiability
counterexample-guided inductive synthesis
formal verification
model checking
Online Access:https://ieeexplore.ieee.org/document/9257351/

Internet

https://ieeexplore.ieee.org/document/9257351/

Similar Items