Approximate supervisory control of nonlinear systems with outputs
Giordano Pola, Maria Domenica Di Benedetto · 2017
Existing results concerning control design of purely continuous or hybrid systems with complex logic-based specifications assume full information of the state, or of its quantization, which may be not available in concrete applications. In this paper we consider the more realistic scenario where the controller cannot access the state of the plant but can only access a quantized measurement of its output. We focus on a control problem where the plant is described by a possibly unstable continuous-time nonlinear system with outputs, the controller is dynamic, digital and quantized, and takes as input a (quantized) measurement of the output of the plant, and the specification is expressed in terms of regular languages. The solution to the control problem is based on the use of formal methods. A finite states system approximating the plant is first derived which is then used to find the solution to the control problem.