Projet : EPATR - epatr

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00052000000000000000" id= "SECTION00052000000000000000">Sigali</a></h2>  <a name="EPATR_logiciels_module-14" id= "EPATR_logiciels_module-14"></a> <p><a name="sigali" id="sigali"></a></p> <p><strong>Mots clés :</strong> <i>Signal, DC+, Sigali, système dynamique polynomial, vérification, synthèse de contrÔleur .</i></p> <p><em>Contact :</em> H. Marchand.</p> <h3>Résumé :</h3> <div class="ABSTRACT"> <i>Sigali est un système de calcul formel permettant la vérification de propriétés de programmes Signal ou <small>DC+</small>.</i> </div> <p>Sigali est un système de calcul formel interactif spécialisé dans les calculs algébriques sur l'anneau  <span class="MATH"><b>Z</b>/3<b>Z</b>[<i>X</i>]</span>. Il est destiné à la vérification des propriétés statiques et dynamiques de programmes Signal ou <small>DC+</small> [<a href="bibliographie_Toc.html#sigart-amagbe95b" target= "contents">1</a>,<a href="bibliographie_ct.html#algmr94" target="contents">2</a>] et plus généralement de tout système dynamique polynomial dans  <span class="MATH"><b>Z</b>/3<b>Z</b>[<i>X</i>]</span>. 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.</p> <p>Sigali est un logiciel déposé à l'<small>APP</small> sous le numéro <small>IDDN.FR</small>.001.370006.S.P.1999.000.10600. Comme pour l'environnement Signal, Sigali peut être obtenu actuellement après signature d'une convention de mise à disposition.</p> </body>