Modern bug-finding techniques have become effective enough that the bottleneck is not finding bugs but finding the time to fix them. A popular way to address this problem is to focus first on bugs with a security impact, also known as vulnerabilities. This leads to the question of vulnerability assessment: could an attacker take advantage of a bug?...
Cette thèse vise à évaluer la robustesse en court-circuit de transistors GaN 600 V normally-off du commerce. Une revue de la littérature décrit les différentes structures des transistors GaN, leurs applications possibles, et balaie les essais de court-circuit réalisés de 2013 à 2021. La robustesse des transistors est évaluée par la mesure de la dur...
La conception d’un redresseur triphasé robuste et performant est un enjeu clé dans les alimentations des futurs appareils d’imagerie médicale de type scanner à rayons X pour augmenter leur puissance et leur rapidité.Cette application impose une grande variabilité de points de fonctionnements au redresseur :(i) En sortie, la charge est de type impul...
Real-time systems sometimes need to be formally proven, especially realtime systems containing critical component, as planes, cars etc. Timed automata provide a convenient mathematical model for this. However, although they provide a representation of the temporal aspects of these systems, timed automata assume arbitrary precision and zero-delays a...
La gestion d'une chaîne logistique multi-acteurs repose sur un pilier de coordination, essentiel pour synchroniser les activités de tous les acteurs et assurer un bon niveau de taux de service du client final et des performances attendues. La planification tactique de la chaîne logistique est un niveau de décision particulièrement important qui vis...
Ce mémoire traite du problème de la robustesse des systèmes homogènes échantillonnés soumis à une perturbation externe. Tout d'abord, une présentation du concept d'homogénéité sous ses différentes déclinaisons (homogénéité classique, pondérée puis géométrique) est proposée. Puis quelques rappels sur la stabilité des systèmes contrôlés et les résult...
Les gyroscopes MEMS sont des micro-capteurs qui mesurent la vitesse angulaire d'un objet par rapport à un référentiel, en estimant la force de Coriolis. L'estimation est obtenue grâce à la commande en boucle fermée des oscillations mal amorties du système ressort-masse couplé à un démodulateur synchrone. En plus d'avantages intéressants (taille, po...
With the pervasiveness of digital services, huge amounts of data are nowadays continuously generated and collected. Machine Learning (ML) algorithms allow the extraction of hidden yet valuable knowledge from these data and have been applied in numerous domains, such as health care assistance, transportation, user behavior prediction, and many other...
Nous proposons de quantifier la robustesse d'un classifieur aux incertitudes d'entrée avec une simulation stochastique. L'évaluation de la robustesse est présentée comme un test d'hypothèse : le classifieur est considéré comme localement robuste si la probabilité de défaillance estimée est inférieure à un niveau critique. La procédure est basée sur...
La crise pandémique de la Covid-19 a rappelé le caractère stratégique de la logistique et du supply chain management (SCM) pour tous les secteurs d’activité. Elle a aussi souligné l’importance d’avoir des supply chains (SCs) robustes et résilientes. L’article commence par montrer pourquoi la Covid-19 justifie, mieux que toute autre crise avant elle...
