Modélisation formelle de systèmes de drones civils à l'aide de méthodes probabilistes paramétrées

Modélisation formelle de systèmes de drones civils à l'aide de méthodes probabilistes paramétrées

Les drones sont maintenant très répandus dans la société et sont souvent utilisés dans des situations dangereuses pour le public environnant. Il est alors nécessaire d étudier leur fiabilité, en particulier dans le contexte de vols au-dessus d un public. Dans cette thèse, nous étudions la modélisati...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Bao Ran (Auteur), Attiogbé Christian (Directeur de thèse), Delahaye Benoît (Directeur de thèse), Jard Claude (Président du jury de soutenance), Bouyer-Decitre Patricia (Rapporteur de la thèse), Petrucci Laure (Rapporteur de la thèse), Kouchnarenko Olga (Membre du jury)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), École doctorale Mathématiques et sciences et technologies de l'information et de la communication Rennes (Ecole doctorale associée à la thèse), Laboratoire des Sciences du Numérique de Nantes (Laboratoire associé à la thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Modélisation formelle de systèmes de drones civils à l'aide de méthodes probabilistes paramétrées / Ran Bao; sous la direction de Christian Attiogbé et de Benoît Delahaye
Publié : 2020
Accès en ligne : Accès Nantes Université
Note sur l'URL : Accès au texte intégral
Note de thèse : Thèse de doctorat : Informatique : Nantes : 2020
Sujets :
Markov, Processus de
Drones terrestres
Prototypes
...
Thèses et écrits académiques

Internet

http://www.theses.fr/2020NANT4002/document