University of Waterloo

Objet publié

Ce projet explore comment l’informatique quantique peut améliorer l’analyse et garantir le fonctionnement sécurisé de systèmes complexes évoluant dans le temps, tels que les robots, les réseaux énergétiques, et les processus physiques ou biologiques. Les méthodes classiques de calcul rencontrent souvent des difficultés pour prédire le comportement à long terme de grands systèmes et fournir des garanties fiables de sécurité et de stabilité. Le projet vise à développer des techniques quantiques pour analyser les systèmes linéaires et non linéaires, comprendre leur comportement à long terme, et déterminer des conditions de fonctionnement sécurisées. L’objectif est non seulement d’accélérer les calculs, mais aussi de créer des méthodes rigoureuses pour certifier la stabilité et la sécurité sur des périodes prolongées. Le projet se concentre sur trois axes : les techniques quantiques pour les modèles linéaires, les approches quantiques pour les systèmes non linéaires, et les méthodes quantiques pour la vérification de la sécurité et de la stabilité. Les résultats attendus incluent des algorithmes prototypes, des outils de sources ouvertes, des publications de recherche, et la formation de personnel hautement qualifié, renforçant ainsi le leadership du Canada dans les technologies quantiques et l’analyse avancée des systèmes.