Wednesday, July 15
MS39
Validated Solution of ODEs and DAEs (Part I of II)
10:30 AM-12:00 PM
Room: Sidney Smith 2102
Validated solutions to ordinary differential equations and differential-algebraic equations can answer questions such as: in stability theory, find regions which definitely exclude the spectrum of an operator, or include a certain eigenvalue; in control, find control inputs that are guaranteed to keep a trajectory outside a forbidden region.
The speakers will provide an overview and present work on improving the usability and scope of software, and on recent work in extending validated ODE techniques to DAEs.
See Part II, MS45.
Organizer: John D. Pryce
Royal Military College of Science, Cranfield University, United Kingdom
- 10:30 A Survey of Recent, Non-Trivial, Real-World Applications of Interval Methods for Differential Equations
- Ramon E. Moore, Ohio State University
- 11:00 On Validated Solutions of Initial Value Problems for Ordinary Differential Equations
- Ned Nedialkov and Ken Jackson, University of Toronto, Canada
- 11:30 Validation Methods for ODEs: Step Size, Order and Wrapping Effect
- Rudolf J. Lohner, Universität Karlsruhe (TH), Germany
LMH Created: 3/18/98, MMD Updated: 3/30/98