Approximately bisimilar finite-state modeling of interconnected systems

This paper addresses the design of finite abstractions of systems that are composed smaller subsystems interconnected with each other. The notion of interconnection-compatible approximate bisimulation decomposes the abstraction process of the entire system into its subsystems level. For the finite abstraction of each subsystem, at first, it will be shown that the use of state-quantizer embedding reduces the design of a finite abstraction to the design of a state-quantizer. Next, based on spatial error-propagation analysis, an algorithm that iterative refines a multiresolution quantizer will be presented.