Approximation of large-scale dynamical systems: an overview

This talk will survey methods for the approximation of large-scale dynamical systems and conclude with a new result concerning model reduction with preservation of passivity which is appropriate for application to large- scale circuits arising in VLSI chip performance verification.