Team Coprin

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities
Inria / Raweb 2004
Project: Coprin

Project : coprin

Section: New Results

Keywords : modal intervals, generalized intervals, AE-solution set.

Modal intervals

Participant : Alexandre Goldsztejn.

Modal intervals and AE-solution sets

We have proposed an algorithm to compute inner and outer approximations of a linear All Exists (AE)-solution set under the form of skew boxes, i.e. hyper-parallelograms. This algorithm has two advantages:

An article has been submitted to the journal Reliable Computing.

Modal intervals theory

In our thesis, that shall soon be defended, we introduce a reformulation of modal intervals theory. This reformulation includes the main results of modal intervals theory and proposes a new extension, the Taylor AE-extension.


Logo Inria