Webbläsaren som du använder stöds inte av denna webbplats. Alla versioner av Internet Explorer stöds inte längre, av oss eller Microsoft (läs mer här: * https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).

Var god och använd en modern webbläsare för att ta del av denna webbplats, som t.ex. nyaste versioner av Edge, Chrome, Firefox eller Safari osv.

The Composition and Validation of Heterogeneous Control Laws

Författare

Summary, in English

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

Publiceringsår

1994

Språk

Engelska

Sidor

233-249

Publikation/Tidskrift/Serie

Automatica

Volym

30

Issue

2

Dokumenttyp

Artikel i tidskrift

Förlag

Pergamon Press Ltd.

Ämne

  • Control Engineering

Status

Published

ISBN/ISSN/Övrigt

  • ISSN: 0005-1098