Software DO

ACRONYME	DESCRIPTION
COCD	Learning unsupervised chronicles from a time sequence using data mining techniques
DIADES	Diagnostic tool for discrete event systems
DITO	Logical diagnostic tool based on CSP
DYCLEE	Tool for dynamic classification and discovery of new dynamic behaviours
LOCAFLEET	Software for locating fleets of autonomous vehicles
HCDAM	Software for unsupervised learning of time patterns common to a set of dated event sequences
HYDIAG	Diagnostic tool, active diagnosis and prognosis on hybrid systems
HYMU	Tool that combines diagnostics and prognostics for hybrid systems
InnoGRADE	Diagnosis of grade in the case of breast cancer, for anapathologists
MISTRAL	Resolution tool using constraint programming
P3S	Fuzzy classification tool
PLAYMOB	Platform for solving calculation/synchronization problems of routes based on real data
REALCERTIFY	Tool for certifying the non-negativity of polynomials
R-ROMULOC	Robust control analysis tool integrating probabilistic functionalities
SPECTRA	Arithmetic resolution tool on integers of small matrix inequalities
SYNC	Tool to help design and optimize controllers

Previous software

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

Decision and Optimization