Wednesday, July 15

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

Program Program Overview Program-at-a-Glance Program Updates Speaker Index Registration Hotel Transportation

LMH Created: 3/18/98, MMD Updated: 3/30/98