2 Hits in 1.4 sec

fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver [article]

Konstantin Chukharev, Daniil Chivilikhin
2020 arXiv   pre-print
As an example of a specific control systems development application we focus on inferring finite-state models of function blocks (FBs) defined by the IEC 61499 international standard for distributed automation  ...  We also present the developed tool fbSAT which implements the proposed method, and evaluate it in two case studies: inference of a finite-state model of a Pick-and-Place manipulator, and reconstruction  ...  This work was funded by the Government of Russian Federation (Grant 08-08).  ... 
arXiv:1907.03285v3 fatcat:hnlfvvtdjzbzves34i5llqeffe

SAT-based Counterexample-Guided Inductive Synthesis of Distributed Controllers

Konstantin Chukharev, Dmitrii Suvorov, Daniil Chivilikhin, Valeriy Vyatkin
2020 IEEE Access  
This article proposes a new method for automatic synthesis of distributed discrete-state controllers from given temporal specification and behavior examples.  ...  INDEX TERMS Control system synthesis, inference algorithms, Boolean satisfiability, counterexampleguided inductive synthesis, formal verification, model checking.  ...  OVERVIEW OF MONOLITHIC CONTROLLER SYNTHESIS WITH fbSAT In this section we briefly describe the fbSAT approach for the synthesis of a single monolithic finite-state function block model from a set of positive  ... 
doi:10.1109/access.2020.3037780 fatcat:a2v6an3grngpfcufospvcpehfu