Supervisory Coordination of Timed Communicating Processes

  • Jasen MarkovskiEmail author
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 231)


We propose a synthesis-centric approach to coordination of timed discrete-event systems with data and unrestricted nondeterminism. We employ supervisory controllers to exercise the desired coordination, which are automatically synthesized based on the models of the system components and the coordination rules. We develop a timed process theory with data that supports the modeling process and we provide for time abstractions that allow us to employ standard synthesis tools. Following the synthesis of the discrete-event controller that preserves safe behavior of the supervised system, we analyze the timed behavior by employing timed model checking. To interface the synthesis tool and the model checker, we develop a compositional model transformation.


supervisory control theory timed communicating processes partial bisimulation model-based systems engineering 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Akesson, K., Fabian, M., Flordal, H., Malik, R.: Supremica - an integrated environment for verification, synthesis and simulation of discrete event systems. In: Proceedings of WODES 2006, pp. 384–385. IEEE (2006)Google Scholar
  2. 2.
    Baeten, J.C.M., Basten, T., Reniers, M.A.: Process Algebra: Equational Theories of Communicating Processes, Cambridge Tracts in Theoretical Computer Science, vol. 50. Cambridge University Press (2010)Google Scholar
  3. 3.
    Baeten, J.C.M., van Beek, D.A., Luttik, B., Markovski, J., Rooda, J.E.: A process-theoretic approach to supervisory control theory. In: Proceedings of ACC 2011, pp. 4496–4501. IEEE (2011)Google Scholar
  4. 4.
    Baeten, J., van Beek, D., van Hulst, A., Markovski, J.: A process algebra for supervisory coordination. In: Proceedings of PACO 2011. EPTCS, vol. 60, pp. 36–55. Open Publishing Association (2011)Google Scholar
  5. 5.
    Brandin, B., Wonham, W.: Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control 39(2), 329–342 (1994)MathSciNetzbMATHCrossRefGoogle Scholar
  6. 6.
    Cassez, F., David, A., Fleury, E., Larsen, K.G., Lime, D.: Efficient on-the-fly algorithms for the analysis of timed games. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol. 3653, pp. 66–80. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  7. 7.
    Heymann, M., Lin, F.: Discrete-event control of nondeterministic systems. IEEE Transactions on Automatic Control 43(1), 3–17 (1998)MathSciNetzbMATHCrossRefGoogle Scholar
  8. 8.
    Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a Nutshell. International Journal on Software Tools for Technology Transfer. 1(1-2), 134–152 (1997)zbMATHCrossRefGoogle Scholar
  9. 9.
    Leveson, N.: The challenge of building process-control software. IEEE Software 7(6), 55–62 (1990)CrossRefGoogle Scholar
  10. 10.
    Markovski, J.: Demo models and model transformation tool SupPlant2UPPAAL (2013),
  11. 11.
    Markovski, J., van Beek, D.A., Theunissen, R.J.M., Jacobs, K.G.M., Rooda, J.E.: A state-based framework for supervisory control synthesis and verification. In: Proceedings of CDC 2010, pp. 3481–3486. IEEE (2010)Google Scholar
  12. 12.
    Markovski, J., Jacobs, K.G.M., van Beek, D.A., Somers, L.J.A.M., Rooda, J.E.: Coordination of resources using generalized state-based requirements. In: Proceedings of WODES 2010, pp. 300–305. IFAC (2010)Google Scholar
  13. 13.
    Markovski, J.: Communicating processes with data for supervisory coordination. In: Proceedings of FOCLASA 2012. EPTCS, vol. 91, pp. 97–111. Open Publishing Association (2012)Google Scholar
  14. 14.
    Miremadi, S., Akesson, K., Lennartson, B.: Extraction and representation of a supervisor using guards in extended finite automata. In: Proceedings of WODES 2008, pp. 193–199. IEEE (2008)Google Scholar
  15. 15.
    Nicollin, X., Sifakis, J.: An overview and synthesis of timed process algebras. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol. 600, pp. 526–548. Springer, Heidelberg (1992)CrossRefGoogle Scholar
  16. 16.
    Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete-event processes. SIAM Journal on Control and Optimization 25(1), 206–230 (1987)MathSciNetzbMATHCrossRefGoogle Scholar
  17. 17.
    Saadatpoor, A., Ma, C., Wonham, W.M.: Supervisory control of timed state tree structures. In: Proceedings of ACC 2008, pp. 477–482. IEEE (2008)Google Scholar
  18. 18.
    Zhou, C., Kumar, R., Jiang, S.: Control of nondeterministic discrete-event systems for bisimulation equivalence. IEEE Transactions on Automatic Control 51(5), 754–765 (2006)MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  1. 1.Eindhoven University of TechnologyEindhovenThe Netherlands

Personalised recommendations