Loading web-font TeX/Math/Italic
Bisimulation of strongly autonomous n-D systems | IEEE Conference Publication | IEEE Xplore

Bisimulation of strongly autonomous n-D systems


Abstract:

The notion of bisimulation of dynamical systems described by ordinary differential and difference equations is well established in the literature. However, a notion of bi...Show More

Abstract:

The notion of bisimulation of dynamical systems described by ordinary differential and difference equations is well established in the literature. However, a notion of bisimulation for systems described by partial differential and difference equations is visibly nonexistent. In this paper, we formulate a notion of bisimulation, namely S-bisimulation, for a special class of dynamical systems described by partial differential equations with real constant coefficients. An alge-braic characterization of S-bisimulation and an algorithm for computing the maximal S-bisimulation relation is provided.
Date of Conference: 12-15 July 2022
Date Added to IEEE Xplore: 05 August 2022
ISBN Information:
Conference Location: London, United Kingdom

Contact IEEE to Subscribe

References

References is not available for this document.