A composition operator for systems with active and passive actions

Authors:
Stefan Strubbe;Rom Langerak
Affiliations:
Twente University, Enschede, The Netherlands;Twente University, Enschede, The Netherlands
Venue:
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Year:
2005

Citing 5
Cited 0

Communicating sequential processes

Communicating sequential processes
Introduction to the ISO specification language LOTOS

Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Algebraic theory of processes

Algebraic theory of processes
A calculus of broadcasting systems

TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP '91): vol 1
Hybrid I/O automata

Information and Computation

Quantified Score

Hi-index	0.00

Visualization

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.