Advertisement

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

  • S. D. O'Young
The Automata Theoretic Approach
Part of the Lecture Notes in Control and Information Sciences book series (LNCIS, volume 199)

Keywords

Logical Transition Supervisory Control Discrete Event System Local Clock Control Pattern 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. 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. 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. 5.
    J. S. Ostroff. Temporal logic for real-time systems. John Wiley and Sons, 1989.Google Scholar
  6. 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. 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. 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. 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. 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. 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. 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. 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

Copyright information

© Springer-Verlag London Limited 1994

Authors and Affiliations

  • S. D. O'Young
    • 1
    • 2
  1. 1.Department of Electrical and Computer EngineeringUniversity of TorontoTorontoCanada
  2. 2.Condata Technologies LtdTorontoCanada

Personalised recommendations