This paper focused on the robust stability of switched Boolean networks (SBNs) subject to external disturbances and one-bit function perturbation. The reachable sets of a perturbed state before and after function perturbation were constructed, and some basic properties of these reachable sets were presented. Based on the reachable sets of a perturbed state, a necessary and sufficient condition was proposed to verify the robust stability of SBNs with one-bit function perturbation.

This paper investigated the robustness of cyber-physical systems (CPSs) under controller design. First, a formal definition of robustness for CPSs with inputs was established. Second, a systematic framework was proposed, featuring two novel algorithms that transform both infinite and finite systems into equivalent logical dynamical networks with inputs. Subsequently, the robustness of these systems was rigorously analyzed under the influence of the designed controllers. Finally, a numerical example was provided to illustrate the controller design process that ensures robustness for the considered CPSs.