Modeling and design of on-chip interconnect continue to be a fundamental roadblock for high-speed electronics. The continuous scaling devices interconnects generates self mutual inductances, resulting in generating second-order dynamical systems. model order reduction is an essential part any modern computer-aided tool prefabrication verification the components interconnects. existing methods u...

In this work, the empirical-Gramian-based model reduction methods: Empirical poor man’s truncated balanced realization, empirical approximate balancing, dominant subspaces, truncation, and gains are compared in a non-parametric two parametric variants, via ten error measures: Approximate Lebesgue \(L_0\), \(L_1\), \(L_2\), \(L_\infty \), Hardy \(H_2\), \(H_\infty Hankel, Hilbert-Schmidt-Hankel,...

Partial order reduction (POR) is a classic technique for dealing with the state explosion problem in model checking of concurrent programs. Theoretical optimality, i.e., avoiding enumerating equivalent interleavings, does not necessarily guarantee optimal overall performance algorithm. The computational overhead required to optimality may by far cancel out any benefits that an algorithm have fr...

In this paper, we bring together the worlds of model order reduction for stochastic linear systems and H2-optimal deterministic systems. particular, supplement complete theory error bounds differential equations. With these bounds, establish a link between output (with additive multiplicative noise) modified versions H2-norm both bilinear When deriving respective optimality conditions minimizin...

Multiple expansion points are introduced to the multiport Cauer ladder network method realize an efficient model order reduction of eddy-current field. The proposed can set multiple target frequencies cover a wide frequency range with small number electric elements. A time-dependent response pulsewidth-modulation (PWM) excitation is accurately reconstructed by setting at both fundamental and ca...