Qualitative modeling and heterogeneous control of global system behavior

Benjamin Kuipers, Subramanian Ramamoorthy

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

Multiple model approaches to the control of complex dynamical systems are attractive because the local models can be simple and intuitive, and global behavior can be analyzed in terms of transitions among local operating regions. In this paper, we argue that the use of qualitative models further improves the strengths of the multiple model approach by allowing each local model to describe a large class of useful non-linear dynamical systems. In addition, reasoning with qualitative models naturally identifies weak sufficient conditions adequate to prove qualitative properties such as stability. We demonstrate our approach by building a global controller for the free pendulum. We specify and validate local controllers by matching their structures to simple generic qualitative models. This process identifies qualitative constraints on the controller designs, sufficient to guarantee the desired local properties and to determine the possible transitions between local regions. This, in turn, allows the continuous phase portrait to be abstracted to a simple transition graph. The degrees of freedom in the design that are unconstrained by the qualitative description remain available for optimization by the designer for any other purpose.
Original languageEnglish
Title of host publicationHybrid Systems: Computation and Control
Subtitle of host publication5th International Workshop, HSCC 2002 Stanford, CA, USA, March 25–27, 2002 Proceedings Pages
PublisherSpringer Berlin Heidelberg
Pages294-307
Number of pages14
ISBN (Electronic)978-3-540-45873-9
ISBN (Print)978-3-540-43321-7
DOIs
Publication statusPublished - 2002

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume2289
ISSN (Print)0302-9743

Fingerprint

Dive into the research topics of 'Qualitative modeling and heterogeneous control of global system behavior'. Together they form a unique fingerprint.

Cite this