Equivalence of switching linear systems by bisimulation

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

    Research output: Contribution to journalArticleProfessional

    19 Citations (Scopus)
    108 Downloads (Pure)


    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
    Issue numbersuppl 2/1
    Publication statusPublished - 2006


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

    Cite this