Advertisement

A sufficient condition for controllability of a class of hybrid systems

  • Jan H. van Schuppen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1386)

Abstract

Control of engineering systems by computers is formulated as a control synthesis problem for hybrid control systems. An input-output hybrid control system is used as a control-theoretic model for this problem. A sufficient condition for controllability of a hybrid system is formulated that separates into a sufficient condition at the discrete and at the continuous level of a hybrid system.

Keywords and Phrases

Hybrid system control discrete-event system controllability 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henainger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3–34, 1995.Google Scholar
  2. 2.
    M.S. Branicky. Studies in hybrid systems: Modeling, analysis, and control. PhD thesis, M.I.T., Cambridge, MA, 1995.Google Scholar
  3. 3.
    M.S. Branicky. On-line, reflexive constraint satisfaction for hybrid systems: First Steps. In O. Maler, editor, Hybrid and real-time systems-Proceedings of International Workshop HART97, number 1201 in Lecture Notes in Computer Science, pages 93–107, Berlin, 1997. Springer.Google Scholar
  4. 4.
    M.S. Branicky, V.S. Borkar, and S.K. Mitter. A unified framework for hybrid control: Background, model, and theory. Report LIDS-P-2239, Laboratory for Information and Decision Systems, M.I.T., Cambridge, MA, 1994.Google Scholar
  5. 5.
    A. Deshpande and P. Varaiya. Information structures for control and verification of hybrid systems. In Proceedings American Control Conference, pages 2642–2647. American Control Council, 1995.Google Scholar
  6. 6.
    A. Deshpande and P. Varaiya. Viable control of hybrid systems. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid systems 11, volume 999 of Lecure Notes in Computer Science, pages 128–147, Berlin, 1995. Springer.Google Scholar
  7. 7.
    J.J.H. Fey. Control and verification of industrial hybrid systems using models specified with the formalism X. Note BS-N9601, CWI, Amsterdam, 1996.Google Scholar
  8. 8.
    M. Heymann, Feng Lin, and G. Meyer. Control synthesis for a class of hybrid systems subject to configuration-based safety constraints. In O. Maler, editor, Hybrid and real-time systems-Proceedings of International Workshop HART97, number 1201 in Lecture Notes in Computer Science, pages 376–390, Berlin, 1997. Springer.Google Scholar
  9. 9.
    J. Lygeros. Hierarchical, hybrid control of large scale systems. PhD thesis, University of California, Berkeley, 1996.Google Scholar
  10. 10.
    J. Lygeros, C. Tomlin, and S. Sastry. Multiobjective hybrid controller synthesis. In O. Maler, editor, Hybrid and real-time systems-Proceedings of International Workshop HART97, number 1201 in Lecture Notes in Computer Science, pages 109–123, Berlin, 1997. Springer.Google Scholar
  11. 11.
    M. Sipser. Introduction to the theory of computation. PWS Publishing Company, Boston, 1997.Google Scholar
  12. 12.
    E.D. Sontag. Mathematical control theory: Deterministic finite dimensional systems. Springer-Verlag, New York, 1990.Google Scholar
  13. 13.
    J.H. van Schuppen. Control for a class of hybrid systems. Report PNA-R9716, CWI, Amsterdam, 1997.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Jan H. van Schuppen
    • 1
  1. 1.CWIGB AmsterdamNetherlands

Personalised recommendations