Abstract
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.
This work has taken place in the Intelligent Robotics Lab at the Artificial Intelligence Laboratory, The University of Texas at Austin. Research of the Intelligent Robotics lab is supported in part by NSF grants IRI-9504138 and CDA 9617327, and by funding from Tivoli Corporation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Murray-Smith, R., Johansen, T.A.: Multiple Model Approaches to Modelling and Control. Taylor and Francis, UK (1997)
Kuipers, B.J.: Qualitative Reasoning:Modeling and Simulation with Incomplete Knowledge. MIT Press, Cambridge, MA (1994)
Shults, B., Kuipers, B.: Proving properties of continuous systems: qualitative simulation and temporal logic. Artificial Intelligence 92 (1997) 91–129
Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138 (1995) 3–34
Varaiya, P.: A question about hierarchical systems. In Djaferis, T., Schick, I., eds.: System Theory: Modeling, Analysis and Control. Kluwer (2000)
Guckenheimer, J., Holmes, P.: Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. Springer-Verlag, Berlin (1983)
Kuipers, B.: Qualitative simulation. Artificial Intelligence 29 (1986) 289–338
Kuipers, B.J., Åström, K.: The composition and validation of heterogeneous control laws. Automatica 30 (1994) 233–249
Slotine, J.J., Li, W.: Applied Nonlinear Control. Prentice Hall, Englewood Cliffs NJ (1991)
Friedland, B.: Advanced Control System Design. Prentice-Hall (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kuipers, B., Ramamoorthy, S. (2002). Qualitative Modeling and Heterogeneous Control of Global System Behavior. In: Tomlin, C.J., Greenstreet, M.R. (eds) Hybrid Systems: Computation and Control. HSCC 2002. Lecture Notes in Computer Science, vol 2289. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45873-5_24
Download citation
DOI: https://doi.org/10.1007/3-540-45873-5_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43321-7
Online ISBN: 978-3-540-45873-9
eBook Packages: Springer Book Archive