In this work we present an extension of the technique order reduction to higher perturbative approximations in iterative fashion. The intention is also analyze more carefully conditions for validity technique. With mind, a few simple situations which converges analytically exact solutions are presented as examples. It discovered that does not converge weak coupling limit most known schemes, at ...

In this paper, the state-of-the-art interpolation-based model order reduction methods are applied to parameterized circuit equations. We analyze these methods in great details, through which the advantages and disadvantages of each method are illuminated. The presented model reduction methods are then tested on some circuit models.

This paper presents a comparison between model order reduction techniques. This comparison provides us a measure of the accuracy of the reduced system. By this comparison we come to know about the best method which can be used for model order reduction. In this paper we are also providing a comparison for stability of reduced system.

We describe a distributed partial order reduction algorithm for security protocols. Some experimental results using an implementation of the algorithm in the distributed μCRL toolset are also reported.