Skip to main content
SpringerLink
Log in
Book cover

International Hybrid Systems Workshop

HS 1995: Hybrid Systems III pp 350–361Cite as

Supervisory control of real-time systems using prioritized synchronization

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1066))

Abstract

The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible timed traces of the system. This is alternatively specified using timed automata where each transition is associated with an event occurrence time set during which time the transition can occur. Our model for time is more general in that the time advances continuously as compared to a model where time advances discretely. We extend the notion of prioritized synchronous composition to the real-time setting to use it as the control mechanism. It is shown that a suitable extension of the controllability condition to the real-time setting yields a condition for the existence of a supervisor achieving a desired timed behavior. Although the real-time controllability is similar in form to its untimed counterpart, they are different in the sense that one does not imply the other and vice-versa.

This research was supported in part by the Center for Robotics and Manufacturing, University of Kentucky, in part by by the National Science Foundation under the Grants NSFD-CDR-8803012, NSF-ECS-9409712, NSF-ECS-9312587, the Minta Martin Fund for Aeronautical Research, and the General Research Board at the University of Maryland.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. Alur. Techniques for automatic verification of real-time systems. PhD thesis, Department of Computer Science, Stanford University, 1991.

    Google Scholar 

  2. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proceedings of 1990 IEEE Symposium on Logic in Computer Science, pages 414–425, Philadelphia, PA, 1990.

    Google Scholar 

  3. R. Alur and D. Dill. Automata for modeling real-time systems. In Proceedings of 1990 International Colloquium on Automata, Languages and Programming, pages 322–335, Warwick, UK, 1990.

    Google Scholar 

  4. B. Berthomieu and M. Diaz. Modeling and verification of time dependent systems using timed Petri nets. IEEE Transactions on Software Engineering, 17(3):259–273, 1991.

    Article  Google Scholar 

  5. B. A. Brandin and W. M. Wonham. Supervisory control of timed discrete event systems. IEEE Transactions on Automatic Control, 39(2):329–342, February 1994.

    Article  Google Scholar 

  6. R. D. Brandt, V. K. Garg, R. Kumar, F. Lin, S. I. Marcus, and W. M. Wonham. Formulas for calculating supremal controllable and normal sublanguages. Systems and Control Letters, 15(8):111–117, 1990.

    Article  Google Scholar 

  7. Y. Brave and M. Heymann. Formulation and control of a class of real-time discrete-event processes. Technical Report EE-714, Department of Electrical Engineering, Technion-Israel Institute of Technology, Hafia, Israel, 1989.

    Google Scholar 

  8. J. E. Coolahan and N. Roussopoulos. Timing requirements for time-driven systems using augmented petri-nets. IEEE Transactions on Software Engineering, 9(9):603–616, 1983.

    Google Scholar 

  9. M. Heymann. Concurrency and discrete event control. IEEE Control Systems Magazine, 10(4):103–112, 1990.

    Article  Google Scholar 

  10. M. Heymann and G. Meyer. Algebra of discrete event processes. Technical Report NASA 102848, NASA Ames Research Center, Moffett Field, CA, June 1991.

    Google Scholar 

  11. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, Inc., Englewood Cliffs, NJ, 1985.

    Google Scholar 

  12. F. Jahanian and A. Mok. Safety analysis of timing properties in real-time systems. IEEE Transactions on Software Engineering, 12(9):890–904, 1986.

    Google Scholar 

  13. R. Kumar and V. K. Garg. Extremal solutions of inequations over lattices with applications to supervisory control. Theoretical Computer Science, 148:67–92, November 1995.

    Article  Google Scholar 

  14. R. Kumar and V. K. Garg. Modeling and Control of Logical Discrete Event Systems. Kluwer Academic Publishers, Boston, MA, 1995.

    Google Scholar 

  15. R. Kumar and M. A. Shayman. Non-blocking supervisory control of nondeterministic systems via prioritized synchronization. IEEE Transactions on Automatic Control, 1995. Accepted.

    Google Scholar 

  16. R. Kumar and M. A. Shayman. Supervisory control of nondeterministic systems under partial observation and decentralization. SIAM Journal of Control and Optimization, 1995. Accepted.

    Google Scholar 

  17. J. S. Ostroff and W. M. Wonham. A framework for real-time discrete event control. IEEE Transactions on Automatic Control, 35(4):386–397, 1990.

    Article  Google Scholar 

  18. A. Puri and P. Varaiya. Decidable hybrid automata. Computer and Mathematical Modeling, 1995. To appear.

    Google Scholar 

  19. P. J. Ramadge and W. M. Wonham. On the supremal controllable sublanguage of a given language. SIAM Journal of Control and Optimization, 25(3):637–659, 1987.

    Article  Google Scholar 

  20. P. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event processes. SIAM Journal of Control and Optimization, 25(1):206–230, 1987.

    Article  Google Scholar 

  21. P. J. Ramadge and W. M. Wonham. The control of discrete event systems. Proceedings of IEEE: Special Issue on Discrete Event Systems, 77:81–98, 1989.

    Google Scholar 

  22. G. M. Reed and A. W. Roscoe. A timed model for communicating sequential processes. In L. Kott, editor, 13th ICALP (Lecture Notes in Computer Science, 226), pages 314–323. Springer-Verlag, New York, 1986.

    Google Scholar 

  23. M. Shayman and R. Kumar. Supervisory control of nondeterministic systems with driven events via prioritized synchronization and trajectory models. SIAM Journal of Control and Optimization, 33(2):469–497, March 1995.

    Article  Google Scholar 

  24. J. G. Thistle. Logical aspects of control of discrete event systems: a survey of tools and techniques. In Guy Cohen and Jean-Pierre Quadrat, editors, Lecture Notes in Control and Information Sciences 199, pages 3–15. Springer-Verlag, New York, 1994.

    Google Scholar 

  25. H. Wong-Toi and G. Hoffmann. The control of dense real-time discrete event systems. Technical Report STAN-CS-92-1411, Stanford University, Stanford, CA, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering, University of Kentucky, 40506-0046, Lexington, KY

    Ratnesh Kumar

  2. Department of Electrical Engineering and ISR, University of Maryland, 20742, College Park, MD

    Mark A. Shayman

Authors
  1. Ratnesh Kumar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mark A. Shayman
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Rajeev Alur Thomas A. Henzinger Eduardo D. Sontag

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kumar, R., Shayman, M.A. (1996). Supervisory control of real-time systems using prioritized synchronization. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds) Hybrid Systems III. HS 1995. Lecture Notes in Computer Science, vol 1066. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020959

Download citation

  • DOI: https://doi.org/10.1007/BFb0020959

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61155-4

  • Online ISBN: 978-3-540-68334-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation