Skip to main content
Conference ProceedingsOPEN ACCESS

A composition operator for systems with active and passive actions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2005) 3731 LNCS 24-37
DOI: 10.1007/11562436_4
1Citations
Citations of this article
3Readers
Mendeley users who have this article in their library.

This article is free to access.

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. © IFIP International Federation for Information Processing 2005.

Author supplied keywords

Cite

CITATION STYLE

APA

Strubbe, S., & Langerak, R. (2005). A composition operator for systems with active and passive actions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3731 LNCS, pp. 24–37). https://doi.org/10.1007/11562436_4

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free