Main navigation | Main content

HOME » PROGRAMS/ACTIVITIES » Annual Thematic Program

PROGRAMS/ACTIVITIES

Annual Thematic Program »Postdoctoral Fellowships »Hot Topics and Special »Public Lectures »New Directions »PI Programs »Industrial Programs »Seminars »Be an Organizer »Annual »Hot Topics »PI Summer »PI Conference »Applying to Participate »

Talk Abstract

Automatic verification of dynamical systems properties

Automatic verification of dynamical systems properties

Properties of dynamical systems are often specified by properties of solutions to nonlinear systems of equations. For example, bifurcation points correspond to parameter values in a parametrized nonlinear system where the number of such solutions changes.

With interval computations, computer arithmetic can be used to rigorously prove that such dynamical systems have certain properties. The following contexts will be highlighted:

The relative difficulty and practicality of each of these tasks will be discussed.