Logiciels DO
ACRONYME | DESCRIPTION |
COCD | Apprentissage de chroniques non supervisée à partir d'une séquence temporelle par des techniques de fouille de données |
Outil de diagnostic de systèmes à événements discrets | |
DITO | Outil de diagnostic logique à base de CSP |
DYCLEE | Outil de classification dynamique et de découverte de comportements dynamiques nouveaux |
LOCAFLEET | Logiciel de localisation de flottes de véhicules autonomes. |
HCDAM | Logiciel d'apprentissage non supervisé de motifs temporels communs à un ensemble de séquences d'événements datés. |
Outil de diagnostic, diagnostic actif et pronostic sur des systèmes hybrides | |
HYMU | Outil d'intégration diagnostic/pronostic pour les systèmes hybrides |
InnoGRADE | Aide au diagnostic du grade dans le cas d'un cancer du sein, à destination des anapathologistes |
Outil de résolution exploitant la programmation par contraintes. | |
P3S | Outil de classification floue. |
Plateforme de résolution de problèmes de calculs/synchronisations d'itinéraires sur données réelles. | |
REALCERTIFY | Outil de certification de la non-négativité de polynômes |
Outil d'analyse de la commande robuste en intégrant des fonctionnalités probabilistes | |
SPECTRA | Outil de résolution en arithmétique sur les nombres entiers des inégalités matricielles de petite taille. |
SYNC | Outil d'aide à la conception et à l'optimisation de contrôleurs. |
Anciens Logiciels
ACRONYME | DESCRIPTION |
Matlab parser for generalized problems of moments | |
Extension of HIFOO (Matlab package for H∞ fixed-order controller synthesis) to H2 performance | |
Koala | A model-based diagnosis engine for a diagnosis-oriented language describing a system of uncertain hybrid components |
MuPaRo | Software for multiple participant routing, computing minimum cost carpooling itineraries |
NUMBERJACK | A modelling package written in Python for constraint programming |
Outils Logiciels pour l’Optimisation en Commande et Evaluation de Performance | |
Picas$o | Plate-forme d'Intégration de CApteurs multi-Sen$Oriels |
PolyRDV 1.0 | Matlab codes for impulsive linearized minimum-fuel rendezvous between two spacecraft around an elliptic reference orbit |
ROA | Matlab codes for computing estimates of the region of attraction of a polynomial control system |
SALSA | Tool for Situation Assessement using the LAMDA Classification Algorithm |
SatawTool 1.0 | Matlab codes for analysis and controller design for systems involving isolated nonlinearities |