SCA2RS

L'approche consiste à développer les formalismes et les algorithmes pour concevoir une architecture décisionnelle distribuée pour un ensemble de plates-formes intégrant la planification de mission et la gestion des aléas. Les trois thèmes de l'appel sont abordés. La conception et la validation de systèmes sûrs et robustes sont traitées en appliquant des techniques de vérification et validation formelle à des planificateurs d’action. L’interprétation
et la décision sont abordées en s'appuyant d’une part sur la planification multi-agents au travers de la résolution distribuée de problèmes d’optimisation sous contraintes et d’autre part sur la replanification continue anytime de stratégies. L’interaction et la coopération sont traitées en s'appuyant sur des protocoles et des opérateurs de manipulation de plans assurant à la fois l’autonomie et la réactivité des engins et la cohérence l’ensemble. L'approche est illustrée sur un scénario de recherche et sauvetage.