Session Organizers:

Dmytro Chibisov Victor Ganzha Ernst W. Mayr

Lehrstuhl für Effiziente Algorithmen für Effiziente Algorithmen Institut für Informatik Institut für Informatik Technische Universität München 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 robusteness 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 orignal research results involving computer algebra as well as challeging directions and industrial applications. Possible topics for this session include (but are not limited to): exact and approximate computation numerical simulation using computer algebra systems symbolic-numerical methods for (global) optimization  symbolic-numerical methods for differential, differential-algebraic, and difference equations  (computational) optimal control  (non)linear programming  complexity considerations for symbolic and numerical computing  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 Chibisov, Victor Ganzha, and Ernst Mayr

Talks:   

July 20 9:30-10:00	On efficient computation of parabolic Julia sets [PDF] M. Braverman (University of Toronto)
July 20 10:00-10:30	Computation of minimal units monomials [PDF] D. Lichtblau (Wolfram Research Inc.)
July 20 10:30-11:00	Efficient environment for gradient based shape optimization of structures [PDF] J. Korelc (Universtiy of Ljubljana)
July 20 11:00 - 11:30	Break
July 20 11:30-12:00	Dynamic enumeration of all mixed cells for polyhedral homotopies [PDF] T. Mizutani, A. Takeda , M. Kojima (Tokyo Institute of Technology)
July 20 12:00 - 14:00	Lunch
July 20 14:00-14:30	Sensitivity analysis of maximum entropy model [PDF] M.-D. Huang (University of Southern California) Q. Luo (University of Southern California)
July 20 14:30-15:00	Optimal filter design with parametrized wavelets [PDF] G. Regensburger (Johann Radon Institute for Computational and Applied Mathematics (RICAM), Austrian Academy of Sciences)
July 20 15:00-15:30	Numerical methods in motion planning for legged robots [PDF] K. Hauser (Stanford University)
July 20 15:30-16:00	Optmization of robot paths for remote-laser-welding [PDF] D. Chibisov, E. W. Mayr, U. Munzert, M Zaeh (Technical University of Munich)
July 20 16:00-16:30	The selection of information architecture in linear systems [PDF] R. Skelton (University California San Diego) F. Li (Xerox Corp.)

Other accepted talks:   


Solution of nonlocal Cauchy problems by extensions of duhamel principle and Heaviside algorithm [PDF]

I. Dimovski, M. Spiridonova (Institute of Mathematics and Informatics, Bulgarian Academy od Sciences)