Next:
AD with Maple
Up: Contents
Previous: AD with AMPL
SYNOPSIS:
COSY is an object oriented modeling environment based on a modular
language. It supports dynamic typing and the efficient use of differential
algebraic and automatic differentiation data types. It also supports the
direct use of nonlinear optimization techniques from within the language
syntax.
WHOM TO CONTACT:
Martin Berz
Department of Physics and Astronomy
Michigan State University
East Lansing, MI 48824
berz@pa.msu.edu
DOCUMENTATION:
-
Papers:
-
M. Berz, COSY INFINITY Version 7 Reference Manual, MSUCL-977 (1996),
Michigan State University, East Lansing, MI 48824.
-
M. Berz, G. Hoffstaetter, W. Wan, K. Shamseddine, K. Makino, COSY INFINITY
and its Applications to Nonlinear Dynamics, in: Computational
Differentiation: Techniques, Applications, and Tools, SIAM, Philadelphia,
1996.
-
M. Berz, High-Order Computation and Normal Form Analysis of Repetitive
Systems, in: M. Month (Ed), Physics of Particle Accelerators, AIP 249,
American Institute of Physics 1991.
FUNCTIONALITY:
The COSY system provides a transparent environment to utilize differential
algebraic concepts, including higher order automatic differentiation tools.
It acts as a driver for the library DALIB and supports nonlinear
optimization at the language level.
COSY also supports the concept of Remainder Differential Algebras, which
allow verified computations that are much less susceptible to blow up than
conventional interval techniques.
Extensive libraries for COSY exist for the analysis of problems in
nonlinear dynamics, with an emphasis to the problems in beam physics.
HIGHLIGHTS:
- High Order Derivatives:
- Full exploitation of sparsity in derivative tensors through efficient
bookkeeping in the internal addressing routines.
- Transparent language environment:
- Integrated support for non-standard data types; dynamic typing allows
the direct use of existing code in various types.
Next:
AD with Maple
Up: Contents
Previous: AD with AMPL