A Composition Operator for Systems with Active and Passive Actions

S.N. Strubbe, Romanus Langerak

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
    26 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 languageUndefined
    Title of host publicationProceedings of Formal Techniques for Networked and Distributed Systems (FORTE) 2005
    EditorsF. Wang
    Place of PublicationGermany
    PublisherSpringer
    Pages24-37
    Number of pages14
    ISBN (Print)354029189X
    DOIs
    Publication statusPublished - 2005
    Event25th IFIP WG 6.1 international conference, Taipei, Taiwan: Formal techniques for networked and distributed systems, FORTE 2005 - Berlin
    Duration: 2 Oct 20055 Oct 2005

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer-Verlag
    NumberXII
    Volume3731
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference25th IFIP WG 6.1 international conference, Taipei, Taiwan
    CityBerlin
    Period2/10/055/10/05

    Keywords

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

    Cite this