Bisimulation as congruence in the behavioral setting

A.A.J. Anak Agung Julius, Arjan van der Schaft

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

    6 Citations (Scopus)
    49 Downloads (Pure)

    Abstract

    We cast the notion of bisimulation in the Willems' behavioral setting. We show that in this setting, bisimulation is also a congruence, as it is known in the field of concurrent processes. Bisimulation is a congruence means if A and A' are bisimilar systems, then A || B and A' || B are also bisimilar. Here, the operator || denotes systems composition, and B is any other system that is composed with A or A'.
    Original languageUndefined
    Title of host publicationProceedings of the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05)
    Place of PublicationSeville
    PublisherIEEE/EUCA
    Pages814-819
    Number of pages6
    ISBN (Print)0-7803-9567-0
    DOIs
    Publication statusPublished - Dec 2005
    Event44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005 - Melia Seville, Seville, Spain
    Duration: 12 Dec 200515 Dec 2005
    Conference number: 44

    Publication series

    Name
    PublisherIEEE

    Conference

    Conference44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005
    Abbreviated titleCDC-ECC
    CountrySpain
    CitySeville
    Period12/12/0515/12/05

    Keywords

    • METIS-228692
    • EWI-16858
    • IR-69200

    Cite this