Discrete Event Dynamic Systems

, Volume 15, Issue 4, pp 397–431 | Cite as

A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems



In this article, we study the problem of controlling a plant described as a real-time discrete event system. The aimed objective is to ensure a conformance relation denoted tioco between the plant and the formal specification of the system, by means of a supervisor. We adopt a two-step approach. In Step 1, we express the problem into a non-real-time form, by using a transformation of timed automata (TA) into particular finite state automata called Set-Exp-Automata (SEA). The latter use two additional types of events, Set and Exp. And in Step 2, we propose a non-real-time control method suitable for SEA. We also propose a control architecture.


supervisory control real-time discrete event systems (RTDES) conformance relation tioco timed automata Set-Exp-Automata 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Alur, R., and Dill, D. 1994. A theory of timed automata. Theoretical Computer Science 126: 183–235.CrossRefGoogle Scholar
  2. Alur, R., Courcoubetis, C., and Dill, D. 1990. Model checking for real-time systems. In Proc. IEEE Sympos. on Logic in Computer Science.Google Scholar
  3. Asarin, E., Maler, O., and Pnueli, A. 1995. Symbolic controller synthesis for discrete and timed systems. In Hybrid Syst. II, Lecture Notes in Computer Science (LNCS) 999, pp. 1–20. Springer-Verlag, London, UK.Google Scholar
  4. Asarin, E., Maler, O., Pnueli, A., and Sifakis, J. 1998. Controller synthesis for timed automata. In Proc. IFAC Symposium on System Structure and Control, pp. 469–474. Elsevier.Google Scholar
  5. Barbeau, M., Kabanza, F., and St-Denis, R. 1998. A method for the synthesis of controllers to handle safety, liveness, and real-time constraints. IEEE Transactions on Automatic Control 43: 1543–1559.CrossRefGoogle Scholar
  6. Bouyer, P., D'Souza, D., Madhusudan, P., and Petit, A. 2003. Timed control with partial observability. In Proc. Intern. Works. Comp.-Aided Verif. (CAV), LNCS 2725, pp. 180–192. Springer-Verlag, Boulder, Colorado, USA.Google Scholar
  7. Brandin, B., and Wonham, W. M. 1994. Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control 39(2): 329–342.CrossRefGoogle Scholar
  8. Daws, C., and Yovine, S. 1995. Two examples of verification of multirate timed automata with KRONOS. In Proc. 16th IEEE Real-Time Sympos (RTSS), Italy.Google Scholar
  9. D'Souza, D., and Madhusudan, P. 2002. Timed control synthesis for external specifications. In Proc. 14th Annual Symp. on Theoret. Aspects of Comp. Sc. (STACS), Lecture Notes in Computer Science 2285. Springer-Verlag, Antibes-Juan les Pins, France.Google Scholar
  10. Gouin, A. 1999. Contribution à la commande de systèmes à événements discrets temporisés: synthèse de superviseur dans le cadre de modèle automate, PhD thesis, Laboratoire d'Ingénierie des Systèmes Automatisès, University of Angers, Angers, France.Google Scholar
  11. Gouin, A., and Ferrier, J. L. 2000. Commande supervisée de systèmes à événements discrets temporisés: synthèse basée sur les automates de régions. In 1re Conf. Int. Francophone d'Automatique (CIFA), pp. 594–599, Lille, France, July.Google Scholar
  12. Hoffman, G., and Wong-Toi, H. 1992. The input–output control of real-time discrete event systems. In Proc. 13th IEEE Real-Time Systems Sympos. (RTSS), pp. 256–265.Google Scholar
  13. Jard, C., Jéron, T., Tanguy, L., and Viho, C. 1999. Remote testing can be as powerful as local testing. In Proc. PSTV/FORTE, Beijing, China, October.Google Scholar
  14. Jéron, T., Marchand, H., Rusu, V., and Tschaen, V. 2003. Ensuring the conformance of reactive discrete-event systems using supervisory control. In 42nd CDC, Hawaii, USA, December.Google Scholar
  15. Khoumsi, A. 2002. Supervisory control of dense real-time discrete-event systems with partial observation. In Proc. 6th Intern. Workshop on Discrete Event Systems (WODES), Zaragoza, Spain, October. http://www.gel.usherb.ca/khoumsi/Research/Public/WODES02.ps.
  16. Khoumsi, A. 2004. Supervisory control for the conformance of real-time discrete-event systems. In Proc. 7th Intern. Workshop on Discrete Event Systems (WODES), Reims, France, September. http://www.gel.usherb.ca/khoumsi/Research/Public/WODES04.ps.
  17. Khoumsi, A., and Ouedraogo, L. 2004. A new method for transforming timed automata. In Proc. Brazilian Symposium of Formal Methods (SBMF), Recife, Brazil, November. http://www.gel.usherb.ca/khoumsi/Research/Public/SBMF04-SetExp.pdf.
  18. Larsen, K. G. 1995. Compositional and symbolic model-checking of real-time systems. In Proc. 16th IEEE Real-Time Systems Sympos. (RTSS), Italy.Google Scholar
  19. Maler, O., Pnueli, A., and Sifakis, J. 1995. On the synthesis of discrete controllers for timed systems. In Proc. 12th Annual Sympos. on Theoretical Aspects of Computer Science (STACS), pp. 229–242. Springer-Verlag LNCS 900.Google Scholar
  20. Ostroff, J. S. 1990. Deciding properties of timed transitions models. IEEE Transactions on Parallel and Distributed Systems 1(2): 170–183.CrossRefGoogle Scholar
  21. Ramadge, P. J., and Wonham, W. M. 1987. Supervisory control of a class of discrete event processes. SIAM J. Control and Optimization 25(1): 206–230.CrossRefGoogle Scholar
  22. Ramadge, P. J., and Wonham, W. M. 1989. The control of discrete event systems. Proc. IEEE, 77:81–98, January.CrossRefGoogle Scholar
  23. Tretmans, J. 1996. Test generation with inputs, outputs and repetitive quiescence. Software-Concepts and Tools. 17(3): 103–120.Google Scholar

Copyright information

© Springer Science + Business Media, Inc. 2005

Authors and Affiliations

  1. 1.Dep. GEGIUniversité de SherbrookeSherbrookeCanada

Personalised recommendations