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

DIADES

 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.

HYDIAG

 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

MISTRAL

Outil de résolution exploitant la programmation par contraintes.

P3S

 Outil de classification floue.

PLAYMOB

 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

R-ROMULOC

 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

Gloptipoly 3.0

Matlab parser for generalized problems of moments

H2 for HIFOO

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

OLOCEP

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