Approximately bisimilar finite-state modeling of interconnected systems
Yuichi Tazaki, Jun‐ichi Imura · 2008
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 ofstate-quantizerembeddingreduces 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.