Skip to main content
Springer Nature Link
Log in

Towards Supervisory Control of Generally-Distributed Discrete-Event Systems

  • Conference paper
Computer Performance Engineering (EPEW 2013)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 8168))

Included in the following conference series:

Abstract

We develop a process-theoretic approach for generally-dis-tributed discrete-event systems with unrestricted nondeterminism that is geared towards supervisory control. Supervisory control theory deals with synthesis of models of supervisory controllers that ensure safe and nonblocking behavior of the supervised system. The models are synthesized based on a model of the uncontrolled system and a formalization of the control requirements. Even though there exist extensions of supervisory control theory for timed and Markovian discrete-event systems, there are hardly any investigations of supervisory control of discrete-event systems with generally-distributed delays. General distributions provide for (convenient) modeling of important real-world phenomena that cannot be consistently modeled by means of real time or Markovian (exponentially-distributed) delays, like heavy-tail or uniformly distributed processes. Our theory relies on a behavioral preorder termed partial bisimulation, for which we provide a suitable extension. Based on the proposed theory we provide for an appropriate abstraction of the stochastic behavior, which enables us to employ standard supervisory controller synthesis tools. The synthesized supervisor can, thereafter, be coupled with the stochastic model of the unsupervised system and abstracted to a generalized semi-Markov process for the purpose of analysis and simulation.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley (1995)

    Google Scholar 

  2. 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 

  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. IEEE (2011), http://se.wtb.tue.nl

  4. Baeten, J.C.M., Middelburg, C.A.: Process Algebra with Timing. Springer (2002)

    Google Scholar 

  5. Baier, C., Größer, M., Leucker, M., Bollig, B., Ciesinski, F.: Controller synthesis for probabilistic systems. In: Proceedings of IFIP TCS 2004, pp. 493–506. Kluwer (2004)

    Google Scholar 

  6. van Beek, D.A., Reniers, M.A., Schiffelers, R.R.H., Rooda, J.E.: Foundations of a compositional interchange format for hybrid systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 587–600. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  7. Bohnenkamp, H.C., D’Argenio, P.R., Hermanns, H., Katoen, J.-P.: MODEST: A compositional modeling formalism for hard and softly timed systems. IEEE Transactions on Software Engineering 32, 812–830 (2006)

    Article  Google Scholar 

  8. Brandin, B., Wonham, W.: Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control 39(2), 329–342 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  9. Bravetti, M.: Specification and Analysis of Stochastic Real-time Systems. Ph.D. thesis, Università di Bologna (2002)

    Google Scholar 

  10. Bravetti, M., Bernardo, M., Gorrieri, R.: From EMPA to GSMPA: Allowing for general distributions. In: Proceedings of PAPM 1997, pp. 17–33. Enschede (1997)

    Google Scholar 

  11. Bravetti, M., D’Argenio, P.R.: Tutte le algebre insieme: Concepts, discussions and relations of stochastic process algebras with general distributions. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems. LNCS, vol. 2925, pp. 44–88. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  12. Brázdil, T., Forejt, V.: Strategy synthesis for Markov decision processes and branching-time logics. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 428–444. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  13. Cassandras, C., Lafortune, S.: Introduction to discrete event systems. Kluwer Academic Publishers (2004)

    Google Scholar 

  14. Chatterjee, K., Jurdziński, M., Henzinger, T.A.: Simple stochastic parity games. In: Baaz, M., Makowsky, J.A. (eds.) CSL 2003. LNCS, vol. 2803, pp. 100–113. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  15. Chen, T., Han, T., Lu, J.: On the markovian randomized strategy of controller for markov decision processes. In: Wang, L., Jiao, L., Shi, G., Li, X., Liu, J. (eds.) FSKD 2006. LNCS (LNAI), vol. 4223, pp. 149–158. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  16. D’Argenio, P.R., Katoen, J.-P.: A theory of stochastic systems, part I: Stochastic automata. Information and Computation 203(1), 1–38 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  17. D’Argenio, P.R., Katoen, J.-P.: A theory of stochastic systems, part II: Process algebra. Information and Computation 203(1), 39–74 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  18. Fabian, M., Lennartson, B.: On non-deterministic supervisory control. Proceedings of the 35th IEEE Decision and Control 2, 2213–2218 (1996)

    Article  Google Scholar 

  19. Garg, V.K., Kumar, R., Marcus, S.I.: A probabilistic language formalism for stochastic discrete-event systems. IEEE Transactions on Automatic Control 44(2), 280–293 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  20. Glabbeek, R.J.V.: The linear time–branching time spectrum I. In: Handbook of Process Algebra, pp. 3–99 (2001)

    Google Scholar 

  21. Glynn, P.W.: A GSMP formalism for discrete event systems. Proceedings of the IEEE 77(1), 14–23 (1989)

    Article  Google Scholar 

  22. Hermanns, H. (ed.): Interactive Markov Chains. LNCS, vol. 2428. Springer, Heidelberg (2002)

    MATH  Google Scholar 

  23. Howard, R.A.: Dynamic Probabilistic Systems, vols. 1 & 2. John F. Wiley & Sons (1971)

    Google Scholar 

  24. Kumar, R., Garg, V.K.: Control of stochastic discrete event systems: Synthesis. In: Proceedings of CDC 1998, vol. 3, pp. 3299–3304. IEEE (1998)

    Google Scholar 

  25. Kwiatkowska, M., Norman, G., Parker, D.: PRISM: probabilistic model checking for performance and reliability analysis. SIGMETRICS Performance Evaluation Review 36(4), 40–45 (2009)

    Article  Google Scholar 

  26. Kwong, R.H., Zhu, L.: Performance analysis and control of stochastic discrete event systems. In: Francis, B.A., Tannenbaum, A.R. (eds.) Feedback Control, Nonlinear Systems, and Complexity. LNCIS, vol. 202, pp. 114–130. Springer, Heidelberg (1995)

    Chapter  Google Scholar 

  27. Leveson, N.G.: The challenge of building process-control software. IEEE Software 7(6), 55–62 (1990)

    Article  Google Scholar 

  28. Lin, F., Yao, D.: Generalized semi-Markov process: a view through supervisory control. In: Proceedings of CDC 1998, pp. 1075–1076. IEEE (1989)

    Google Scholar 

  29. López, N., Núñez, M.: NMSPA: A non-Markovian model for stochastic processes. In: Proceedings of ICDS 2000, pp. 33–40. IEEE (2000)

    Google Scholar 

  30. Markovski, J.: Towards optimal supervisory control of discrete-time stochastic discrete-event processes with data. In: Proceedings ACSD 2013. IEEE (to appear, 2013)

    Google Scholar 

  31. 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. IEEE (2010) (to appear)

    Google Scholar 

  32. Markovski, J., D’Argenio, P.R., Baeten, J.C.M., Vink, E.P.: Reconciling real and stochastic time: the need for probabilistic refinement. Formal Aspects of Computing 24, 497–518 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  33. Markovski, J., Reniers, M.: Verifying performance of supervised plants. In: Proceedings of ACSD 2012, pp. 52–61. IEEE (2012)

    Google Scholar 

  34. 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 

  35. Neuts, M.F.: Matrix-geometric solutions in stochastic models, an algorithmic approach. John Hopkins University Press (1981)

    Google Scholar 

  36. Pantelic, V., Postma, S.M., Lawford, M.: Probabilistic supervisory control of probabilistic discrete event systems. IEEE Transactions on Automatic Control 54(8), 2013–2018 (2009)

    Article  MathSciNet  Google Scholar 

  37. 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)

    Article  MathSciNet  MATH  Google Scholar 

  38. Rutten, J.J.M.M.: Coalgebra, concurrency, and control. SEN Report R-9921, Center for Mathematics and Computer Science, Amsterdam, The Netherlands (1999)

    Google Scholar 

  39. Saadatpoor, A., Ma, C., Wonham, W.M.: Supervisory control of timed state tree structures, pp. 477–482. IEEE (2008)

    Google Scholar 

  40. Schiffelers, R.R.H., Theunissen, R.J.M., Beek, D.A.V., Rooda, J.E.: Model-based engineering of supervisory controllers using CIF. Electronic Communications of the EASST 21, 1–10 (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mechanical Engineering, Eindhoven University of Technology, Den Dolech 2, 5612AZ, Eindhoven, The Netherlands

    Jasen Markovski

Authors
  1. Jasen Markovski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Scienze Ambientali, Informatica e Statistica, Università Ca’ Foscari di Venezia, via Torino 155, 30170, Venezia, Italy

    Maria Simonetta Balsamo  & Andrea Marin  & 

  2. Department of Computing, Imperial College London, South Kensington Campus, SW7 2AZ, London, UK

    William J. Knottenbelt

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Markovski, J. (2013). Towards Supervisory Control of Generally-Distributed Discrete-Event Systems. In: Balsamo, M.S., Knottenbelt, W.J., Marin, A. (eds) Computer Performance Engineering. EPEW 2013. Lecture Notes in Computer Science, vol 8168. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40725-3_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-40725-3_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-40724-6

  • Online ISBN: 978-3-642-40725-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation