Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
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)
Brandin, B., Wonham, W.: Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control 39(2), 329–342 (1994)
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)
Heymann, M., Lin, F.: Discrete-event control of nondeterministic systems. IEEE Transactions on Automatic Control 43(1), 3–17 (1998)
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)
Leveson, N.: The challenge of building process-control software. IEEE Software 7(6), 55–62 (1990)
Markovski, J.: Demo models and model transformation tool SupPlant2UPPAAL (2013), http://sites.google.com/site/jasenmarkovski
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)
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)
Markovski, J.: Communicating processes with data for supervisory coordination. In: Proceedings of FOCLASA 2012. EPTCS, vol. 91, pp. 97–111. Open Publishing Association (2012)
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)
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)
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)
Saadatpoor, A., Ma, C., Wonham, W.M.: Supervisory control of timed state tree structures. In: Proceedings of ACC 2008, pp. 477–482. IEEE (2008)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Markovski, J. (2014). Supervisory Coordination of Timed Communicating Processes. In: Trajkovik, V., Anastas, M. (eds) ICT Innovations 2013. ICT Innovations 2013. Advances in Intelligent Systems and Computing, vol 231. Springer, Heidelberg. https://doi.org/10.1007/978-3-319-01466-1_20
Download citation
DOI: https://doi.org/10.1007/978-3-319-01466-1_20
Publisher Name: Springer, Heidelberg
Print ISBN: 978-3-319-01465-4
Online ISBN: 978-3-319-01466-1
eBook Packages: EngineeringEngineering (R0)