The synthesis of stabilizing feedback for binary dynamic systems: a logical approach

Abstract

We propose a constructive method for solving the problem of synthesizing a nonlinear output control law in the form of feedback that ensures the global stability of a given state of a closed-loop binary dynamic system. Designed synthesis method allows data parallelism and high scalability with an increasing dimension of the system state vector during its implementation in a multiprocessor computing environment.