Reliable optimization techniques and their application

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The talk provides an introduction to interval arithmetic based techniques for the verification of mathematical models. Illustrative examples are described from the fields of circlepacking, chaotic behaviour dynamical systems, and process network synthesis.

Original languageEnglish
Title of host publicationProceedings of the 10th International Symposium on Operational Research in Slovenia, SOR 2009
PublisherSLOVENIAN SOCIETY INFORMATIKA
Pages13-21
Number of pages9
ISBN (Print)9789616165303
Publication statusPublished - Jan 1 2009
Event10th International Symposium on Operational Research in Slovenia, SOR 2009 - Nova Gorica, Slovenia
Duration: Sep 23 2009Sep 25 2009

Publication series

NameProceedings of the 10th International Symposium on Operational Research in Slovenia, SOR 2009

Other

Other10th International Symposium on Operational Research in Slovenia, SOR 2009
CountrySlovenia
CityNova Gorica
Period9/23/099/25/09

    Fingerprint

Keywords

  • Circle packing
  • Computer assisted
  • Dynamical systems
  • Interval methods
  • Process network synthesis
  • Theorem proving

ASJC Scopus subject areas

  • Management of Technology and Innovation
  • Strategy and Management
  • Computational Theory and Mathematics
  • Management Science and Operations Research
  • Modelling and Simulation
  • Numerical Analysis

Cite this

Csendes, T. (2009). Reliable optimization techniques and their application. In Proceedings of the 10th International Symposium on Operational Research in Slovenia, SOR 2009 (pp. 13-21). (Proceedings of the 10th International Symposium on Operational Research in Slovenia, SOR 2009). SLOVENIAN SOCIETY INFORMATIKA.