La XXVIII° édition des journées FAC aura lieu les 14 et 15 octobre 2021 à l'ENAC, (bâtiment Bréguet, amphithéâtre Bellonte, 7, avenue Édouard-Belin, Toulouse).

Ces journées sont organisées par le groupe IFSE du RTRA STAE avec un soutien spécial de l'INSA Toulouse, de l'ISAE et de l'ENAC.

En raison de la crise sanitaire, les journées FAC n’ont pas pu avoir lieu en 2020. Cette année, nous prévoyons d’organiser les journées en présentiel, si les conditions le permettent, parce que le contact nous paraît un ingrédient essentiel de ces journées. Pour nous adapter à ces nouvelles circonstances, cette nouvelle édition de FAC se tiendra en automne plutôt qu’en avril. Nous avons également décidé de privilégier des conférenciers invités “locaux”, en lieu et place de personnalités extérieures au site toulousain, pour nous permettre plus de souplesse dans l’organisation.

Si vous souhaitez participer, inscrivez-vous rapidement. La participation aux journées est gratuite, mais l’inscription est obligatoire

Conférenciers invités

Cette année nos conférenciers invités sont:

The forecast applications of machine learning (ML) in high-risk and safety-critical applications hinge on systems that are robust in their operation and that can be trusted. This talk overviews recent efforts on applying logic-enabled automated reasoning tools in explaining non-interpretable (black-box) ML models. Concretely, the talk details the computation of rigorous explanations of black-box models, and how these serve for assessing the quality of widely used heuristic explanation approaches. The talk also overviews properties relating different kinds of rigorous explanations. Finally, the talk briefly overviews ongoing work on mapping tractable explainability.

  • Behçet Açikmeşe (Univ. Washington, Seattle): Optimization Based Control – An Aerospace Perspective

Many future aerospace engineering applications will require dramatic increases in our existing autonomous control capabilities. These include robotic sample return missions to planets, comets, and asteroids, formation flying spacecraft, swarms of autonomous spacecraft, unmanned aerial, ground, and underwater vehicles, and autonomous commercial robotic applications. A key control challenge for many autonomous systems is to achieve the performance goals safely with minimal resource use in the presence of mission constraints and uncertainties. In principle these problems can be formulated and solved as optimal control problems. The challenge is solving them reliably in real-time, while assuring: i) full utilization of the performance envelope for the autonomous system; ii) systematic verification of the control algorithms. Our approach to solving these challenging control problems is optimization-based control where we formulate these control problems as optimization problems and then to exploit convex optimization theory and algorithms for their robust and numerically efficient solutions.

Dates importantes

Étape Date
Déclaration d’intention avec résumé : 13 septembre 2021
Soumission de l’article complet : 20 septembre
Notification d’acceptation : 10 octobre
Inscrivez-vous pour participer : 10 octobre
Version finale de l’article : 12 octobre
Journées FAC: 14-15 octobre - ENAC

À propos des journées FAC

La « formalisation des activités concurrentes » constitue un thème majeur de l’informatique, et fait l’objet de nombreux travaux de recherche et de développement, aussi bien au niveau national qu’international.

Au niveau local, ce thème est traité par le groupe de travail IFSE du RTRA STAE, et par les équipes de plusieurs laboratoires toulousains": IRIT-CNRS-UPS-INPT, LAAS-CNRS, ONERA.

Le groupe IFSE, précédemment groupe SVF de la fédération CNRS FéRIA, organise entre autres les journées FAC. Ces journées ont pour objet de présenter des travaux toulousains sur le thème de la « formalisation des activités concurrentes » : méthodes, techniques d’analyse, environnements logiciels reposant sur des bases formelles et assistant la spécification, la conception, le développement et la mise au point de systèmes réactifs, répartis et coopératifs, de réseaux de communication, de systèmes critiques…

À bientôt aux journées FAC.

Jean-Paul Bodeveix, Julien Brunel, Silvano Dal Zilio, Mamoun Filali, Christophe Garion, Didier Le Botlan, Iulian Ober, Claire Pagetti, Marc Pantel, Célia Picard, Philippe Quéinnec, Jean-Baptiste Raclet, Pierre Roux, Pascal Sotin Matthieu Roy.