A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
Approximate Bisimulations for Nonlinear Dynamical Systems
Proceedings of the 44th IEEE Conference on Decision and Control
The notion of exact bisimulation equivalence for nondeterministic discrete systems has recently resulted in notions of exact bisimulation equivalence for continuous and hybrid systems. In this paper, we establish the more robust notion of approximate bisimulation equivalence for nondeterministic nonlinear systems. This is achieved by requiring that a distance between system observations starts and remains, close, in the presence of nondeterministic system evolution. We show that approximatedoi:10.1109/cdc.2005.1582235 fatcat:wrjdvqbx5jgefeammebizzdwl4