Symposium: Taylor Model Methods and Applications
Taylor models have recently been developed as a symbiosis of a computer algebra method and interval arithmetic. The minisymposium deals with Taylor model methods and applications.
Taylor models have recently been developed as a symbiosis of a computer algebra method and interval arithmetic. The minisymposium deals with Taylor model methods and applications.
Minisymposium: Workshop on Maple
Application of Constraint Solving and ODE-Enclosure Methods to the Analysis of Hybrid Systems
AIP Conf. Proc. -- September 9, 2009 -- Volume 1168, pp. 1326-1330
NUMERICAL ANALYSIS AND APPLIED MATHEMATICS: International Conference on Numerical Analysis and Applied Mathematics 2009: Volume 1 and Volume 2;
doi:10.1063/1.3241327
Issue Date: 9 September 2009
You are not logged in. Log in
In this short paper, we summarize our approach to analyzing hybrid discrete-continuous systems by reduction to constraint solving paired with enclosure methods for sets of initial value problems of ordinary differential equations.
©2009 American Institute of Physics
| Permalink: |
http://link.aip.org/link/?APCPCS/1168/1326/1 |
Connotea
CiteULike
del.icio.us
BibSonomy
There are no references.
