Team abstraction

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Contracts and Grants with Industry

Survol project

Survol is an FNRAE (Fondation de Recherche pour l'Aéronautique et l'Espace) project (2008–2011) with the University Paul Sabatier Toulouse III and the ENS. The objective is to study automatic verification techniques for embedded robust and stable control software in aerospace still functioning in degraded mode and based on non-smooth optimization and linear matrix inequality (LMI) programming. Patrick Cousot and Radhia Cousot are the principal investigators for this action.


previous
next

Logo Inria