[cmath] Session on symbolic and numeric approaches to dynamical modeling and simulation at ACA 2009

[Austin Roche]

(Apologies for cross-postings)

  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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mail.cms.math.ca/pipermail/cmath/attachments/20090519/71cca4a2/attachment.htm