University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'auteur
Auteur Safa Benghebrid |
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la rechercheContribution of the Dynamic Programming Approach to Solving a War Game of Attrition and Attack / Safa Benghebrid
Titre : Contribution of the Dynamic Programming Approach to Solving a War Game of Attrition and Attack Type de document : document électronique Auteurs : Safa Benghebrid, Auteur ; Bachmar,Aziza, Directeur de thèse Editeur : Setif:UFA Année de publication : 2026 Importance : 1 vol (81 f.) Format : 29 cm Langues : Anglais (eng) Catégories : Thèses & Mémoires:Mathématique Mots-clés : Dynamic Programming
Attrition and AttackIndex. décimale : 510 - Mathématique Note de contenu : Sommaire
List ofpublications 3
List ofcommunications 4
Key NotationsandAbbreviations 5
Introduction 6
1 EssentialToolsandTheoreticalBackgroundinNonsmoothAnalysis 10
1.1 Introduction . .................................. 10
1.2 Differentialmappingsonsubmanifolds . .................. 10
1.3 Stratifiedsetsandmappings . ......................... 15
1.3.1 Monotonicityofrealfunctions . ................... 20
1.4 Generalizedtangentdirectionstotrajectories . ............... 20
1.5 SmoothHamiltonianandCharacteristicflows . .............. 21
2 AutonomousDifferentialGames 28
2.1 FormulationofDifferentialgame . ...................... 28
2.2 AdmissibleFeedbackStrategiesandRelativeOptimality . ........ 30
2.3 VerificationTheoremsforAdmissibleFeedbackStrategies . ........ 36
2.3.1 AbstractVerificationTheorem . .................... 37
2.3.2 PracticalVerificationTheorems . ................... 38
2.4 ThegeneralalgorithmofDynamicProgrammingMethod . ........ 41
3 OnIsaac’sWarGameofAttritionandAttack 49
3.1 Introduction . .................................. 49
3.2 Formulationoftheproblem . ......................... 50
3.2.1 DynamicProgrammingFormulation . ................ 51
3.2.2 TheHamiltonianandthesetoftransverselyterminalpoints . .. 52
3.3 GeneralizedHamiltonianandcharacteristicflow . ............. 54
3.3.1 TheHamiltoniansystemontheopenstratum Z+,+ . ....... 57
3.3.2 TheHamiltoniansystemontheopenstratum Z+,− . ....... 57
3.3.3 TheHamiltoniansystemontheopenstratum Z−,+ . ....... 57
3.3.4 TheHamiltoniansystemontheopenstratum Z−,− . ....... 58
3.4 ConstructionofHamiltonianflows . ..................... 58
3.4.1 TheHamiltonianflowendingonthestratum Z+,− . ........ 58
3.4.2 Continuationofthetrajectoriesonthestratum Z−,− . ....... 62
3.5 Partialvaluefunctionsandfeedbackstrategies . .............. 68
Conclusions andComments 73
Bibliography 81Côte titre : DM/0217 Contribution of the Dynamic Programming Approach to Solving a War Game of Attrition and Attack [document électronique] / Safa Benghebrid, Auteur ; Bachmar,Aziza, Directeur de thèse . - [S.l.] : Setif:UFA, 2026 . - 1 vol (81 f.) ; 29 cm.
Langues : Anglais (eng)
Catégories : Thèses & Mémoires:Mathématique Mots-clés : Dynamic Programming
Attrition and AttackIndex. décimale : 510 - Mathématique Note de contenu : Sommaire
List ofpublications 3
List ofcommunications 4
Key NotationsandAbbreviations 5
Introduction 6
1 EssentialToolsandTheoreticalBackgroundinNonsmoothAnalysis 10
1.1 Introduction . .................................. 10
1.2 Differentialmappingsonsubmanifolds . .................. 10
1.3 Stratifiedsetsandmappings . ......................... 15
1.3.1 Monotonicityofrealfunctions . ................... 20
1.4 Generalizedtangentdirectionstotrajectories . ............... 20
1.5 SmoothHamiltonianandCharacteristicflows . .............. 21
2 AutonomousDifferentialGames 28
2.1 FormulationofDifferentialgame . ...................... 28
2.2 AdmissibleFeedbackStrategiesandRelativeOptimality . ........ 30
2.3 VerificationTheoremsforAdmissibleFeedbackStrategies . ........ 36
2.3.1 AbstractVerificationTheorem . .................... 37
2.3.2 PracticalVerificationTheorems . ................... 38
2.4 ThegeneralalgorithmofDynamicProgrammingMethod . ........ 41
3 OnIsaac’sWarGameofAttritionandAttack 49
3.1 Introduction . .................................. 49
3.2 Formulationoftheproblem . ......................... 50
3.2.1 DynamicProgrammingFormulation . ................ 51
3.2.2 TheHamiltonianandthesetoftransverselyterminalpoints . .. 52
3.3 GeneralizedHamiltonianandcharacteristicflow . ............. 54
3.3.1 TheHamiltoniansystemontheopenstratum Z+,+ . ....... 57
3.3.2 TheHamiltoniansystemontheopenstratum Z+,− . ....... 57
3.3.3 TheHamiltoniansystemontheopenstratum Z−,+ . ....... 57
3.3.4 TheHamiltoniansystemontheopenstratum Z−,− . ....... 58
3.4 ConstructionofHamiltonianflows . ..................... 58
3.4.1 TheHamiltonianflowendingonthestratum Z+,− . ........ 58
3.4.2 Continuationofthetrajectoriesonthestratum Z−,− . ....... 62
3.5 Partialvaluefunctionsandfeedbackstrategies . .............. 68
Conclusions andComments 73
Bibliography 81Côte titre : DM/0217 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité DM/0217 DM/0217 Thèse Bibliothèque des sciences Anglais Disponible
DisponibleNumerical implementation of a path-following interiorpoint method for semidefinite optimization / Safa Benghebrid
Titre : Numerical implementation of a path-following interiorpoint method for semidefinite optimization Type de document : texte imprimé Auteurs : Safa Benghebrid, Auteur ; Achache, M, Directeur de thèse Editeur : Setif:UFA Année de publication : 2020 Importance : 1 vol (68 f.) Format : 29 cm Langues : Anglais (eng) Catégories : Thèses & Mémoires:Mathématique Mots-clés : Problème semi-défini
Méthodes de point-intérieur
Algorithme primal-dual
Complexité polynomiale
Résultats numériquesIndex. décimale : 510 - Mathématique Résumé :
Dans ce mémoire, nous présentons une étude numérique concernant le
problème d’optimisation linéaire semi-défini (SDO). Ce problème est le plus
étudié ces dernières années. On est concerné par l’étude numérique d’un
algorithme de trajectoire centrale de type primal-dual à petit pas pour résoudre
le problème (SDO). On montre que l’algorithme admet une complexité
polynomiale. Finalement, quelques résultats numériques sont donnés pour
montrer l'efficacité de cet algorithme.Côte titre : MAM/0407 En ligne : https://drive.google.com/file/d/1_l6aT4N9VTAiv04zJvgc_tiuzsBhkxyX/view?usp=shari [...] Format de la ressource électronique : Numerical implementation of a path-following interiorpoint method for semidefinite optimization [texte imprimé] / Safa Benghebrid, Auteur ; Achache, M, Directeur de thèse . - [S.l.] : Setif:UFA, 2020 . - 1 vol (68 f.) ; 29 cm.
Langues : Anglais (eng)
Catégories : Thèses & Mémoires:Mathématique Mots-clés : Problème semi-défini
Méthodes de point-intérieur
Algorithme primal-dual
Complexité polynomiale
Résultats numériquesIndex. décimale : 510 - Mathématique Résumé :
Dans ce mémoire, nous présentons une étude numérique concernant le
problème d’optimisation linéaire semi-défini (SDO). Ce problème est le plus
étudié ces dernières années. On est concerné par l’étude numérique d’un
algorithme de trajectoire centrale de type primal-dual à petit pas pour résoudre
le problème (SDO). On montre que l’algorithme admet une complexité
polynomiale. Finalement, quelques résultats numériques sont donnés pour
montrer l'efficacité de cet algorithme.Côte titre : MAM/0407 En ligne : https://drive.google.com/file/d/1_l6aT4N9VTAiv04zJvgc_tiuzsBhkxyX/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAM/0407 MAM/0407 Mémoire Bibliothèque des sciences Anglais Disponible
Disponible
