Raphaël Jungers
Mots clés
FR |
EN
Systèmes dynamiques hybrides
Synchronisation
Systèmes commutés
Observateur
Fonctions de Lyapunov
Automate de Büchi
Stabilité
Automates sur les mots infinis
Commande, Théorie de la
Systèmes singulièrement perturbés
Temps de séjour minimum
Commande décentralisée
Système multi-agents
Coût garanti
Systèmes linéaires
Liapounov, Stabilité de
Traitement réparti
Systèmes temps-Réel
Model-Checking
Méthode d’Euler