Controller design for cyber-physical systems with inputs via logical networks

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.