Le moteur de recherche
des thèses françaises
Peter Niebert
IdRefMots clés
FR |
EN
Synthèse de contrôleur
Hiérarchie
Systèmes EDO
Stabilisation
Ordres partiels
Réduction SAT
Automates temporisés
Automates
Systèmes non linéaires
Systèmes échantillonnés
Systèmes informatiques -- Évaluation
Temps réel (informatique)
Simulation par ordinateur
.
Algorithmes
Agents mobiles (logiciels)
Théorie des graphes
Optimisation multi-critère
Systèmes multi-processeur
SAT