@inproceedings{rad-gri-mor-pan-14-aa-symdisc,
  author = {Radoji{\v{c}}i{\'c}, {\v{C}}arna and Grimm, Christoph and Moreno, Javier and Pan, Xiao},
  booktitle = {Proc. Design, Automation {\&} Test in Europe Conference Exhibition (DATE 2014)}, 
  title = {Semi-Symbolic Analysis of Mixed-Signal Systems including Discontinuities}, 
  year = 2014,
  volume = {},
  number = {},
  pages = {1-4},
  keywords = {},
  doi = {10.7873/DATE.2014.029},
  ISSN = {1558-1101},
  month = mar,
  abstract = {The paper describes an approach for semi-symbolic analysis of mixed-signal systems that contain discontinuous functions, e.g. due to modeling comparators. For modeling and semi-symbolic simulation, we use extended Affine Arithmetic. Affine Arithmetic is currently limited to accurate analysis of linear functions and mild non-linear functions, but not yet discontinuities. In this paper we extend the approach to also handle discontinuities. For demonstration, we symbolically analyze a $\Sigma\Delta$-modulator.}
}