Processus de prise de décision des systèmes autonomes ; Conception et validation de contrôleurs fiables

Thèses et HDR

Habilitation à diriger des recherches, Université de Montpellier

22/03/2024

Résumé

Dependability of mission-critical embedded systems

Formal modeling and validation

Autonomous robot control: decision-making processes

Underwater robotics

Software architectures for robotic control

Sûreté de fonctionnement des systèmes embarqués critiques

Modélisation et Validation formelles

Commande des robots autonomes : processus décisionnels

Robotique sous-marine

Architectures logicielles de contrôle en robotique

url

Find in HALAfficher

1 Consultations de la notice

Titre: Processus de prise de décision des systèmes autonomes ; Conception et validation de contrôleurs fiables
Créateurs - sans rôle: Karen Godary-Dejean - Robotique mobile pour l'exploration de l'environnement
Contributeurs - sans rôle: Didier Crestani
Institution diplômante: Université de Montpellier
Thèses et HDR: Habilitation à diriger des recherches
Identifiants: 99151258609311
Unité académique: Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMM
Langue: Français
Type de ressource: Thèses et HDR
Champs locaux: tel-04994396