Design of Logic Feedback Controllers for Discretely Controlled Continuous Systems

This contribution presents an approach to synthesize logic feedback controllers for Discretely Controlled Continuous Systems such that given specifications are fulfilled. This class of systems consists of a continuous plant with nonlinear dynamics which is controlled by a logic controller that processes discrete measurements. The control problem is to optimally steer the system from a set of initial states to a set of target states without reaching unsafe states. For given thresholds, the algorithm first computes the optimal discrete inputs for each boundary section to obtain optimal trajectories from each boundary section to the target by a dynamic programming approach. The controller then has to be verified to guarantee that the unsafe states are not reached for arbitrary trajectories. The approach is demonstrated for a two-tank benchmark.