Equivalence of dynamical systems by bisimulation

Arjan van der Schaft

    Research output: Contribution to journalArticleAcademicpeer-review

    118 Citations (Scopus)
    73 Downloads (Pure)

    Abstract

    A general notion of bisimulation is defined for linear input-state-output systems, using analogies with the theory of concurrent processes. A characterization of bisimulation and an algorithm for computing the maximal bisimulation relation is derived using geometric control theory. Bisimulation is shown to be a notion which unifies the concepts of state-space equivalence and state-space reduction, and which allows to study equivalence of systems with nonminimal state-space dimension. The notion of bisimulation is especially powerful for "nondeterministic" dynamical systems, and leads in this case to a notion of equivalence which is finer than equality of external behavior. For abstractions of systems it is shown how the results specialize to previously obtained results by other authors. Extensions of the main results to the nonlinear case are provided.
    Original languageUndefined
    Pages (from-to)2160-2172
    Number of pages13
    JournalIEEE transactions on automatic control
    Volume49
    Issue number12
    DOIs
    Publication statusPublished - Dec 2004

    Keywords

    • Controlled invariance
    • Nonminimal systems
    • state-space equivalence
    • Maximal bisimulation relation
    • Bisimulation
    • IR-48432
    • Nonlinear Systems
    • Non-deterministic systems
    • EWI-16802
    • METIS-219887
    • Abstraction

    Cite this