Detail publikace

Algorithm for estimating error of symbolic simplification

KOLKA, Z. BIOLKOVÁ, V. DOBEŠ, J. HORÁK, M.

Originální název

Algorithm for estimating error of symbolic simplification

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

The paper deals with an improved algorithm for estimating errors during approximate symbolic analysis. A linear system can be solved symbolically. However, the size of the resulting formula grows exponentially with the matrix size. The approximate symbolic analysis omits insignificant terms of the exact formula to decrease its size, which, on the other hand, limits the validity of the approximate result. The proposed algorithm estimates, in a computationally feasible way, the approximation error over a region of system parameters. This makes it possible to maintain the validity of the results even if the tolerances of the system parameters are defined. The method is based on the first-order approximation of error functions. The algorithm is demonstrated using the SNAP symbolic analyzer, which has been developed by the authors.

Klíčová slova

approximate symbolic analysis; CAD; electrical circuit

Autoři

KOLKA, Z.; BIOLKOVÁ, V.; DOBEŠ, J.; HORÁK, M.

Vydáno

22. 12. 2020

Nakladatel

E D P SCIENCES

Místo

France

ISBN

9781713827269

Kniha

Proceedings of 2020 2nd International Conference on Computer Science

Strany od

1

Strany do

8

Strany počet

8

URL

https://www.matec-conferences.org/articles/matecconf/pdf/2021/05/matecconf_cscns20_06023.pdf

BibTex

@inproceedings{BUT167660,
  author="Zdeněk {Kolka} and Viera {Biolková} and Josef {Dobeš} and Martin {Horák}",
  title="Algorithm for estimating error of symbolic simplification",
  booktitle="Proceedings of 2020 2nd International Conference on Computer Science",
  year="2020",
  volume="336",
  pages="1--8",
  publisher="E D P SCIENCES",
  address="France",
  doi="10.1051/matecconf/202133606023",
  isbn="9781713827269",
  url="https://www.matec-conferences.org/articles/matecconf/pdf/2021/05/matecconf_cscns20_06023.pdf"
}