Achievable bisimilar behaviour of abstract state systems

G. Pola, Arjan van der Schaft, Maria D. Di Benedetto

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

    10 Citations (Scopus)
    75 Downloads (Pure)

    Abstract

    Given a plant system and a desired system, we study conditions for which there exists a controller that interconnected with the plant, yields a system that is bisimilar to the desired system. Some sufficient and some necessary conditions are provided in the general case of (non-deterministic) abstract state systems and stronger results are obtained for the special classes of autonomous abstract state systems, finite abstract state systems, and non-deterministic linear dynamical systems.
    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
    Pages1535-1540
    Number of pages6
    ISBN (Print)0-7803-9568-9
    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

    • IR-69102
    • METIS-226726
    • EWI-16865
    • EC Grant Agreement nr.: FP6/511368

    Cite this