Equivalence of switching linear systems by bisimulation

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

    Research output: Contribution to journalArticleProfessional

    18 Citations (Scopus)
    63 Downloads (Pure)

    Abstract

    A general notion of hybrid bisimulation is proposed for the class of switching linear systems. Connections between the notions of bisimulation-based equivalence, state-space equivalence, algebraic and input–output equivalence are investigated. An algebraic characterization of hybrid bisimulation and an algorithmic procedure converging in a finite number of steps to the maximal hybrid bisimulation are derived. Hybrid state space reduction is performed by hybrid bisimulation between the hybrid system and itself. By specializing the results obtained on bisimulation, also characterizations of simulation and abstraction are derived. Connections between observability, bisimulation-based reduction and simulation-based abstraction are studied.
    Original languageUndefined
    Article number10.1080/00207170500380839
    Pages (from-to)74-92
    Number of pages19
    JournalInternational journal of control
    Volume79
    Issue numbersuppl 2/1
    DOIs
    Publication statusPublished - 2006

    Keywords

    • EC Grant Agreement nr.: FP6/511368
    • IR-66718
    • EWI-8531
    • METIS-237777

    Cite this

    Pola, G., van der Schaft, A., & Benedetto Di, M. D. (2006). Equivalence of switching linear systems by bisimulation. International journal of control, 79(suppl 2/1), 74-92. [10.1080/00207170500380839]. https://doi.org/10.1080/00207170500380839