Approximate Bisimulations for Nonlinear Dynamical Systems

  title={Approximate Bisimulations for Nonlinear Dynamical Systems},
  author={Aaron Girard and G. Pappas},
  journal={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 approximate… CONTINUE READING
Highly Cited
This paper has 91 citations. REVIEW CITATIONS
60 Citations
23 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 60 extracted citations

92 Citations

Citations per Year
Semantic Scholar estimates that this publication has 92 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Similar Papers

Loading similar papers…