Toyota va utiliser l'outil de calcul symbolique développé par Maplesoft pour la conception de ses systèmes d'asservissement. Ce projet vise à la mise en œuvre de méthodes robustes de conception et d’analyses symboliques pour le contrôle linéaire, non-linéaire et paramétrique. 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. Le constructeur automobile espère en conséquence pouvoir raccourcir le temps de développement tout en maintenant des résultats de qualité.