An integrated approach to the symbolic control design of nonlinear systems with infinite states specifications

In this paper we address the problem of symbolic control design of nonlinear control systems with infinite states specifications, modelled by differential equations. An algorithm for the design of symbolic controllers is presented, which integrates the construction of the discrete abstractions of the plant and of the specification with the design of the controller. This integrated algorithm reduces the space complexity of the control design computations, as formally discussed in the paper and further illustrated through an illustrative example.