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. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/11562436_4 | FORTE |
Keywords | Field | DocType |
sufficient condition,trace semantics,complex control system,passive action,supervisory control,composition operator,supervisory control system,control system | Operational semantics,Associative property,Control theory,Supervisory control,Computer science,Composition operator,Operator (computer programming),Formal methods,Control system | Conference |
Volume | ISSN | ISBN |
3731 | 0302-9743 | 3-540-29189-X |
Citations | PageRank | References |
1 | 0.35 | 6 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
stefan strubbe | 1 | 22 | 2.87 |
Rom Langerak | 2 | 308 | 39.16 |