On Symbolic Control Design of Discrete-Time Nonlinear Systems with State Quantized Measurements

Most of the existing results available in the literature concerning symbolic control design of purely continuous or hybrid systems assume full information of the state which in concrete applications may be not available. This partial information to the controller requires to revisit existing methods on symbolic control design. This paper aims at addressing this issue and deals with symbolic control design with state quantized measurements of discrete time nonlinear control systems affected by disturbances, with specifications expressed as regular languages.