@incollection{eprints570,
          editor = {Gianluca Setti and Riccardo Rovatti and Gianluca Mazzini},
           pages = {131--135},
         journal = {Proceedings of the 8th IEEE International Workshop on Nonlinear Dynamics of Electronic Systems},
          author = {Alberto Bemporad and L. Giovanardi and Fabio Danilo Torrisi},
         address = {Singapore},
            year = {2000},
           title = {Robust simulation of nonlinear electronic circuits},
       publisher = {World Scientific Publishing},
       booktitle = {Nonlinear dynamics of electronic systems : proceedings of the IEEE workshop},
        abstract = {This paper proposes robust simulation of piecewise linear systems as a tool for the analysis of nonlinear electronic circuits. Rather than computing the evolution of a single trajectory, robust simulation computes the evolution from a set of initial conditions in the state space, for all forcing input signals within a given class. We describe here a tool to perform this analysis using mathematical programming. Among various applications, the tool allows to estimate the domain of attraction of equilibria, and to
determine if some design speci{\pounds}cations {--} expressed
themselves in terms of reachability of subsets of the
state-space {--} are met. A test of the tool on Chua?s
circuit is presented.},
             url = {http://eprints.imtlucca.it/570/}
}