[Om-announce] Session on symbolic and numeric approaches to dynamic modeling and simulation at ACA 2009

[Temur Kutsia]

 Session on symbolic and numeric approaches to dynamical modeling and simulation
  ===============================================================================

                    Applications of Computer Algebra (ACA 2009)
                           June 25-28, Montréal, Canada
                       École de Technologie Supérieure (ÉTS)
                             http://aca2009.etsmtl.ca

                            **************************
                            * CALL FOR PARTICIPATION *
                            **************************


Overview
--------

There are a few software packages such as "Dymola" and "MapleSim" that support high-level physics-based modeling and simulation of large-scale continuous and hybrid 
discrete-continuous dynamical systems. Internally these models are represented by so-called lumped parameter models or differential-algebraic equations (DAEs), and 
significant parts of the software perform symbolic manipulations of the equations before sending them to a numerical integrator, in order to reduce simulation time or 
even to enable the numerical integrator to handle the problem. 

In this session, we will consider such symbolic and symbolic-numeric techniques for purely continuous DAEs and hybrid discrete-continuous models, including the 
following topics:

* index reduction and causalization
* graph-theory based modeling and simplification
* model order reduction
* multi- and cross-domain modeling
* finding consistent initial conditions for hybrid systems
* solvers for higher index DAEs
* nonlinear model reduction
* reducing the number of static parameters
* differential elimination
* reducing the number of discrete modes for hybrid systems
* model size reduction
* straight-line program techniques
* optimized code generation
* singular perturbation methods
* parallel algorithms for dynamical simulation
* multi-body dynamics

Another question that could be considered is related to "real world models". Many of the symbolic methods prevalent in dynamical modeling were designed specifically 
for a certain class of "nice" models, such as, e.g., polynomials with integer coefficients. However, in practice many models contain components that are not easily 
accessible to purely symbolic manipulations, such as floating point coefficients and exponents, lookup tables, or piecewise defined functions. The challenge is to 
apply symbolic techniques to such models appropriately and effectively.

Submissions
-----------

If you are interested in giving a presentation at this session, please email an abstract to one of the organizers. Presentations will be up to 30 min in length, 
including time for discussion. The tentative deadline for submissions is May 29th, 2009.

Session Organizers
------------------

Jürgen Gerhard       jgerhard at maplesoft.com
Austin Roche           aroche at maplesoft.com
Elena Shmoylova    eshmoylova at maplesoft.com
Maplesoft, Canada  http://www.maplesoft.com