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
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
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