Abstract
We investigate requirements for a composition operator for complex control systems. The operator should be suitable for a context where we have both supervisory control and a system that consists of multiple (two or more) components. We conclude that using both passive (observing) and active (controlling) transitions is advantageous for the specification of supervisory control systems. We introduce a composition operator that meets the requirements. We give both operational and trace semantics for this operator and give necessary and sufficient conditions for commutativity and associativity.
Chapter PDF
Similar content being viewed by others
References
Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, Comp. Sci. Dept. (1981)
Hoare, C.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)
Bolognesi, T., Brinksma, E.: Introduction to the iso specification language lotos. Comp. Networks and ISDN Systems 14, 25–59 (1987)
Prasad, K.: A Calculus of Broadcasting Systems. In: Proc. 16th Colloquium on Trees in Algebra and Programming, vol. 493, pp. 338–358 (1991)
Lynch, N.A., Segala, R., Vaandrager, F.W.: Hybrid I/O automata. Information and Computation 185(1), 105–157 (2003)
Lynch, N.A., Tuttle, M.R.: An introduction to input/output automata. CWI Quarterly 2, 219–246 (1988)
Groote, J.F.: Process Algebra and Structured Operational Semantics. PhD thesis, University of Amsterdam (1991)
Ramadge, P., Wonham, W.: The control of discrete event systems. Proceedings of the IEEE 77, 81–98 (1989)
Cassandras, C.G., Lafortune, S.: Introduction to discrete event systems. Kluwer Academic Publishers, Dordrecht (1999)
Hennesy, M.: Algebraic Theory of Processes. MIT Press, Cambridge (1988)
Julius, A.A., Strubbe, S.N., van der Schaft, A.J.: Control of hybrid behavioral automata by interconnection. In: Preprints Conference on Analysis and Design of Hybrid Systems ADHS 2003, pp. 135–140 (2003)
Strubbe, S.N., Julius, A.A., van der Schaft, A.J.: Communicating piecewise de- terministic markov processes. In: Preprints Conference on Analysis and Design of Hybrid Systems ADHS 2003, pp. 349–354 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 IFIP International Federation for Information Processing
About this paper
Cite this paper
Strubbe, S., Langerak, R. (2005). A Composition Operator for Systems with Active and Passive Actions. In: Wang, F. (eds) Formal Techniques for Networked and Distributed Systems - FORTE 2005. FORTE 2005. Lecture Notes in Computer Science, vol 3731. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11562436_4
Download citation
DOI: https://doi.org/10.1007/11562436_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29189-3
Online ISBN: 978-3-540-32084-5
eBook Packages: Computer ScienceComputer Science (R0)