Special Session

Symbolic and Algebraic Computation for Optimization Tasks in Science and Engineering

in  Applications of Computer Algebra (ACA'2009)

École de technologie supérieure (ÉTS), June 25-28, 2009
Montréal, Québec, Canada

Session Organizers:

Dmitry  Chibisov

Victor Ganzha

Ernst W. Mayr

Lehrstuhl für Effiziente Algorithmen
Institut für Informatik
Technische Universität München
Boltzmannstr. 3
D-85748 Garching

Session Abstract and Motivation:

Various applications in robotics, manufacturing, molecular biology, nanotechnology, etc. involve optimization and optimal control with constraints given by algebraic and differential equations (both ODEs and PDEs). Especially in the case of differential constraints, the "naive" approaches combining numerical solvers for differential equations and optimization algorithms may lead to lack of robustness or be very inefficient.

In order to deal with real life applications stability and fast convergence of numerical methods have to be provided. However, research in this field is very much in progress, and many problems concerning both the theoretical foundations and practical issues remain open: existence of optimizers for underlying continuous problem and necessary optimality conditions, questions of stability and convergence for numerical methods, the interplay between discretization and optimization, etc.

These issues require a wide range of mathematical disciplines (e.g. optimal control theory, functional analysis, numerical analysis, etc.) as well as engineering understanding in order to choose the appropriate mathematical model for the problem at hand. The goal of this session is to bring together mathematicians and engineers, who develop or use algebraic and numerical methods, to exchange ideas and views, and to present both original research results involving computer algebra as well as challenging directions and industrial applications.

Possible topics for this session include (but are not limited to):

  • numerical simulation for engineering design using computer algebra systems
  • symbolic-numerical methods for (global) optimization
  • handling constraints given by differential, differential-algebraic, and difference equations
  • (computational) optimal control
  • (non)linear programming
  • complexity considerations
  • applications:
    • mechanism design and robotics
    • manufacturing
    • nanotechnology
    • medical devices
    • molecular biology
    • etc.
If you are interested in giving a talk in this session please send the title and abstract of your talk 
to Dmytro ChibisovVictor Ganzha, and Ernst Mayr by June 6.



Dmytro Chibisov, Victor Ganzha, and Ernst W. Mayr, 1.06.2009