A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver
[article]
2020
arXiv
pre-print
Preserved Fulltext
Other Versions
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
2020
IEEE Access
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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