10891 search results - page 41 / 2179 » Combining Model Reductions |
DAC
2003
ACM
15 years 3 months ago
2003
ACM
This paper presents a compact Nonlinear model Order Reduction Method (NORM) that is applicable for time-invariant and time-varying weakly nonlinear systems. NORM is suitable for r...
ICCAD
2005
IEEE
15 years 6 months ago
2005
IEEE
— In this paper we are concerned with developing more reliable model reduction algorithms. We have focused on less common, but real, examples that fail to be effectively reduced ...
SCL
2010
14 years 8 months ago
2010
We discuss the use of Krylov subspace methods with regard to the problem of model order reduction. The focus lies on bilinear control systems, a special class of nonlinear systems...
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper presents a model reduction algorithm motivated by a connection between frequency domain projection methods and approximation of truncated balanced realizations. The met...
ENTCS
2007
14 years 9 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...