Précédent : Environnement de programmation Signal Remonter : Logiciels Suivant : Résultats nouveaux
Précédent : Environnement de programmation Signal
Remonter : Logiciels Suivant : Résultats nouveaux
Mots clés : Signal, DC+, Sigali, système dynamique polynomial, vérification, synthèse de contrôleur .
Contact : M. Le Borgne.
Sigali est un système de calcul formel interactif spécialisé
dans les calculs algébriques sur l'anneau
/3[X]. Il est destiné à la vérification des
propriétés statiques et dynamiques de programmes Signal ou
DC+ [[1],[7]] et plus généralement de
tout système dynamique polynomial dans
/3[X]. Il permet également la synthèse de
contrôleurs de systèmes à événements discrets. L'adjonction de
primitives de création et de manipulation de fonctions à valeurs
entières autorise les calculs de commande optimale.
Comme pour l'environnement Signal, Sigali peut être obtenu après signature d'une convention de mise à disposition.