SURVOL

Dans les années récentes, nous avons développé 2 axes d’expertise : (1) La conception de lois de commande prenant en compte des contraintes de robustesse et de sécurité et (2) le développement de codes pour la vérification des logiciels embarqués sur les systèmes. Le domaine applicatif de nos techniques est l’aéronautique et l’espace. Les méthodologies de synthèse que nous proposons pour la commande permettent de prendre en compte des erreurs au niveau des modèles (robustesse) et également des fonctionnements dégradés du système (cas de pannes, perte de fiabilité, incidents). On examinera en particulier des techniques prenant en compte des cahiers des charges exigeants sur le plan de la performance, des contraintes d’architecture au niveau du compensateur et pouvant intégrer
des situations dégradées du modèle du système (avion ou engin spatial). Nos techniques s’appuient sur l’optimisation non-lisse ; un domaine spécifique de l’optimisation ou nous avons acquis une expertise reconnue sur le plan international.
Pour le deuxième axe, nous développons des techniques de vérification automatique des logiciels embarqués permettant de mettre en évidence des anomalies ou des simplifications et de fournir une validation. Ces techniques s’appuient également sur l’optimisation non-lisse et la programmation LMI.