Nantilus
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...
Enregistré dans:
| Auteurs principaux : | , , , , , , |
|---|---|
| Collectivités auteurs : | , , |
| 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 : |
| LEADER | 05636clm a2200661 4500 | ||
|---|---|---|---|
| 001 | PPN249384906 | ||
| 003 | http://www.sudoc.fr/249384906 | ||
| 005 | 20240531154500.0 | ||
| 029 | |a FR |b 2020NANT4002 | ||
| 033 | |a http://www.theses.fr/2020NANT4002 | ||
| 035 | |a (OCoLC)1371478904 | ||
| 035 | |a STAR137153 | ||
| 100 | |a 20200928d2020 k y0frey0103 ba | ||
| 101 | 0 | |a fre |d fre |d eng |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a ||||ma 00|yy | ||
| 135 | |a dr||||||||||| | ||
| 181 | 1 | |6 z01 |c txt |2 rdacontent | |
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | 1 | |6 z01 |c c |2 rdamedia | |
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Modélisation formelle de systèmes de drones civils à l'aide de méthodes probabilistes paramétrées |f Ran Bao |g sous la direction de Christian Attiogbé et de Benoît Delahaye | |
| 214 | 1 | |d 2020 | |
| 230 | |a Données textuelles | ||
| 304 | |a Titre provenant de l'écran-titre | ||
| 314 | |a Ecole(s) Doctorale(s) : École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) | ||
| 314 | |a Partenaire(s) de recherche : Laboratoire des Sciences du Numérique de Nantes (Laboratoire) | ||
| 314 | |a Autre(s) contribution(s) : Claude Jard (Président du jury) ; Olga Kouchnarenko (Membre(s) du jury) ; Patricia Bouyer-Decitre, Laure Petrucci (Rapporteur(s)) | ||
| 328 | 0 | |b Thèse de doctorat |c Informatique |e Nantes |d 2020 | |
| 330 | |a 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élisation et l analyse de drones dans le contexte de leur plan de vol. Pour cela, nous construisons plusieurs modèles probabilistes du drone et les utilisons ainsi que le plan de vol pour modéliser la trajectoire du drone. Le modèle le plus détaillé obtenu prend en compte des paramètres comme la précision de l estimation de la position par les différents capteurs, ainsi que la force et la direction du vent. Le modèle est analysé afin de mesurer la probabilité que le drone entre dans une zone dangereuse. Du fait de la nature et de la complexité des modèles successifs obtenus, leur vérification avec les outils classiques, tels que PRISM ou PARAM, est impossible. Nous utilisons donc une nouvelle méthode d approximation, appelée Model Checking Statistique Paramétrique. Cette méthode a été implémentée dans un prototype, que nous avons mis à l épreuve sur ce cas d étude complexe. Nous avons pour finir utilisé les résultats fournis par ce prototype afin de proposer des pistes permettant d améliorer la sécurité du public dans le contexte considéré. | ||
| 330 | |a Unmanned Aerial Vehicles (UAV) are now widespread in our society and are often used in a context where they can put people at risk. Studying their reliability, in particular in the context of flight above a crowd, thus becomes a necessity. In this thesis, we study the modeling and analysis of UAV in the context of their flight plan. To this purpose, we build several parametrics probabilistic models of the UAV and use them, as well as a given flight plan, in order to model its trajectory. Our most advanced model takes into account the precision of position estimation by embedded sensors, as well as wind force and direction. The model is analyzed in order to measure the probability that the drone enters an unsafe zone. Because of the nature and complexity of the obtained models, their exact verification using classical tools such as PRISM or PARAM is impossible. We therefore develop a new approximation method, called Parametric Statistical Model Checking. This method has been implemented in a prototype tool, which we tested on this complex case study. Finally, we use the result to propose some ways to improve the safety of the public in our context. | ||
| 337 | |a Configuration requise : un logiciel capable de lire un fichier au format : PDF | ||
| 541 | | | |a Parametric Statistical model checking of UAV flight plan |z eng | |
| 606 | |3 PPN027238660 |a Markov, Processus de |2 rameau | ||
| 606 | |3 PPN223495565 |a Drones terrestres |2 rameau | ||
| 606 | |3 PPN031466737 |a Prototypes |2 rameau | ||
| 608 | |3 PPN027253139 |a Thèses et écrits académiques |2 rameau | ||
| 610 | 0 | |a ... | |
| 676 | |a 623.7 | ||
| 686 | |a 004 |2 TEF | ||
| 700 | 1 | |3 PPN249211165 |a Bao |b Ran |f 1989-.... |4 070 | |
| 701 | 1 | |3 PPN073264555 |a Attiogbé |b Christian |4 727 | |
| 701 | 1 | |3 PPN148063128 |a Delahaye |b Benoît |f 1982-.... |4 727 | |
| 701 | 1 | |3 PPN059884460 |a Jard |b Claude |f 1959- .... |4 956 | |
| 701 | 1 | |3 PPN176675426 |a Bouyer-Decitre |b Patricia |f 1976-.... |4 958 | |
| 701 | 1 | |3 PPN110965787 |a Petrucci |b Laure |f 19..-.... |4 958 | |
| 701 | 1 | |3 PPN103875212 |a Kouchnarenko |b Olga |4 555 | |
| 711 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
| 711 | 0 | 2 | |3 PPN204770424 |a École doctorale Mathématiques et sciences et technologies de l'information et de la communication |c Rennes |4 996 |
| 711 | 0 | 2 | |3 PPN203637585 |a Laboratoire des Sciences du Numérique de Nantes |4 981 |
| 801 | 3 | |a FR |b Abes |c 20230302 |g AFNOR | |
| 856 | 4 | |q PDF |s 14909551 |u http://www.theses.fr/2020NANT4002/document |z Accès au texte intégral | |
| 856 | 4 | |u https://archive.bu.univ-nantes.fr/pollux/show.action?id=2295fc4b-fa4e-41e7-94b3-6b2d0d2ab5e4 | |
| 856 | 4 | |u http://www.theses.fr/2020NANT4002/abes | |
| 930 | |5 441099901:778929167 |b 441099901 |j g | ||
| 991 | |5 441099901:778929167 |a exemplaire créé automatiquement par STAR | ||
| 998 | |a 874576 | ||