Bisimulation theory for switching linear systems

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

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

    13 Citations (Scopus)
    58 Downloads (Pure)

    Abstract

    A general notion of hybrid bisimulation is proposed and related to the notions of algebraic, state-space and input-output equivalences for the class of switching linear systems. An algebraic characterization of hybrid bisimulations and a procedure converging in a finite number of steps to the maximal hybrid bisimulation are derived. Bisimulation-based reduction and simulation-based abstraction are defined and characterized. Connections with observability are investigated.
    Original languageUndefined
    Title of host publication43rd IEEE Conference on Decision and Control
    Place of PublicationParadise Island, The Bahamas
    PublisherIEEE
    Pages1406-1411
    Number of pages6
    ISBN (Print)0-7803-8682-5
    Publication statusPublished - 2004
    Event43rd IEEE Conference on Decision and Control, CDC 2004 - The Atlantis, Paradise Island, Bahamas
    Duration: 14 Dec 200417 Dec 2004
    Conference number: 43

    Publication series

    Name
    PublisherIEEE
    Volume2
    ISSN (Print)0191-2216

    Conference

    Conference43rd IEEE Conference on Decision and Control, CDC 2004
    Abbreviated titleCDC
    CountryBahamas
    CityParadise Island
    Period14/12/0417/12/04

    Keywords

    • EWI-16822
    • METIS-221905
    • IR-69100

    Cite this