A Composition Operator for Systems with Active and Passive Actions

S.N. Strubbe; Romanus Langerak

doi:10.1007/11562436_4

A Composition Operator for Systems with Active and Passive Actions

S.N. Strubbe, Romanus Langerak

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)

68 Downloads (Pure)

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.

Original language	Undefined
Title of host publication	Proceedings of Formal Techniques for Networked and Distributed Systems (FORTE) 2005
Editors	F. Wang
Place of Publication	Germany
Publisher	Springer
Pages	24-37
Number of pages	14
ISBN (Print)	354029189X
DOIs	https://doi.org/10.1007/11562436_4
Publication status	Published - 2005
Event	25th IFIP WG 6.1 international conference, Taipei, Taiwan: Formal techniques for networked and distributed systems, FORTE 2005 - Berlin Duration: 2 Oct 2005 → 5 Oct 2005

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer-Verlag
Number	XII
Volume	3731
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	25th IFIP WG 6.1 international conference, Taipei, Taiwan
City	Berlin
Period	2/10/05 → 5/10/05

Keywords

IR-54777
METIS-229266
Supervisory control
Compositional modelling
EWI-642

Access to Document

10.1007/11562436_4

forte05

Cite this

@inproceedings{21df2f9efa864bf19483825dfef576ca,

title = "A Composition Operator for Systems with Active and Passive Actions",

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.",

keywords = "IR-54777, METIS-229266, Supervisory control, Compositional modelling, EWI-642",

author = "S.N. Strubbe and Romanus Langerak",

note = "eemcs642 ; 25th IFIP WG 6.1 international conference, Taipei, Taiwan ; Conference date: 02-10-2005 Through 05-10-2005",

year = "2005",

doi = "10.1007/11562436_4",

language = "Undefined",

isbn = "354029189X",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "XII",

pages = "24--37",

editor = "F. Wang",

booktitle = "Proceedings of Formal Techniques for Networked and Distributed Systems (FORTE) 2005",

address = "Germany",

}

Strubbe, SN & Langerak, R 2005, A Composition Operator for Systems with Active and Passive Actions. in F Wang (ed.), Proceedings of Formal Techniques for Networked and Distributed Systems (FORTE) 2005. Lecture Notes in Computer Science, no. XII, vol. 3731, Springer, Germany, pp. 24-37, 25th IFIP WG 6.1 international conference, Taipei, Taiwan, Berlin, 2/10/05. https://doi.org/10.1007/11562436_4

A Composition Operator for Systems with Active and Passive Actions. / Strubbe, S.N.; Langerak, Romanus.
Proceedings of Formal Techniques for Networked and Distributed Systems (FORTE) 2005. ed. / F. Wang. Germany: Springer, 2005. p. 24-37 (Lecture Notes in Computer Science; Vol. 3731, No. XII).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A Composition Operator for Systems with Active and Passive Actions

AU - Strubbe, S.N.

AU - Langerak, Romanus

N1 - eemcs642

PY - 2005

Y1 - 2005

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

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

KW - IR-54777

KW - METIS-229266

KW - Supervisory control

KW - Compositional modelling

KW - EWI-642

U2 - 10.1007/11562436_4

DO - 10.1007/11562436_4

M3 - Conference contribution

SN - 354029189X

T3 - Lecture Notes in Computer Science

SP - 24

EP - 37

BT - Proceedings of Formal Techniques for Networked and Distributed Systems (FORTE) 2005

A2 - Wang, F.

PB - Springer

CY - Germany

T2 - 25th IFIP WG 6.1 international conference, Taipei, Taiwan

Y2 - 2 October 2005 through 5 October 2005

ER -