The composition and validation of heterogeneous control laws

摘要: We present a method for creating and validating nonlinear controller by the composition of heterogeneous local control laws appropriate to different operating regions. Like fuzzy logic control, these methods apply even in presence incomplete knowledge structure system, boundaries regions, or action take. Unlike can be analyzed combination classical qualitative methods. Each region system has law, which provides high-resolution Operating regions are defined set membership functions. The global law is weighted average laws, where weights provided A analyzed, knowledge, representing it as differential equation using simulation predict possible behaviors system. By expressing desired guarantee statement modal temporal logic, validity automatically checked against behaviors. demonstrate controllers our proving their properties, first simple level water tank, second highly chemical reactor.