Calcul symbolique :

Maplesoft a annoncé l'élargissement à un nouveau projet de son partenariat existant avec Toyota Motor Engineering & Manufacturing North America. Dans le cadre de ce projet, le premier constructeur automobile mondial utilisera de nouvelles méthodes de calcul symbolique pour la conception robuste des asservissements, en privilégiant les méthodes de systèmes linéaires, non linéaires et paramétriques. La technologie Maplesoft est ancrée dans de solides techniques de calcul symbolique, ce qui en fait un choix idéal pour Toyota.Le nouveau projet de Contrôles Symboliques vise essentiellement à mener des recherches avant-gardistes aboutissant à la mise en œuvre de méthodes de conception et d'analyses symboliques pour le contrôle linéaire, non-linéaire et paramétrique robuste. Grâce à ces recherches, les développeurs étudieront les non-linéarités des systèmes, les inexactitudes liées à la modélisation et les incertitudes paramétriques dans le processus de conception. Toyota espère en conséquence pouvoir raccourcir le temps de développement tout en maintenant des résultats d'excellente qualité.
Ce nouveau projet fait suite à la finalisation d'un autre projet Maplesoft réussi pour Toyota, qui s'est traduit par des recherches de pointe et la mise en œuvre de nouvelles méthodes de simplification des modèles et de prétraitement des modèles acausaux dynamiques de haut niveau. La simplification permet la conversion de modèles descriptifs de haut niveau en modèles exécutables plus petits pour une exécution plus rapide, en fournissant une analyse et une efficacité supérieures avec une précision de simulation accrue. Avec la simplification des modèles, les ingénieurs peuvent se concentrer sur la description des propriétés physiques du système selon une démarche à base d'équations. Cette simplification met également à profit la puissance des équations mathématiques pour une gestion optimisée des modèles, de façon à obtenir plus rapidement, pour les ingénieurs, les résultats optimaux.
En se servant comme point de départ des résultats du projet de Simplification des Modèles, le projet de Contrôles Symboliques comportera des recherches sur l'analyse, la conception et la simplification des modèles de contrôleurs, aussi bien pris isolément que dans les modèles de systèmes. Ce travail soutiendra le processus de conception des asservissements en réduisant les délais de tests et simulations en laboratoire et en garantissant au produit final un comportement optimal. L'importation et l'exportation des modèles Modelica, ainsi que l'assemblage automatisé des modèles pour faciliter et accélérer les processus de conception de contrôleurs, figurent parmi les objectifs du projet.La recherche et les outils issus du premier projet pour Toyota ont été présentés dans le cadre de différentes conférences. Trois demandes de brevets sont en cours.