“…Also, a good methodology of symbolic abstraction allows for adjusting the proximity to a very small amount. In this regard, the methodologies discussed in [9,11,12,13] permit sound symbolic abstraction with arbitrarily small proximity. However, a stronger method of abstraction, discussed in [9], can construct an approximately bisimilar (not just similar) finite symbolic model to a time-quantized system model of a globally asymptotically stable system, in which case the abstraction is complete in addition to being sound and proximate.…”