Many problems in modern interconnect and packaging design require use of ‘full-wave’ modeling in order to get a good accuracy at high frequencies. In this paper we will introduce passive Arnoldy based model order reduction algorithm for such systems.

We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction we develop an automatic tool that can check security protocols for secrecy, given a finite execution scenario. We compare this tool to several other tools.

In this first section we present a high level discussion on computational science, and the need for compact models of phenomena observed in nature and industry. We argue that much more complex problems can be addressed by making use of current computing technology and advanced algorithms, but that there is a need for model order reduction in order to cope with even more complex problems. We als...

Several recently developed model order reduction methods for fast simulation of large-scale dynamical systems with two or more parameters are reviewed. Besides, an alternative approach for linear parameter system model reduction as well as a more efficient method for nonlinear parameter system model reduction are proposed in this paper. Comparison between different methods from theoretical eleg...

We discuss linear time-invariant systems (LTI systems) of type ẋ = Ax + Bu, y = Cx + Du, where u is an input function, x is the state variable and y is the output of the dynamical system. Often one is only interested in the input-output properties of this system, which are of small size, whereas the state variable is typically large. Model order reduction (MOR) methods deal with these kind of s...