Control of continuous plants by symbolic output feedback

  • Jörg Raisch
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 999)


This contribution addresses the following hybrid control problem: A continuous plant is to be controlled via symbolic, or quantized, measurement and control signals. Quantization levels may be arbitrarily coarse (e.g. “temperature is too high”, “ok” or “too low”, “valve open” or “closed”). Sensor quantization is assumed to partition the plant output space into a finite number of rectilinear cells, each of which is associated with a unique measurement symbol. Measurement symbols are processed by a control algorithm, which generates a control signal with finite range, i.e. a symbolic signal. The latter determines the evolution of the plant state in time. Interaction between plant and controller is modeled by an interrupt structure, where information exchange is represented by sequences of timed (measurement and control) events. It is shown that, if certain observability conditions hold, the continuous plant state can be reconstructed from a sequence of measurement events. Likewise, if certain controllability/reachability conditions hold, the plant state can be transferred to any desired point in IRn by applying a suitable sequence of control events. These results are used in a heuristic Certainty Equivalence feedback scheme reminiscent of “receding horizon” strategies.


Symbolic Output Feedback Hybrid Control Systems 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    P. J. Antsaklis, J. A. Stiver, and M. Lemmon. Hybrid system modelling and autonomous control systems. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors. Hybrid Systems, Lecture Notes in Computer Science 736, pages 366–392. Springer, Berlin, 1993.Google Scholar
  2. 2.
    V. Boltyanski. Mathematical Methods of Optimal Control. Holt, Rinehart and Winston, New York, 1971.Google Scholar
  3. 3.
    R. F. Brammer. Controllability in linear autonomous systems with positive controllers. SIAM J. Control, 10:339–353, 1972.Google Scholar
  4. 4.
    R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors. Hybrid Systems, Lecture Notes in Computer Science 736, Springer, Berlin, 1993.Google Scholar
  5. 5.
    W. Hahn. Stability of Motion, Berlin, 1967. Springer.Google Scholar
  6. 6.
    T. Kailath. Linear Systems. Prentice-Hall, Englewood Cliffs, N. J., 1980.Google Scholar
  7. 7.
    S. S. Keerthi and E. G. Gilbert. Moving-horizon approximations for a general class of optimal nonlinear infinite-horizon discrete-time systems. In Proc. 20th Annual Conf. Inform. Sci. Syst., pages 301–306, 1986.Google Scholar
  8. 8.
    J. B. Lasserre. Reachable, controllable sets and stabilizing control of constrained linear systems. Automatica, 29:531–536, 1993.Google Scholar
  9. 9.
    J. N. Lin. Determination of reachable set for a linear discrete system. IEEE Transactions on Automatic Control, 15:339–342, 1970.Google Scholar
  10. 10.
    J. Lunze. Ein Ansatz zur qualitativen Modellierung und Regelung dynamischer Systeme. at — Automatisierungstechnik, 41:451–460, 1993.Google Scholar
  11. 11.
    J. Lunze. Qualitative modelling of linear dynamical systems with quantized state measurements. Automatica, 30:417–431, 1994.Google Scholar
  12. 12.
    D. Q. Mayne and H. Michalska. Receding horizon control of nonlinear systems. IEEE Transactions on Automatic Control, 35:814–824, 1990.Google Scholar
  13. 13.
    J. Raisch. Simple hybrid control systems — continuous FDLTI plants with symbolic measurements and quantized control inputs. In G. Cohen and J.-P. Quadrat, editors, 11th International Conference on Analysis and Optimization of Systems, Lecture Notes in Control and Information Sciences 199, pages 369–376. Springer, 1994.Google Scholar
  14. 14.
    J. Raisch. Simple hybrid control systems — continuous FDLTI plants with quantized control inputs and measurements. Systems Control Group Report 9305, Dept. of Electrical and Computer Engineering, University of Toronto, May 1993.Google Scholar
  15. 15.
    J. Raisch and S. D. O'Young. A discrete-time framework for control of hybrid systems. In Proc. 1994 Hong Kong International Workshop on New Directions of Control and Manufacturing, pages 34–40, 1994.Google Scholar
  16. 16.
    J. Raisch and S. D. O'Young. Symbolic control of uncertain hybrid systems. In Proc. European Control Conference ECC95, 1995.Google Scholar
  17. 17.
    W. E. Schmitendorf and B. R. Barmish. Null controllability of linear systems with constrained controls. SIAM J. Control and Optimization, 18:327–345, 1980.Google Scholar
  18. 18.
    E. D. Sontag. Mathematical Control Theory. Springer-Verlag, Berlin, 1990.Google Scholar
  19. 19.
    J. A. Stiver and P. J. Antsaklis. On the controllability of hybrid control systems. In Proc. 32th IEEE Conference on Decision and Control, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Jörg Raisch
    • 1
  1. 1.Institut für Systemdynamik und RegelungstechnikUniversität StuttgartStuttgartFed. Rep. of Germany

Personalised recommendations