Page personnelle de
Ahmed Nait-Sidi-Moh
|
|
||||
Ahmed Nait-Sidi-Moh, Dr. 61e-27e Enseignant-Chercheur Université de Technologie de
Belfort-Montbéliard Université de Technologie de
Belfort Montbéliard: http://www.utbm.fr Groupe
de recherche Géopositionnement, Systèmes Embarqués et Mobilités : http://www.gsem.fr Laboratoire Systèmes et Transports : http://set.utbm.fr |
|||||
Appel à soumission d’articles
Événements organisés
|
|
|
|
|
·
Modélisation,
Analyse et Commande des Systèmes à Evénements Discrets / Systèmes continus
·
Résolution,
arbitrage et gestion de conflits et partage de ressources dans les systèmes
dynamiques
·
Routage,
ordonnancement, interopérabilité dans la composition et l’interaction de
services
Domaines d’application :
o Systèmes de transport,
de production, Logistique, Systèmes d’information
o Géopositionnement systèmes embarqués
et mobilités
Recherches développées :
Projets de
R&D: ASSET, TELEFOT (Projets européens FP7), PM2G (projet régional)
Mes travaux
actuels s'inscrivent dans l'axe de recherche GSEM "Géopositionnement,
Systèmes Embarqués et Mobilité " de l'équipe ECS "Evaluation et
Conduite de Systèmes" du laboratoire SeT-UTBM (EA 3317). Au sein de
cet axe, mes activités scientifiques abordent essentiellement :
·
le développement
des techniques de modélisation et des outils de spécification, de vérification
et de validation à l’aide des méthodes formelles dans le but de générer des
programmes et développer des prototypes et des logiciels sans risque pour des
applications distribuées. Parmi les méthodes proposées: Réseaux de Petri,
Algèbre des dioïdes, UML.
·
l’optimisation
des services (algorithmes de résolution exacte et approchée), l’affectation et
la gestion des ressources, équilibrage de charge.
·
Parmi les
domaines d’application des modèles formels développés et des études
d’optimisation proposées je cite : problèmes de tournées de véhicules de
déneigement et de ramassage d’ordures; découverte, composition, coordination,
synchronisation et partage de ressources entre plusieurs services métiers.
·
Un autre domaine
d’application est la mobilité et les services géolocalisés dotés de capacités
auto-adaptatives et auto-organisatrices en s’appuyant sur les moyens de
communications mobiles et embarqués associés aux systèmes de navigation et de
positionnement par satellites et aux technologies hertziennes terrestres (GPS,
EGNOS, SIG, GPRS, GSM, WIFI).
Ces
activités de recherche s’inscrivent dans le cadre du projet PM2G (Plateforme Multi services Métiers
Géolocalisés) labellisé par le pôle de compétitivité "Véhicule du
futur en termes de véhicules et réseaux intelligents". Ma contribution
consiste, dans un premier temps, à spécifier, modéliser, vérifier et valider
certaines propriétés de processus d’interopérabilité et de composition de services
distribués dans le but de satisfaire des exigences de sécurité et de sûreté.
Ensuite il s’agit, d’effectuer une étude d’optimisation de services dans le but
d’assurer une sélection optimisée dans la composition de services. Il s’agit de
proposer une solution optimisée dans le cas où plusieurs services sont
candidats pour exécuter une tâche définie, ou encore lorsque un service propose
un ensemble de solutions pour l’exécution d’une tâche donnée. La troisième
phase de l’étude, dont je me suis impliqué partiellement, consiste à développer un middleware (bus
logiciel) permettant d’assurer la composition, la coordination et
l’interopérabilité de plusieurs services en s’appuyant sur le couplage
entre les techniques de composition de services, les systèmes de positionnement
par satellites, et les technologies d’information et de communication. Dans ce
cadre, nous avons réalisé le prototype d’un scénario, modélisé, vérifié et
validé par des modèles formels, mettant en œuvre l’interaction entre plusieurs
services de la vie courante (information trafic, déneigement, travaux publics,
service d’urgences, service de calcul d’itinéraires, service de geofencing).
Dans
un cadre ouvert et hétérogène de la sécurité routière et de la mobilité au
travers de systèmes intelligents de conduite et en employant des outils de
communication mobiles V2V et/ou V2I, les systèmes de positionnement par
satellites (GNSS), mes travaux dans le cadre du projet européen FP7 :
Advanced Safety and Driver Support for Essential Road Transport (ASSET) portent sur une problématique de recherche dont les objectifs
principaux peuvent être résumés en ce qui suit :
-
Modéliser,
vérifier et valider l’interaction et la coordination entre divers services et
divers acteurs,
-
Etudier les
comportements des scénarios et trouver des actions à effectuer afin de
satisfaire certaines propriétés de bon fonctionnement ou de diagnostique en cas
de défaillance,
-
Définir des
couloirs géographiques de circulation «Geofencing» : transport de matières
dangereuses, suivi et contrôle de la circulation des véhicules dans certaines
zones critiques, logistique d’urgence en cas de crise, lutte contre le vol
des véhicules, …
-
Assurer une
gestion optimisée des parcours de véhicules,
Dans ce cadre
je m’intéresse également à d’autres questions de la sécurité routière telles
que :
-
Fournir des aides
tant à bord des véhicules qu’en infrastructure (sol), en un ou plusieurs lieux
de gestion de services,
-
Fournir des aides
en temps réel : assistance à la conduite, suivi des mobilités de véhicules
(gestion de flottes), ou de biens (traçabilité, guidage, etc.)
Dans
le cadre d’un deuxième projet Européen FP7 : Field Operational Tests of Aftermarket and Nomadic Devices in Vehicles
(TELEFOT), ma
contribution porte sur ma participation à la réalisation des tests sur un
terrain à grande échelle dans la région Nord Franche-Comté, par la distribution
de 400 téléphones mobiles équipés d'un GPS. L'objectif est d'étudier l'impact
des périphériques mobiles (ex: téléphones mobiles) dans les véhicules pour
l'assistance aux conducteurs : délivrer des informations
pertinentes, assister les conducteurs en cas d'urgence (e-Call, emergency
Call), et sensibiliser les conducteurs aux fonctionnalités et aux potentiels de
ces périphériques pour la sécurité humaine.
Systèmes
Dynamiques à Evénements Discrets et
résolution de conflits
D’autre part,
lors de mes recherches de thèse et après la thèse, j’ai été confronté à
plusieurs problèmes liés à la gestion et l’arbitrage de conflits dans les
systèmes étudiés. Je me suis donc intéressé par la modélisation, l’analyse et
l’évaluation des systèmes dynamiques à événements discrets (SED) avec conflits.
Cette problématique fait l’objet des mes travaux de recherche actuels en
parallèle aux travaux cités auparavant. Dans ce cadre, je cite mes recherches
au sujet de l’utilisation conjointe de l’algèbre des dioïdes et les réseaux de
Petri pour la modélisation, la résolution et la gestion de conflits dans les
SEDs. Il s’agit plus précisément, de proposer un modèle générique décrivant, à
l’aide des équations (max, +) et/ou (min, +), le comportement d’un SED avec
conflits. La résolution et la gestion de ces conflits se font à l’aide d’une
politique de routage et d’ordonnancement que l’on propose et intègre dans le
modèle mathématique. Les politiques de routage et d’ordonnancement proposées se
basent sur plusieurs critères dont, par exemple, le coût, le temps de réponse,
la disponibilité, la qualité de service, etc.. L’objectif est donc d’étendre la
théorie des systèmes linéaires dans cette algèbre tropicale pour l’étude des
systèmes dynamiques à événements discrets plus concrets et avec moins
d’hypothèses simplificatrices.
Parmi les
domaines d’application de ces travaux de recherche, je cite à titre
d’exemple : le routage, l’ordonnancement et l’optimisation dans les
systèmes logistiques, la gestion et la planification des systèmes de transport
et de production, la composition et l’interopérabilité entre plusieurs service
(services web, services métiers, …), etc..
Par ailleurs, mes compétences plus et moins récentes
s'analysent bien en considérant d'une part l’utilisation des méthodes formelles
orientées modèle et propriétés pour les systèmes discrets et à événements
discrets (SED) et les systèmes continus. Dans ce cadre je cite mes activités de
recherche sur la modélisation et le suivi des processus d’échange
d’informations sécurisées dans les systèmes d’information. Le travail de thèse
sur la modélisation, l’analyse et la commande d’un système de transport de passagers.
Et le travail de DEA sur la modélisation et la commande optimale de la
dynamique des populations.
Systèmes
d’information et échanges électroniques sécurisés
Il s’agit d’une problématique liée
à la modélisation, la vérification et la
validation des processus de sécurité, de certification et de
signature numériques dans le cadre des systèmes d’information vus en tant
qu’une classe des SEDs. Ma contribution concerne la
proposition des modèles formels (graphique et mathématique) pour la
fiabilisation des échanges en garantissant l’intégrité de l’information reçue,
l’authenticité du message véhiculé et la non répudiation de l’échange
électronique. Dans ce cadre, j’ai travaillé sur la spécification à événements
discrets, la vérification et la validation de certaines propriétés logiques et
temporelles de ces processus évoluant dans un espace d’états discrets. Pendant
ce travail, j’ai tenu également à intégrer et représenter, dans les modèles
proposés, des phénomènes de synchronisation, de concurrence et de parallélisme
présents dans les systèmes d’information.
Travail
de thèse 1999-2003
Mes travaux de recherche de thèse portent sur la modélisation, l’évaluation, l’analyse et
la commande d’un système temporisé à événement discret en utilisant conjointement
les réseaux de Petri et l’algèbre des dioïdes. Les systèmes à événements discrets
sont souvent représentés par des modèles graphiques basés, par exemple, sur les
RdP et en particulier sur des graphes d’événements temporisés (GET) qui
décrivent leurs comportements. Quand le système considéré est dynamique, un
certain nombre de questions, liées à l'occurrence des événements, la
gestion des ressources, doivent être abordées, telles que la résolution des
conflits, la synchronisation, la concurrence, le parallélisme, etc. Ma
contribution porte sur l’utilisation et l’adaptation de l’algèbre des dioïdes
((max +) et (min, +)) pour la modélisation, l’analyse et l’optimisation d’un
système de transport de passagers dans lequel ces phénomènes et ces problématiques
apparaissent. L’algèbre des dioïdes est un outil approprié pour les systèmes
qui présente un comportement dynamique et discret non conflictuel. Mon travail
de thèse a fait donc l’objet de l’adaptation de cette algèbre ainsi que ses
techniques développées au sujet de la théorie des systèmes linéaires pour la
résolution et l’arbitrage de conflits, la gestion des phénomènes de
synchronisation, de parallélisme et de concurrence dans un SED par des systèmes
(min, +) et (max, +) linéaires non stationnaires. Plus précisément, cette
algèbre permet de considérer et d’analyser deux aspects différents des
SED : aspect "dateur" permettant de calculer les dates
d’occurrence des événements (arrivée/départ d’un bus d’un arrêt,
correspondance, début/fin de traitement d’un produit sur une machine, etc.), et
aspect "compteur", qui permet de compter le nombre d’occurrence d’un
événement dans un système à un moment donnée (nombre de correspondances, nombre
de passagers en attente, nombre de produit dans un stock, etc.). Pour des
problématiques de commande, d’optimisation
et d’amélioration de la qualité de service, j’ai proposé deux approches
de commande. La première permet de synthétiser une commande en juste à temps en
se basant sur les techniques de la théorie de la résiduation dans les dioïdes.
La seconde approche est fondée sur des résultats de simulation permettant
d’obtenir une commande à partir des optima globaux des fonctions objectifs.
L’application de ces travaux de
recherche porte sur des problématiques associées à la planification, la
régulation et l’exploitation d’un réseau de bus. Il s’agit de la modélisation,
l’évaluation et l’optimisation de performances de ce système de transport en
commun. A savoir, l’optimisation des temps d’attente de passagers, l’optimisation
de nombre de bus circulant sur le réseau, réalisation d’un maximum de
correspondance avec un temps d’attente minimum sur chaque station de
correspondance, amélioration de la qualité de services, planification des
horaires (tableaux de marche des bus), ordonnancement et gestion de véhicules.
Travail
de DEA 1998-1999
D’autre part mon travail de DEA de
mathématiques appliquées et calcul scientifique
effectué au laboratoire Mathématiques Appliquées de Bordeaux (MAB)
porte sur:
·
la modélisation et la commande optimale d’un
problème de dynamique des populations à l’aide des équations aux dérivées
partielles et des schémas numériques. Après avoir modélisé le problème
considéré par un modèle mathématique continue non linéaire à l’aide des EDP,
j’ai montré l’existence et l’unicité des solutions. Ensuite, j’ai proposé un
schéma numérique dont les solutions convergent vers celles du modèle continu
considéré. Pour le contrôle, j’ai fixé un objectif désiré, et j’ai cherché le
contrôle qui permet d’atteindre cet objectif en utilisant la théorie du
contrôle optimal.
·
l’application est liée à un problème de
biologie qui consiste à réguler des populations animales (poissons, chats
sauvages ou domestiques, renardes …) soumises à des virus (V.I.F. et F.E.L.V. pour
les chats, rage pour le renard, etc.). Ces populations sont structurées en âge
et en espace. Plus précisément, il s’agit de contrôler ces populations de sorte
à ce qu’elles se développent normalement tout en gardant les éléments infectés
en dessous d’un seuil de propagation de l’épidémie.
Mots
clés : Modélisation, Observabilité, Commandabilité,
Stabilité, Contrôle optimal, Equations aux dérivées partielles, schémas
numériques, Programmation non linéaire, dynamique des populations,
Discipline |
Niveau |
Etablissement |
Informatique (Cours, TD, TP) |
- 3ème, 4ème et
5ème année cycle ingénieur |
UTBM |
Automatique et traitement du signal (Cours,
TD, TP) |
- 3ème, 4ème, 5ème année cycle
ingénieur - Master recherche |
UTBM |
Mathématiques et Application des
mathématiques (TD,
TP) |
- Tronc commun - 3ème, 4ème et 5ème année cycle
ingénieur |
UTBM |
TX, TW, TO et IR (Encadrement) |
- 3ème, 4ème et
5ème année cycle ingénieur |
UTBM |
-
Techniques mathématiques pour l’ingénieur (TD, TP)
-
Mathématiques pour l’image (TP)
Advanced Safety and Driver Support for Essential Road Transport. ASSET est un projet européen 7ème PCRD, qui réunit 22 partenaires européens (PTV Planung Transport Verkehr AG, VTT Technical Research Centre of Finland, VTI Swedish Road and Transport Research Institute, Università di Modena e Reggio Emilia, University College Dublin, …., avec National institute of transport (Tanzania) and TANROADS et MTEL-KTEI (RITES&NHAI- Inde)), sur la sécurité dans les transports. Les principaux objectifs de ce projet sont : l’assistance aux conducteurs et l’amélioration de leur sécurité, la protection et l’optimisation du cycle de vie de l’infrastructure, et l’assurance d’un transport routier sûr et efficace. Ce projet est accepté par la commission européenne, et également labellisé par le pôle de compétitivité « véhicule du futur » en matière de « véhicules et réseaux intelligents ».
Field Operational Tests of Aftermarket and
Nomadic Devices in Vehicles. TELEFOT est un projet européen 7ème
PCRD, qui réunit 25 partenaires européens (dont : VTT Technical Research Center of
Finland, ADAC e. V.
Allgemeiner Deutscehr Automobil Club , Loughborough University
Leicestershire (UK), CERTH/HIT Center for Research & Technology Hellas/ Hellenic Institute of
Transport (Grèce), Navteq,
University of Modena and Reggio
Emilia (Italy), …), sur l’évaluation de l’impact des
dispositifs nomades embarqués dans les véhicules sur la délivrance des
informations utiles et l’assistance aux conducteurs en cas d’urgence par des
essais opérationnels sur le terrain.
PM2G (Plateforme Multi-services Métiers Géolocalisés) est un projet régional qui réunit plusieurs partenaires dont : le Conseil Général de Belfort (CG90), le Conseil Régional de la franche comté (CR25), l’Institut Européen de Géopositionnement (IEG), Groupe GSEM-SeT-UTBM et deux entreprises (Pimentic et Franck Verove). Ce projet est labellisé par le pôle de compétitivité « véhicule du future : véhicules et réseaux intelligents ». L’objectif est de développer un middleware permettant la coordination, la coopération, la synchronisation et le partage de ressource entre plusieurs services métiers. Plus de détail sur le travail développé dans le cadre de ce projet est donné dans la partie recherche.
-
Projet TABAC (2002 - 2005)
TABAC (Traçabilité et Archivage pour la Billettique Avec Certification), est un projet soutenu par le ministère de l’Industrie dans le cadre du projet PROGSI pour la réalisation d’une solution logicielle d’archivage légal dans le contexte du nouveau décret qui reconnaît les supports électroniques comme supports d’archivage pour autant qu’ils respectent les critères de fidélité et de pérennité énoncés dans le code civil.
-
Projet ELECAR
ELECAR (Integrated Energy Management System For Electric Cars) est un projet DEUFRAKO (Coopération franco-allemande en recherche sur les transports terrestres) en cours d’évaluation.