Abstraction Based Supervisory Controller Synthesis for High Order Monotone Continuous Systems

  • Thomas Moor
  • Jörg Raisch
Conference paper
Part of the Lecture Notes in Control and Information Sciences book series (LNCIS, volume 279)


Abstraction based approaches to hybrid control systems synthesis have so far been mostly limited to problems with low-order linear continuous dynamics. In this paper, results from the theory of monotone dynamical systems are used to efficiently compute discrete abstractions for a class of nonlinear models. Furthermore, a situation is investigated where the high-dimensional plant state converges to a low-dimensional manifold; in the proposed approach the computational effort is governed by the dimension of the low-order manifold without neglecting the high-order dynamics. Results are applied to synthesize a discrete event controller for the automatic start-up of a nonlinear distillation column model of order 42.


Distillation Column Supervisory Control Order Preserve Input Symbol Controller Synthesis 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Thomas Moor
    • 1
  • Jörg Raisch
    • 2
    • 3
  1. 1.Research School of Information Sciences and EngineeringAustralian National UniversityCanberra
  2. 2.Lehrstuhl für Systemtheorie technischer ProzesseOtto-von-Guericke Universität MagdeburgGermany
  3. 3.Systems and Control Theory GroupMax-Planck-Institut für Dynamik komplexer technischer SystemeMagdeburgGermany

Personalised recommendations