Skip to main content
SpringerLink
Log in

Continuous-time supervisory synthesis for distributed-clock discrete-event processes

  • The Automata Theoretic Approach
  • Conference paper
  • First Online:
11th International Conference on Analysis and Optimization of Systems Discrete Event Systems

Part of the book series: Lecture Notes in Control and Information Sciences ((LNCIS,volume 199))

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. D. O'Young. On the synthesis of supervisors for timed discrete event processes. Systems Control Group Report #9107, Dept. Elect. Comp. Engr., Univ. Toronto, 1991. Submitted for Publication.

    Google Scholar 

  2. S. D. O'Young. Continuous-time supervisory synthesis for discrete event processes. Systems Control Group Report #9315, Dept. Elect. Comp. Engr., Univ. Toronto, 1993. Submitted for Publication.

    Google Scholar 

  3. C. H. Golaszewski and P. J. Ramadge. On the control of real-time discrete event systems. In Proc. 23rd Conf. on Information Systems and Signals, pages 98–102, Princeton, NJ, March 1989.

    Google Scholar 

  4. J. S. Ostroff. Synthesis of controllers for real-time discrete event systems. In Proc. 28nd Conf. Decision Contr., pages 138–144, Tampa, Fl., December 1989.

    Google Scholar 

  5. J. S. Ostroff. Temporal logic for real-time systems. John Wiley and Sons, 1989.

    Google Scholar 

  6. J. S. Ostroff and W. M. Wonham. A framework for real-time discrete event control. IEEE Trans. on Automatic Control., 35(4), April 1990.

    Google Scholar 

  7. H. Wong-Toi and G. Hoffmann. The control of dense real-time discrete event systems. In Proc. 30th Conf. Decision Contr., pages 1527–1528, December 1991.

    Google Scholar 

  8. C. H. Golaszewski and P. J. Ramadge. Control of discrete event processes with forced events. In Proc. 26nd Conf. Decision Contr., pages 247–251, December 1987.

    Google Scholar 

  9. Y. Brave and M. Heymann. Formulation and control of real time discrete event processes. In Proc. 27nd Conf. Decision Contr., pages 1131–1132, Austin, TX, December 1988.

    Google Scholar 

  10. B. A. Brandin and W. M. Wonham. The supervisory control of timed discrete event systems. Systems Control Group Report #9210, Dept. Elect. Comp. Engr., Univ. Toronto, 1992. Submitted for Publication.

    Google Scholar 

  11. B. A. Brandin, W. M. Wonham, and B. Benhabib. Manufacturing cell supervisory control — a timed discrete event systems approach. In Proc. IEEE International Conf. on Robotics and Automaton, Nice, France, May 1992.

    Google Scholar 

  12. P. J. Ramadge and W. M. Wonham. The control of discrete event systems. Proc. IEEE, Special Issue on Discrete Event Dynamic Systems, 77(1):81–98, 1989.

    Google Scholar 

  13. R. Alur and D. Dill. Automata for modeling real-time systems. In Lecture Notes in Computer Science, volume 443. Springer-Verlag, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical and Computer Engineering, University of Toronto, M5S 1A4, Toronto, Ontario, Canada

    S. D. O'Young

  2. Condata Technologies Ltd, Toronto, Canada

    S. D. O'Young

Authors
  1. S. D. O'Young
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Guy Cohen Jean-Pierre Quadrat

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag London Limited

About this paper

Cite this paper

O'Young, S.D. (1994). Continuous-time supervisory synthesis for distributed-clock discrete-event processes. In: Cohen, G., Quadrat, JP. (eds) 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. Lecture Notes in Control and Information Sciences, vol 199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0033536

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19896-3

  • Online ISBN: 978-3-540-39345-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation