Les Premières Journées Doctorales de l Ecole Polytechnique de Tunisie

Transcription

1 Les Premières Journées Doctorales de l Ecole Polytechnique de Tunisie JDEPT 15 La Marsa, Tunis, 22 et 23 Avril 2015 Résumés des Communications

2 Programme Technique en bref Mercredi 22 Avril Jeudi 23 Avril 8:00-9:00 Inscription 9:00-9:10 Ouverture des JDEPT 15 9:00-10:30 Session plénière 9:10-10:30 Session plénière 10:30-11:00 Pause-café 10:30-11:00 Pause-café 11:00-11:15 Présentation des Laboratoires 11:00-11:15 Présentation des Laboratoires 11:15-12:30 Sessions orales 11:15-12:30 Sessions orales 12:30-14:30 Déjeuner 12:30-14:00 Déjeuner 14:30-15:00 Session plénière 14:00-14:30 Session plénière 15:00-15:15 Présentation des laboratoires 14:30-16:00 Sessions orales 15:15-16:30 Sessions orales 16:00-16:30 Pause-café 16:30 Pause-café 16:30-17:45 Sessions orales 16:30-18:00 Session Poster 18:00 Prix et clôture

3

4 Sommaire Message de l Ecole Doctorale des Sciences Appliquées de l Ecole Polytechnique de Tunisie 2 Comité Scientifique... 3 Comité d Organisation... 4 Programme Technique... 5 Résumés des Communications Mercredi 22 Avril Session plénière 1: Khaled GHEDIRA Abderrazak JEMAI Session Orale Session Orale Session plénière 2: Mohamed TLICH Session Orale Session Orale Session Posters Jeudi 23 Avril Session plénière 3: Noureddine BOUDRIGUA Moncef HARRABI Session Orale Session Orale Session plénière 6: Bessem KBOUBI Session Orale Session Orale Session Orale Session Orale

5 Message de l Ecole Doctorale des Sciences Appliquées de l Ecole Polytechnique de Tunisie Bienvenue aux JDEPT 15 à l Ecole Polytechnique de Tunisie. Le comité d organisation des Premières Journées Doctorales de l EPT, propose un programme technique riche et intéressant pour les participants. L objectif de ces journées est de promouvoir et de favoriser les interactions entre jeunes chercheurs, de l'ecole Doctorale Sciences Appliquées EDSA, et des différents Laboratoires de l EPT, Industriels et Enseignants Chercheurs. Les JDEPT 15 sont une excellente occasion pour présenter et discuter l état d avancement de leurs travaux de recherche et de rencontrer des amis, collègues, experts et partenaires industriels. Véritable moment privilégié pour toute la communauté de chercheurs, les JDEPT 15 élargit son ampleur et couvre des domaines émergents dans différentes spécialités tels que : les communications numériques et optiques les systèmes d informations les réseaux de capteurs les systèmes avancés la théorie du contrôle le traitement de signal, d image et de vidéos la modélisation la mécanique appliquée le génie électrique le calcul scientifique. La participation des doctorants et des jeunes chercheurs à ces journées est encouragée et des prix seront accordés aux meilleurs présentations orales et posters. Ces journées favorisent l'ouverture et l échange scientifique entre chercheurs, industriels et étudiants participant à cette manifestation. 2

6 Comité Scientifique ALI ABDENNADHER Directeur de l école doctorale RABAH ATTIA Directeur du SERCOM LASSAAD EL ASMI Directeur du LIM SAMI ELBORGI Directeur du LASMAP KAIS OUNI Directeur du SMS/ENICarthage NACEUR BENHADJ BRAIEK Directeur du LSA MOHAMED ADEL DHIF LEGI MAHEL MOSBAH FSB MOEZ CHAFRA IPEIT ZIED CHTOUROU AMFJ 3

7 Comité d Organisation RABAH ATTIA Directeur du SERCOM ALI ABDENNADHER Directeur de l école doctorale MARWA JMAL SERCOM SANA BELGUITH SERCOM EMNA KALAI SERCOM EMNA KHOUILDI SERCOM MALIK SAHRAOUI LASMAP FAHMI NAJJAR LASMAP CHAKER JAMMAZI LIM SALIM BICHIOU LSA 4

8 Programme Technique Mercredi 22 Avril Inscription Ouverture des JDEPT 15 (Amphithéâtre Ibn Khaldoun) Session Plénière 1 - Chairman: Pr. Noureddine BOUDRIGUA Khaled GHEDIRA- Directeur Général de l ANPR «LE PAYSAGE DE LA RECHERCHE EN TUNISIE : ETAT DES LIEUX» Abderrazak JEMAI- Directeur Général du CNI «INNOVATION ET RECHERCHE EN TIC : STRATEGIE & VISION» Pause-café Sessions Orales 1 et 2 Session Orale 1 (Amphithéâtre Ibn Khaldoun) - Chairman : Pr. Zied CHTOUROU Présentation du Laboratoire des Systèmes Electroniques et Réseaux de Communications (SERCOM) A SECURED DATA STORAGE IN CLOUD COMPUTING USING A NEW CRYPTOGRAPHIC TECHNIQUE Sana BELGUITH, Abderrazak JEMAI, Leyla TOUMI and Rabah ATTIA SECURITY AND PRIVACY IN IOT Arbia RIAHI, Zied CHTOUROU and Abdelaziz SAMET AN EFFECTIVE AND DISTRIBUTED PARTICLE SWARM OPTIMIZATION ALGORITHM FOR FLEXIBLE JOB-SHOP SCHEDULING PROBLEM Maroua NOUIRI, Abderrazak JEMAI and Smail NIAR LTE-BASED VPN: A NEW ARCHITECTURE WITH TWO AUTHENTICATION ALTERNATIVES Meriem SALHI, Maroua GHARAM and Noureddine BOUDRIGA A VLC-BASED IN FLIGHT CONNECTIVITY ARCHITECTURE TO ENABLE ENTERTAINMENT SERVICES IN FUTURE AIRCRAFT Dhouha KRICHENE, Maha SLITI, Walid ABDALLAH and Noureddine BOUDRIGA Session Orale 2 (Amphihéâtre Ibn Al Haytham) - Chairman : Pr. Slim BEN SAOUD Présentation du laboratoire des Systèmes Avancés (LSA) HARDWARE/SOFTWARE PARTITIONING APPROACHES Imene MHADHBI, Slim BEN OTHMAN and Slim BEN SAOUD HETEROGENEOUS AVIONICS NETWORK ARCHITECTURE Nejla REJEB, Ahmed Karim BEN SALEM and Slim BEN SAOUD STATE ESTIMATION OF UNKNOWN INPUT POLYNOMIAL SYSTEMS: A SUM OF SQUARES APPROACH Ali CHIBANI, Mohammed CHADLI and Naceur BENHADJ BRAIEK ON MODELING AND CONTROL OF NONLINEAR DISCRETE-TIME SYSTEMS Wafa BELHEDI and Hajer BOUZAOUACHE A DECENTRALIZED GUARANTEED COST CONTROL APPROACH OF INTERCONNECTED POWER SYSTEMS Hosni RTIBI, Salwa ELLOUMI and Naceur BENHADJ BRAIEK Déjeuner 5

9 Session Plénière 2 (Amphithéâtre Ibn Khaldoun) - Chairman: Dr.Wided SOUIDENE Mohamed TLICH- CEO Codintek «CONCEVOIR ET INNOVER DANS LES SYSTEMES DE TRANSMISSION RADIO DE NOUVELLE GENERATION : DE LA THEORIE A LA PRATIQUE» Sessions Orales 3 et 4 Session Orale 3 (Amphithéâtre Ibn Khaldoun) - Chairman: Pr. Mourad ZGHAL SPATIAL MODE CONTROL IN FIBERS FOR HIGH BIT RATE OPTICAL COMMUNICATIONS Abderrahmen TRICHILI, Amine BEN SALEM and Mourad ZGHAL LASER A FIBRE DOPEE ERBIUM EMETTANT A 1.61 ΜM PAR LE CONTROLE DES PERTES LINEAIRES Khemais GUESMI, Y. MENG, A. NIANG, M. SALHI, Faouzi BAHLOUL, Rabah ATTIA and F. SANCHEZ THE NONLINEAR EFFECT IN DISTRIBUTED OPTICAL SENSOR: RAMAN AND BRILLOUIN PROCESS Amira ZRELLI, Mohamed BOUYAHI and Tahar EZZEDINE NUMERICAL ANALYSIS OF ORBITAL ANGULAR MOMENTUM BASED NEXT GENERATION OPTICAL SDM COMMUNICATIONS SYSTEM Besma HAMMAMI, Habib FATHALLAH and Houria REZIG PERFORMANCE PREDICTION OF COUPLED CARBON NANOTUBE DIPOLE ANTENNAS USING THE INTEGRAL METHOD Mourad AIDI and Taoufik AGUILI ETUDE, GESTION ET CONTROLE DES RESEAUX ELECTRIQUES INTELLIGENTS Raja GLAA, M.N LAKHOUA et Lilia EL AMRAOUI Session Orale 4 (Amphithéâtre Ibn Al Haytham) - Chairman : Pr. Moez CHAFRA Présentation du Laboratoire des Structures et Mécanique Appliquée (LASMAP) RELIABILITY BASED APPROACH FOR EVALUATING SHALLOW FOUNDATION STABILITY ON SPATIALLY VARIABLE SOIL UNDER COMBINED LOADING Amal HENTATI, Nizar BEL HADJ ALI, Mbarka SELMI and Tarek KORMI SEMI-ACTIVE VIBRATION CONTROL OF GUYED MASTS Maher CHAKHARI, Mohamed Hechmi ELOUNI, Nizar BELHADJ ALI and Nabil BEN KAHLA MULTI-PHYSICAL REDUCED ORDER MODELING OF MEMS AND NEMS Sarah BEN SASSI and Fehmi NAJAR REALISATION D UNE ENCEINTE EN MATERIAUX COMPOSITES POUR UNE TETE DE DETECTION A GAZ DE GAMMA CAMERA Imen HARBAOUI, Moez CHAFRA, Hatem BESBESS et Mohamed Amine KADIMALLAH MODELISATION ELEMENTS FINIS D UN PROCESSUS DE PERÇAGE Nawel Glaa, Mehdi K et M. BEN JABER Pause-café Session Poster 6

10 Jeudi 23 Avril Session Plénière 3: (Amphithéâtre Ibn Khaldoun)- Chairman : Pr. Mahel MOSBEH Pr. Noureddine BOUDRIGUA - Sup com, Université de Carthage «MATHEMATICAL CHALLENGES IN TELECOMMUNICATIONS RESEARCH» Moncef HARRABI - Directeur chargé du Projet Energie Renouvelable et Efficacité Energétique (STEG) «SITUATION ET PERSPECTIVE DE DEVELOPPEMENT DES ENERGIES RENOUVELABLE A LA STEG» Pause-café Sessions orales 5 et 6 Session Orale 5: (Amphithéâtre Ibn Al Haytham) - Chairman : Dr. Salwa ELLOUMI A COMPARATIVE STUDY ON MODEL ORDER REDUCTION OF NON-LINEAR SYSTEM Asma ROUZ, Hajer BOUZAOUCHE and Naceur BENHADHJ BRAÏEK CONTROL OF VSC-HVDCTRANSMISSION SYSTEMSTHROUGH OPTIMAL CONTROL METHOD Mohamed AYARI, Mohamed Moez BELHAOUANE and Naceur BENHADJ BRAIEK ONLINE OPTIMIZATION OF THE PERFORMANCE OF A POWER TRAIN SYSTEM FOR A PARALLEL HYBRID VEHICLE Mourad ALI SALAH and Naceur BENHADJ BRAIEK ON MINIMUM OPTIMAL CONTROL OF DYNAMICAL SYSTEMS Salim BICHIOU, Mohamed Karim BOUAFOURA and Naceur BENHADJ BRAIEK BROS: A NEW ROBOTIC PLATFORM FOR THE TREATMENT OF SUPRACONDYLAR HUMERUS FRACTURE Mohamed Oussama BEN SALEM, Olfa MOSBAHI, Mohamed KHALGUI and Georg FREY GR-TNCES: NEW EXTENSIONS OF R-TNCES FOR MODELLING AND VERIFICATION OF FLEXIBLE SYSTEMS UNDER ENERGY AND MEMORY CONSTRAINTS Oussama KHLIFI, Olfa MOSBAHI, Mohamed KHALGUI and Georg FREY Session Orale 6 (Amphithéâtre Ibn Khaldoun) - Chairman : Dr. Wided SOUIDENE Présentation de l Unité de Recherche Systèmes Mécatroniques et Signaux (SMS) COMPUTER VISION FOR PEOPLE DETECTION AND SEGMENTATION Marwa JMAL, Wided SOUIDENE and Rabah ATTIA CONCEPTION ET REALISATION D'UN APPAREIL MEDICAL POUR L'ACQUISITION ET LE TRAITEMENT DU SIGNAL DE BIOIMPEDANCE CARDIOVASCULAIRE Ihsèn BEN SALAH et Kaïs OUNI TRANSFORMATIONS DE LA VOIX. APPROCHES ET APPLICATIONS Imen BEN OTHMANE et Kais OUNI DÉTECTION ET SUIVI D INDIVIDUS À TRAVERS UN RÉSEAU DE CAMERAS VIDÉO DISTANTES Salwa BAABOU, Mohamed Amine FARAH et Abdennaceur KACHOURI DEBRUITAGE DES SEQUENCES D IMAGES CARDIAQUES TEP Hajer JOMAA, Rostom MABROUK et Nawres KHLIFA Déjeuner 7

11 Session Plénière 4: (Amphithéâtre Ibn Khaldoun) - Chairman : Pr. Ammar BOUALLEGUE Bessem KBOUBI Responsable Innovation et Prototypage, TELNET Innovation Labs. «ACTIVITES DE RECHERCHES ET D INNOVATIONS TECHNOLOGIQUES» Sessions Orales 7 et 8 Session Orale 7 (Amphithéâtre Ibn Khaldoun) - Chairman: Pr Ammar BOUALLEGUE CONCEPTION ET REALISATION D UN SYSTEME MIMO OFDM APPLIQUE AUX CANAUX DE COMMUNICATION PAR LIGNE ELECTRIQUE Hasna KILANI, Mohamed TLICH et Rabah ATTIA SPECTRUM SENSING IN CORRELATED MASSIVE MIMO UNDER IMPERFECT CSI Imen SOUID, Haithem BEN CHIKHA and Rabah ATTIA MODULATION RECOGNITION FOR MIMO RELAYING BROADCAST CHANNELS WITH DIRECT LINK Wassim BEN CHIKHA and Rabah ATTIA ETUDE DES TECHNIQUES D ALLOCATION DES RESSOURCES ET D ORDONNANCEMENT DANS POUR LE SYSTEME LTE Bechir NSIRI, Nasreddine MALLOUKI, Mahmoud AMMAR et Ammar BOUALLEGUE STUDY OF THE SYNCHRONIZATION IN MIMO-OFDM APPLIED TO WIMAX Mejdi BENZARTI SELECTION DE RELAI POUR UN SCHÉMA DE TCCDAVEC RELAYAGE AF Khouloud ABIDI, Haithem BEN CHIKHA et Rabah ATTIA Session Orale 8 (Amphithéâtre Ibn Al Haytham) - Chairman: Pr. Lilia AMRAOUI CARACTÉRISATION DU RÉSEAU ÉLECTRIQUE DE LA STEG ET DÉFINITION D UN SCHÉMA DE COMMUNICATION CPL ROBUSTE POUR LE SMART GRID Raja ALAYA et Rabah ATTIA INTERACTION SÛRETÉ DE FONCTIONNEMENT ET SUPERVISION DES SYSTÈMES AUTOMATISÉS COMPLEXES Marwa BEN HAMMOUDA, Mohamed Najeh LAKHOUA et Lilia EL AMRAOUI DETECTION D UNE BAISSE DE PRESSION DANS LES PNEUMATIQUES PAR SYNTHESE D OBSERVATEURS NON LINEAIRES Nada OUASLI et Lilia El AMRAOUI DEVELOPPEMENT D UN NOYAU DE PLATEFORME DE MODELISATION ET DE COMMANDE POUR LES VEHICULES ELECTRIQUES. UTILISATION DES «BOND GRAPH» Sihem DRIDI, Ines BEN SALEM et Lilia El AMRAOUI AN OPTIMAL CONTROLLER DESIGN FOR STABILIZING BIPED GAIT Imen DAKHLI, Mongi BESBES and Mohamed Adel SELLAMI CONCEPTION D UN MOTEUR INCREMENTAL LINEAIRE POUR APPLICATION D OUVERTURE D UNE PORTE COULISSANTE Aymen LACHHEB, Jalel KHEDIRI et Lilia El AMRAOUI Pause-café 8

12 Sessions Orales 9 et 10 Session Orale 9(Amphithéâtre Ibn Khaldoun )- Chairman: Dr. Adel BEN ZINA & Dr. Issam MABROUKI INTEGRATION OF RFID AND WSN IN COLD CHAIN MONITORING Nabiha SAIDI and Tahar EZZEDDINE SPECIFICATION/VERIFICATION ET CONCEPTION/VALIDATION DE RESEAUX DE CAPTEURS SANS FILS RECONFIGURABLES SURS Hanen GRICHI, Olfa MOSBAHI et Mohamed KHALGUI MATHEMATICAL MODEL FOR THE CONTROL OF SENSORS DEPLOYMENT UNDER IRREGULAR CONDITIONS Imen ARFAOUI, Noureddine BOUDRIGA and Khalifa TRIMCHE RA2DL: NEW RECONFIGURABLE AADL COMPONENT Farid ADAILI, Olfa MOSBAHI, Mohamed KHALGUI and Samia BOUZEFRANE FEASIBLE REAL-TIME SCHEDULING UNDER MEMORY AND ENERGY CONSTRAINTS Aymen GAMMOUDI, Adel BEN ZINA, Mohamed KHALGUI and Daniel CHILLET Session Orale 10 (Amphithéâtre Ibn Al Haytham) - Chairman: Dr. Yomna REBAI Présentation du Laboratoire d'ingénierie Mathématique (LIM) THE EXPECTED TOTAL OPTIMAL MAINTENANCE COST UNDER DISCRETE MODIFIED WEIBULL DISTRIBUTION Nizar MANNAI and Soufiane GASMI ON THE FINITE-TIME STABILIZATION OF STRINGS CONNECTED BY POINT MASS Ghada BEN BELGACEM and Chaker JAMMAZI PROBLEME D INTERFACE-EXISTENCE ET UNICITE DES SOLUTIONS DES EQUATIONS DE MAXWELL Saoussen BOUJEMAA et Abedessatar KHELIFI THEORIE DE VARIETE CENTRALE ET BIFURCATION DES SYSTEMES DYNAMIQUES Imen BEN AHMED et Chaker JAMMAZI Prix et Clôture 9

13 Résumés des Communications 10

14 Session plénière 1: Khaled GHEDIRA Chairman: Pr Noureddine BOUDRIGUA Mercredi 22 Avril «LE PAYSAGE DE LA RECHERCHE EN TUNISIE : ETAT DES LIEUX» Khaled GHEDIRA- Directeur Général de l ANPR Résumé : Cette conférence a pour but de présenter le paysage de la recherche : état des lieux, positionnement de la Tunisie à l'échelle internationale, les différents mécanismes de valorisation et de financement de la recherche, la coopération internationale aussi bien que multilatérale, ainsi que le projet de réforme de la recherche et ce, par le biais d'un plan d'action stratégique sur la période Session plénière 1: Abderrazak JEMAI Chairman: Pr Noureddine BOUDRIGUA «INNOVATION ET RECHERCHE EN TIC : STRATEGIE & VISION» Abderrazak Jemai- Directeur Général du CNI Session Orale 1 Chairman: Pr. Zied CHTOUROU A SECURED DATA STORAGE IN CLOUD COMPUTING USING A NEW CRYPTOGRAPHIC TECHNIQUE Sana BELGUITH 1, 2, Abderrazak JEMAI 3, Leyla TOUMI 1, 4 and Rabah ATTIA 1 1 Laboratory of Electronic Systems and Communication Network, TUNISIA Polytechnic School 2 TELNET Innovation Labs, Telnet Holding 3 Laboratoire LIP2, Faculté des Sciences de Tunis, Tunisie 4 Borj El Amri Aviation School, Tunisia [email protected]; [email protected]; [email protected]; [email protected] Cloud computing is a new architecture that has released users from hardware requirements and complexity. The rapid transition toward clouds has advanced many concerns related to security issues which can hold back its widespread adoption. In fact, cloud computing s special architecture has introduced many challenges especially in maintaining the security of outsourced data. Thus, to address this issue, we propose in this article, a new lightweight encryption algorithm which consists of combining symmetric algorithm to encrypt data and asymmetric one to distribute keys. This combination helps to benefit from the efficient security of asymmetric encryption and the rapid performance of symmetric encryption while conserving the rights of users to access data by a secured and authorized way. Evaluation results prove that the processing time of our lightweight algorithm is faster than state-of-theart cryptographic algorithms. 11

15 SECURITY AND PRIVACY IN IOT Arbia RIAHI 1, Zied CHTOUROU 1 and Abdelaziz SAMET 2 1 VRIT Lab., Military Academy of Tunisia, Nabeul, Tunisia 2 SERCOM Lab., Tunisian Polytechnic School, La Marsa, Tunisia [email protected], [email protected], [email protected] Recently, the number of IOT applications has increased rapidly in many domains such as healthcare, transportation, smart homes/offices, electronics, etc. The involvement of smart objects into such a complex system makes IOT security very difficult to address. In this work we propose a new taxonomy for IOT vision, a security roadmap overview, and possible research directions. AN EFFECTIVE AND DISTRIBUTED PARTICLE SWARM OPTIMIZATION ALGORITHM FOR FLEXIBLE JOB-SHOP SCHEDULING PROBLEM Maroua Nouiri 1, Abderrazak Jemai 1 and Smail Niar 2 1 Lip2 Laboratory, Faculty of Science of Tunis, Tunisia 2 Lamih Laboratory, Université de Valenciennes et du Hainaut-Cambrésis, F Valenciennes [email protected] Flexible job-shop scheduling problem (FJSP) still an open area of research. To solve this problem, we apply particle swarm optimization (PSO) to minimize the maximum completion time criterion. Our other objective, is to study the distribution of the PSO-Solving method for future implementation on embedded systems that can make decisions in real time according to the state of resources and any unplanned or unforeseen events. For this aim, two Multi-agent based approaches are proposed and compared using different benchmark instances. LTE-BASED VPN: A NEW ARCHITECTURE WITH TWO AUTHENTICATION ALTERNATIVES Meriem SALHI, Maroua GHARAM and Noureddine BOUDRIGA Communication Networks and Security (CNAS) Research Lab ({mariem.slh, gharam1989, noure.boudriga2}@gmail.com) We propose in this paper a novel prospective vision of virtual private networks built upon the fourth generation small cell technology. The proposed architecture promotes the enterprise manageability on its private connections, established over LTE. In fact, the small cell node is renovated by adding USIM cards enabling it to act as a gateway between employees and the LTE core system. Furthermore, two authentication alternatives are proposed. The first one is a totally local authentication where users are authenticated and registered by a local authentication center instead of the core network. While the second maintains the authentication role of the LTE core and gives some privileges to the local authentication center to complement the process. 12

16 A VLC-BASED IN FLIGHT CONNECTIVITY ARCHITECTURE TO ENABLE ENTERTAINMENT SERVICES IN FUTURE AIRCRAFT Dhouha KRICHENE, Maha SLITI, Walid ABDALLAH et Noureddine BOUDRIGA Communication Network and Security Research Lab(CN&S), Sup Com This paper proposes an aeronautical network architecture based on visible light communication (VLC) technology which targets the distribution of in-flight entertainment services. To this purpose, we investigate the deployment of LEDs within an aircraft cabin using two different wavelength assignment methods in the VLC cells. The first method combines both WDM and Direct sequence OCDMA techniques to reduce intra-cell and intercell interferences. In the second one, a two-dimensional OCDMA scheme is used to enable efficient sharing of resources between users. Finally, a simulation work is conducted to evaluate the bit error rate of the proposed access control schemes for different configurations of the VLC system. Session Orale 2 Chairman: Slim BEN SAOUD HARDWARE/SOFTWARE PARTITIONING APPROACHES Imene MHADHBI, Slim BEN OTHMAN and Slim BEN SAOUD National Institute of Applied Science and Technology, Advanced Systems Laboratory, INSAT [email protected] Hardware/Software partitioning is a crucial problem in the heterogeneous embedded system co-design. It consists of deciding which processes of the embedded application should be executed on general purpose processor (software architecture) and which ones can be implemented on a specific hardware architecture, taking into account a set of embedded systems constraints. Software architecture is more flexible and inexpensive. It is chosen to reduce the cost of the design. However, hardware architecture is selected to increase the embedded system performance (execution time, area, energy, etc.) and speedup design. Several significant research work on hardware/software partitioning problem exist. In this paper, we will presents the hardware/software partitioning process. HETEROGENEOUS AVIONICS NETWORK ARCHITECTURE Nejla REJEB, Ahmed Karim BEN SALEM, Slim BEN SAOUD LSA Laboratory, INSAT-EPT, University of Carthage, TUNISIA [email protected]; [email protected]; [email protected] Embedded avionics systems have recently emerged some limitations to respond to the rapid increase in the functionality requirements of new generation aircraft. In order to cope with these limitations, new avionics architectures have been designed to improve the efficiency in the whole avionic system. The current communication architecture of new generation aircrafts is a heterogeneous architecture based on the high rate backbone 13

17 network AFDX (Avionics Full Duplex Switched Ethernet), interconnected to low rate data peripheral buses. This paper aims to analyze a mixed AFDX/CAN architecture. STATE ESTIMATION OF UNKNOWN INPUT POLYNOMIAL SYSTEMS: A SUM OF SQUARES APPROACH Ali Chibani 1, Mohammed Chadli 2 and Naceur Benhadj Braiek 1 1 Advanced System Laboratory, Polytechnic School of Tunisia 2 University of Picardie Jules Verne, MIS (E.A 4290), Laboratoire de Modélisation, Information et systèmes 33 rue Saint-Leu, Amiens France [email protected], [email protected], [email protected] In this work, we address the problem of state estimating for nonlinear polynomial systems subject to unknown inputs. The proposed observer is developed to guarantee the asymptotic convergence of the estimation error using the Lyapunov method and sufficient design conditions are given in Sum Of Squares (SOS) formulation. ON MODELING AND CONTROL OF NONLINEAR DISCRETE-TIME SYSTEMS Wafa Belhedi and Hajer Bouzaouache Advanced Systems Laboratory, Tunisia polytechnic school [email protected] [email protected] In this work, we propose a new approach for model order reduction of polynomial discrete time nonlinear control systems. Based on the derived model a nonlinear optimal control law is constructed. A numerical example is considered to illustrate the validity of the proposed results. A DECENTRALIZED GUARANTEED COST CONTROL APPROACH OF INTERCONNECTED POWER SYSTEMS Hosni RTIBI, Salwa ELLOUMI and Naceur BENHADJ BRAIEK Advanced Systems Laboratory (L.S.A), Polytechnic School of Tunisia [email protected], [email protected], [email protected] In this paper, we investigate the problem of the decentralized robust guaranteed cost control (GCC) for robust stabilization of uncertain linear interconnected multimachine power systems. Sufficient conditions for the existence of guaranteed cost controllers and formulation in a minimization problem are given in terms of linear matrix inequality (LMI) which resolution yields the decentralized control gain matrices, to ensure the asymptotic stability of the linear uncertain large scale system. 14

18 Session plénière 2: Mohamed TLICH Chairman: Dr Wided SOUIDENE «CONCEVOIR ET INNOVER DANS LES SYSTEMES DE TRANSMISSION RADIO DE NOUVELLE GENERATION : DE LA THEORIE A LA PRATIQUE» Mohamed TLICH - Codintek L'objet de la session est le partage de l'expérience CodinTek et la découverte de l'innovation et la recherche autour des systèmes de transmission radio de nouvelle génération. Dans le volet partage de l'expérience CodinTek, sera montré le positionnement de la recherche et l'innovation au sein de l'entreprise. Dans le volet découverte de la recherche appliquée dans les systèmes de transmission radio, un détour sera fait autour d'axes d'innovation se relatant à plusieurs problématiques pratiques rencontrées par un concepteur de système de transmission, et qui touchent directement à son bon fonctionnement. Le long de ce volet, plusieurs démonstrations seront réalisées grâce au support fourni par la plateforme radio MRP-100 développée au sein de CodinTek. Session Orale 3 Chairman: Pr Mourad ZGHAL SPATIAL MODE CONTROL IN FIBERS FOR HIGH BIT RATE OPTICAL COMMUNICATIONS Abderrahmen Trichili, Amine Ben Salem and Mourad Zghal GreS Com, Engineering School of Communication of Tunis (Sup Com), [email protected] Mode division multiplexing is a burgeoning method in optical fiber communication where spatial modes are used as additional information channels carrying independent signals over a multimode optical fiber communication link. Mode Division Multiplexing has a great potential to increase the information capacity of optical fiber communication systems beyond fundamental Shannon information capacity limits. In this work, I will give an overview of my PhD work on Mode Division Multiplexing. 15

19 LASER A FIBRE DOPEE ERBIUM EMETTANT A 1.61 ΜM PAR LE CONTROLE DES PERTES LINEAIRES K.Guesmi 1, 2, Y. Meng 2, A. Niang 2, M. Salhi 2, F. Bahloul 1, R. Attia 1, F. Sanchez 2 1 SERCOM, Ecole Polytechnique de Tunisie 2 Laboratoire de Photonique d Angers E.A 4464, Université d Angers, 2 Bd Lavoisier, Angers Cedex, France [email protected] On se propose dans cette communication d étudier et caractériser un laser à fibre dopée erbium émettant à 1.61 μm à partir d un amplificateur à fibre dopée, bande C. La méthode, que nous avons explorée, est basée sur la gestion des pertes linéaires. Ainsi, le fonctionnement, continu et verrouillé en phase autour de 1.61 μm, est réalisé dans un laser à fibre en forme de huit. THE NONLINEAR EFFECT IN DISTRIBUTED OPTICAL SENSOR: RAMAN AND BRILLOUIN PROCESS Amira ZRELLI, Mohamed BOUYAHI and Tahar EZZEDINE SYSCOM Laboratory NATIONAL ENGINEERING SCHOOL OF TUNIS [email protected], [email protected] Optical fiber is an indispensable part of optic measurement sensor systems. Divers interactions between lights and fiber materials occur such as keer effect, linear and nonlinear process like Rayleigh, Raman and Brilllouin scattering. This paper treats the theory of distributed optical fiber sensing.we present a theoretical and simulation measurement of intensity in both Raman and Brillouin process. We highlight the difference between ROTDR (Raman Optical Time Division Refectomertry) and BOTDR (Brillouin Optical Time Division Refectomertry). NUMERICAL ANALYSIS OF ORBITAL ANGULAR MOMENTUM BASED NEXT GENERATION OPTICAL SDM COMMUNICATIONS SYSTEM Besma HAMMAMI 1, Habib FATHALLAH 2, 3 and Houria REZIG 1 1 Laboratoire Syscom, National School of Engineer Tunis, University de Manar, Tunis, Tunisia. 2 KACST-TIC in Radio Frequency and Photonics for the e-society, King Saud University, Saudi Arabia 3 Electrical Engineering Department, KSU, Riyadh, Saudi Arabia ([email protected]; [email protected]; [email protected]) In this paper, we make a theoretical and numerical analysis of a transmission chain based on an Orbital Angular Momentum (OAM) technique in the case of ideal channel. In order to generate an OAM beam, we define a theoretical OAM encoder (vortex generator) similar to the Spiral Phase Pattern (SPP) in practice, converts a flat Gaussian phase front into a helix. We then multiplex several OAM channels, all modulated with QPSK streams of data and then decode specific modes and measure the overall performance. 16

20 PERFORMANCE PREDICTION OF COUPLED CARBON NANOTUBE DIPOLE ANTENNAS USING THE INTEGRAL METHOD Aidi M, Aguili T Laboratoire de systèmes de communications, Ecole Nationale d'ingénieurs de Tunis enit.rnu.tn Fundamental properties of carbon nanotube antenna are firstly investigated to predict the antenna bundle response. The carbon nanotube effects are mathematically introduced via a quantum mechanical conductivity. This paper presents a new formulation based on integral equations system to study the coupled carbon nanotube antennas. The proposed integral equations system is numerically solved by the moments method. Each dipole antenna is excited at its center by a gap voltage source. The aim of the developed method is to investigate the antennas interaction effects for any coupling distance. ETUDE, GESTION ET CONTROLE DES RESEAUX ELECTRIQUES INTELLIGENTS Glaa R., Lakhoua M.N. et El Amraoui L. UR : Systèmes Mécatroniques et Signaux, ENICarthage, Université de Carthage, Tunisie ([email protected] ; [email protected] ; [email protected]) L objectif de cette communication est de présenter d une part les réseaux électriques intelligents appelé aussi Smart-Grid, et d étudier leurs caractéristiques, leurs avantages et les problématiques liés à leurs analyse. C est ainsi que nous présentons un état de l art sur quelques travaux de recherche dans le cadre de la modélisation, le contrôle, la supervision et la sécurité des réseaux électriques intelligents. Session Orale 4 Chairman: Pr Moez CHAFRA RELIABILITY BASED APPROACH FOR EVALUATING SHALLOW FOUNDATION STABILITY ON SPATIALLY VARIABLE SOIL UNDER COMBINED LOADING Amal Hentati 1, Nizar Bel Hadj Ali 1, Mbarka Selmi 2 and tarek Kormi 1 1 Systems and Applied Mechanics Laboratory (LASMAP), Polytechnic school of Tunisia 2 Civil Engineering Laboratory (L.G.C.) National Engineering School of Tunis, Tunisia ([email protected]) The seabed of the Gulf of Guinea and the Gulf of Mexico, composed essentially of very soft clay on large depths, have special geotechnical characteristics. Indeed, they are characterized by a low shear strength surface which increases linearly with the depth. This natural variability of the mechanical properties of these soils can lead to differential settlements with damaging consequences. The need of geotechnical engineers to a more objective and rigorous description of soil variations permitting to quantify these uncertainties and to incorporate 17

21 them into calculation methods, led to the development of reliability approaches including statistics and probability. In this context, the objective of this project is to provide guidance to a reliable design of mudmats that are solicited to a combined loading composed of a vertical force V, a horizontal force H and a moment M. SEMI-ACTIVE VIBRATION CONTROL OF GUYED MASTS Maher CHAKHARI 1, Mohamed Hechmi ELOUNI 1, Nizar BELHADJ ALI 1 and Nabil BEN KAHLA 2 1 Applied Mechanics and Systems Research Laboratory, Tunisia Polytechnic School 2 Civil Engineering Department, King Khaled University of Abha, Kingdom of Saudi Arabia [email protected] This paper investigates the semi-active control of cables structures in order to reduce the cost of energy needed for active control vibration under seismic excitation. This strategy is applied on a tall guyed mast using magneto-rheological (MR) dampers located at the lower end of cables. The phenomenological spencer s model is employed to simulate the nonlinear hysteresis behavior of the MR damper. The responses with and without control are studied under seismic excitations. The results of the proposed control strategy will be compared to those obtained by active control. MULTI-PHYSICAL REDUCED ORDER MODELING OF MEMS AND NEMS Sarah BEN SASSI, Fehmi NAJAR Applied Mechanics and Systems Research Laboratory Tunisia Polytechnic School, [email protected] In this paper we present a novel accurate semi-analytical approach to solve nonlinear integropartial-differential equation related to MEMS and NEMS based actuators. Dynamic responseis studied and compared with classical approaches in the literature. The proposed approach is based on a Reduced Order Model (ROM) of micro beams under the action of nonlinear electrostatic force. Using Euler-Bernoulli beam theory we derive the nonlinear equation that governs the motion of the micro beam accounting for relatively large deflections. The formulated model takes into account third order nonlinearities, mid plane stretching effects and nonlinear electrostatic force. We utilize two accurate Reduced Order Models based on Differential Quadratic Method (DQM) decomposition on one side, and a Galerkin decomposition on the other side to discretize the partial derivative with respect to space variable. Besides, we employ a Finite Difference Method (FDM) to discretize time derivative and obtain limit cycle solutions representing the orbits of motion. Moreover, the stability of captured orbits is analyzed using Floquet Theory. We show that using only one mode in Galerkin decomposition leads to the desired solution to converge. The new approach based on the combination between DQM, Galerkin and FDM provides accurate and precise results comparing with those provided in literature. 18

22 REALISATION D UNE ENCEINTE EN MATERIAUX COMPOSITES POUR UNE TETE DE DETECTION A GAZ DE GAMMA CAMERA Harbaoui Imen 1, Chafra Moez 1, Besbess Hatem 2 et Kadimallah Mohamed Amine 1 1 Laboratoire de Recherche structure et Mécanique Appliquée, Ecole Polytechnique de Tunisie 2 Laboratoire de biophysique et de technologie médicale, Faculté de médecine [email protected],[email protected], [email protected], [email protected] L innovation dans le domaine de l'imagerie nucléaire passe nécessairement par un changement radical dans le principe de détection. Le détecteur à gaz du type Micromégas peut constituer une option intéressante. En effet, La stabilité et la robustesse de ces détecteurs en plus des efforts développés pour la réduction du bruit de fond, ont permis l implémentation d applications dans des domaines très variés. Nous avons ainsi procédé à l étude de la réalisation de l enceinte de ce détecteur. Le choix du matériau de construction constitue une phase cruciale du projet du moment qu il doit réunir au moins deux qualités qui sont la robustesse et la transparence vis-à-vis des rayonnements gamma. Le matériau choisi est le composite. Nous avons justifié ce choix par la détermination des propriétés mécaniques de ces matériaux d une part et par l étude de son interaction avec les rayons gamma d autre part. On va donc concevoir un système de détection mobile rotatif en matériaux composites autour du patient pour une meilleure image scinti-graphique en étudiant l influence de vibration de la structure sur le transfert des électrons dans la matrice Micro mégas. La première étape était de faire une lecture et compréhension du fonctionnement des architectures existante pour le détecteur micro mégas dans les chaines de détection et les techniques de fabrication de telles structures complexes en matériaux composite. Tout ceci en tenant compte du cout de fabrication ainsi que l aménagement de l enceinte pour le câblage et surtout l installation de la matrice de détection Micro mégas. Nous avons également préparé l étude de l influence de l introduction de composantes nécessaires à la détection et à la transmission des signaux sur les propriétés déjà étudié et le choix de la structure conformément aux normes adoptées en imagerie nucléaire. La deuxième étape était d étudier la vibration harmonique des coques cylindrique en composites stratifiés anisotropes. Les équations régissantes sont des équations cinématiques, constitutives, et de mouvement. Les équations géométriquement linéaires de contrainte-déplacement de Reissner-Naghdi combinées avec la théorie de premier ordre en déformation de cisaillement dans laquelle le cisaillement transverse et les effets d'inertie rotationnelle sont pris en compte. Nous avons appliqué la méthode des éléments continus en premier lieu à une coque cylindrique, en reprenant le travail de M.C. NGUYAN, élaboré dans sa thèse de doctorat (Supmeca 2003), puis en second lieu, nous avons introduit la notion de composite, en considérant le cylindre stratifié. La troisième étape était de modéliser numériquement en éléments continu l interaction conduite cylindrique à parois élastiques et fluide incompressible et compressible en élément continue libre et sous chargement. 19

23 MODELISATION ELEMENTS FINIS D UN PROCESSUS DE PERÇAGE Glaa N 1, Mehdi K 2 et Ben Jaber M 3 1 URMSSDT, ESSTT 5 Avenue Taha Hussein P.B. 56 Bab Mnara 1008 Tunis, Tunisie 2 ENIT, Université de Tunis EL Manar (UTM), 1068 Tunis, Tunisie 3 IPEI El Manar, Université de Tunis EL Manar (UTM), PB. 24, 2092 Tunis, Tunisie ([email protected]) La modélisation par élément fini permet aux fabricants de réduire le coût des opérations d'usinage. Lors d'une opération de perçage, les puces leurs morphologies leurs tailles et leurs épaisseurs ont un grand effet sur le processus, quelle que soit la matière à usiner. Une approche 3D par élément fini d'un processus de perçage avec le programme Abaqus / Explicite est affichée. Nous avons étudié le mécanisme de la formation des copeaux, de son impact sur le processus et le choix des paramètres de coupe pour une meilleure fragmentation. Session Posters NEW DESIGN OF AS2SE3 PHOTONIC CRYSTAL FIBER FOR MID-INFRARED SUPERCONTINUUM GENERATION Amira BAILI, Rim CHERIF, Mourad ZGHAL University of Carthage, Engineering School of Communication of Tunis (Sup Com), GreS Com Laboratory, Ghazala Technopark, 2083 Ariana, Tunisia [email protected] We numerically investigate super continuum generation in new design of photonic crystal fiber pumped in the normal dispersion regime. A spectrum spanning more than two octaves is obtained in 2 mm propagation with a fem to second laser having 50 fs as a width with a relatively low energy of E=80 pj. SC generation extended into the mid in fared (IR) spectral region have potential usefulness in a variety of applications requiring a broad mid-ir spectrum such as fiber sensing, IR spectroscopy, fiber laser, optical tomography coherence. CONCEPTION D UNE PROCEDURE DE ROUTAGE DANS LES RESEAUX DE CAPTEURS SANS FIL POUR L OPTIMISATION DE LA CONSOMMATION D ENERGIE Rabiaa ELKAMEL 1, Adnen CHERIF 2 1 Innov com, Ecole Nationale d Ingénieur de Carthage, ENICarthage 2 Innov com, Faculté des sciences de Tunis, FST ([email protected], [email protected]) Les réseaux de capteurs sans fil(wsn) ont émergé comme une nouvelle solution de collecte d informations et ceci en se basant sur la collaboration des efforts d un grand nombre de nœuds de capteurs auto-organisés. Dans le but de prolonger la vie du système en économisant 20

24 l énergie dépensée par chaque capteur du réseau, nous nous intéressons dans nos travaux de recherches à la procédure de routage qui permet d optimiser la consommation énergétique. PROTOCOLE DE ROUTAGE POUR LE RESEAU DE CAPTEUR CORPOREL SANS FIL Mahjoub Chahira 1 et Sethom Kaouthar 2 1 Innov'com, ENICarthage, Rte de Raoued Km 3, Ariana Tunisie ([email protected], [email protected]) Le réseau de capteurs sans fils médicales est une application intéressante du réseau de capteurs sans fils qui assure la surveillance médicale à distance. Dans ce papier, on propose un protocole de routage permettant de minimiser la consommation d énergie, maximiser la durée de vie du réseau et assurer la fiabilité du système.notre proposition fait l usage d une communication directe pour les données urgentes ou sur demande et une communication multi sauts pour les données normales, la sélection du prochain nœud se base sur la qualité de lien et l énergie résiduelle dans chaque nœud. DETECTION DES DEFAUTS DES SYSTEMES DYNAMIQUES NON-LINEAIRES Meriam BADRI, Inès CHIHI et Afef ABDELKRIM Laboratoire de recherche Automatique (LA.RA), Ecole Nationale d Ingénieur de Tunis(ENIT), Rue Béchir Salem Belkhiria, Campus universitaire, BP 37, Le Bélvédère, 1002, Tunis ([email protected], [email protected], [email protected]) Dans ce travail, une étude sur la détection des défauts des systèmes dynamiques non-linéaires, est présentée. Les objectifs, visés par cette étude, sont de présenter des outils et méthodes pour le diagnostic (détection, localisation et identification des défauts) des processus caractérisés par plusieurs modes de fonctionnement. Les différentes approches présentées dans ce papier peuvent être utilisées pour le diagnostic des problèmes et des anomalies de fonctionnement des modèles développés pour la caractérisation de l écriture manuscrite. REPRESENTATION OF A SOLUTION FOR THE STOKES TRANSMISSION PROBLEM Imen BALLOUMI 1,2, Christian DAVEAU 2, ABDESSATAR Khelifi 1, Ali ABDENNADHER 1 1 LIM, Ecole polytechnique de Tunisie 2 UFR S.T., Laboratoire AGM, Département de Mathématiques, Université de Cergy-Pontoise, France In this work we consider the transmission problem of the stokes system in two and three dimension. Our main objective is to represent a solution to the stokes transmission problem with Dirichlet boundary condition, based on layer potential techniques and freedholm alternative. 21

25 A STUDY OF GRUNWALD AND LETNIKOV S FORMULAS FOR FRACTIONAL DERIVATIVES Wafa Hamrouni 1, Ali Abdennadher 2 1 LIM-EPT, University of Carthage, BP 743, 2078, Tunisia 2 LIM-INSAT-EPT, University of Carthage, B.P Tunis Cedex, Tunisia [email protected]; [email protected] The names of Grunwald and Letnikov are associated with a set of formulas, consisting of discrete convolutions of mesh h, multiplied by h α. When h tends to zero, the result tends to a Marchaud s derivative of the order of α of the function to which the convolution is applied. Hence, Grunwald-Letnikov s formulas compute approximations to fractional derivatives inverting those fractional integrals of the order of α which commute with translations. The weights w α k of such discrete convolutions form well defined sequences, proportional to k α 1 near infinity, and all moments of integer order r < α are equal to zero, provided α is not an integer. We present a continuous variant of Grunwald-Letnikov s formulas, with integrals instead of series. It involves a convolution kernel which mimics the above mentioned features of Grunwald-Letnikov s weights. A first application consists in computing the flux of particles spreading according to a random walk, consisting of successive jumps, independent of each other but possibly depending on the location of the point they start from, as when boundary conditions are applied, e.g. An important physical issue is the space fractional variant of Fick s law for enhanced diffusion in disordered media. RECONFIGURABLE SMART ROBOTS FOR ADAPTIVE ASSISTED DRIVING OF VEHICLES Emna Guerfala 1, Mohamed KHALGUI 1, Anis Koubaa 2 1 Laboratoire Informatique pour les Systèmes Industriels, LISI Lab, INSAT, University of Carthage, 2 Prince Sultan University, Saudi Arabia/CISTER Research Unit, Portugal This thesis focuses on vehicle platooning where a lead vehicle with a professional driver will take responsibility for a platoon (platoon: vehicles are placed one behind the other and behaving like a virtual train). Following vehicles will enter an autonomous control mode that allows the driver of the following vehicle to do other things that would normally be prohibited for reasons of safety (e.g. reading a book, sleeping ). The main issue is the control performance. Each vehicle should automatically keep the same inter-vehicle distance (longitudinal control) as well as the same trajectory travelled by the lead vehicle (lateral control) depending on the environment information. Another issue is the platoon stability that may be disturbed by many factors (fog, rain, driving at night, a sudden vehicle malfunction) therefore the adopted system must be reliable and safe. 22

26 PROBABILISTIC DAG TASK SCHEDULING ON MULTIPROCESSOR RECONFIGURABLE EMBEDDED SYSTEM WITH ENERGY CONSTRAINTS Wiem Housseyni 1, Mohamed Khalgui 1, Maryline Chetto 2 and Olfa Mosbahi 1 1 National Institute of Applied Sciences and Technology, Institute-University of Carthago, Tunisia 2 University of Nantes IRCCyN UMR CNRS Nantes, France ([email protected]) Due to the current trends for higher performance there is nowadays a strong push towards reconfigurable systems which combine software flexibility with high performance of hardware. Although a lot of work has been done to manage dynamic reconfiguration on monoprocessor real time systems, less work has been done on their multiprocessor counterparts. In this paper, we address the problem of scheduling hard real time tasks on a multiprocessor embedded system with energy constraints which can be dynamically reconfigurable. In such reconfiguration scenario, constraints can be violated. First, we propose a new task model where a Probabilistic Directed Acyclic Graph (DAGP) is attached to each task. Then, we propose three possible solutions for runtime reconfiguration based on the internal architecture of the so-called DAGP tasks. Our work is supported by simulation results. They bring to light the effectiveness of these solutions measured in terms of deadline miss ratio. STABILITY DOMAIN ESTIMATION TECHNIQUES FOR NONLINEAR DISCRETE-TIME SYSTEMS Bedoui. S, Bacha. A and Benhadj Braiek. N Advanced system laboratory, Polytechnic School of Tunisia, BP 743, 2078 This paper presents the problem of stability domain determination and provides a new improvement of an existing algebraic technique for estimating the domain of asymptotic stability of nonlinear discrete systems. PATHS GENERATION AND CONTROL OF HUMANOID ROBOTS Naceur Chafroud 1, Nahla Khraief 2 and Naceur Benhadj Braiek 1 1 Advanced System Laboratory-LSA, Polytechnic School of Tunisia, University of Carthage. 2 National Engineering School of Tunis, University of El Manar. (naceurchafroud, khraiefnahla and [email protected]) The research presented in this paper discusses the development of a humanoid biped robot from the planning stage to biped walking focusing on low level control. A novel Strategy of walking pattern generation and control of humanoid robots provided by a new technique that we named "the Liquid Level Model (LLM)" is discussed. Therefore, based on "LLM" the dynamics of a biped robot is modeled as a running liquid level on a tank which gives a convenient representation to treat ZMP (Zero-Moment-Point) and CoM (Center of Mass). In fact, a biped walking pattern generator is investigated. It is based on a combination between a simplified model, a preview control, and a fuzzy logic control. Simulation results and a 3D 23

27 simulation show that the proposed technology and all strategy and theory of control used guarantee not only robust stability but also a great performance. MODELING AND NONLINEAR CONTROL OF A MAGNETIC LEVITATION SYSTEM Marwa Rezgui, Hela Belkhiria Aayadi and Naceur Benhadj Braiek Laboratoire des systèmes Avancées (LSA), Ecole Polytechnique de Tunisie, ([email protected], [email protected], [email protected]) This work deals with the local stabilization of a magnetic levitation system. The system in view is highly nonlinear, inherently unstable and contains significant uncertainty of the coil characteristics caused by the temperature variation. In this paper we propose a nonlinear polynomial model for the magnetic levitation system. This model is then used to design a nonlinear local stabilizing control law which maximizes the stability domain. COMMANDE OPTIMALE DECENTRALISEE ROBUSTE D UN SYSTEME ELECTRIQUE MULTI-MACHINES Ahmed EL FEYDI, Salwa ELLOUMI et Naceur BENHADJ BRAIEK Laboratoire des systèmes avancés (LSA), Ecole polytechnique de Tunisie [email protected], [email protected], [email protected] Ce travail concerne la synthèse d une approche de commande décentralisée robuste des systèmes linéaires interconnectés incertains. La loi de commande décentralisée doit assurer la stabilité du système global vis-à-vis des incertitudes paramétriques, lorsque des conditions suffisantes de stabilité sont vérifiées. La mise en oeuvre de l approche de commande proposée par simulation numérique sur un système multi-machines de production-transport d énergie électrique a montré l efficacité de cette technique quant à la stabilisation du système et l amortissement de son régime transitoire. AN EXAMPLE OF NONLINEAR DYNAMIC INVERSION Sabrine JEBRI and Khaled NOURI Advanced System Laboratory-LSA, Polytechnic School of Tunisia, University of Carthage. [email protected] Dynamic inversion or feedback linearization is a popular control design method well suited for minimum-phase nonlinear systems. It addresses the problem of controller design to transform a nonlinear system to a linear one by feedback. To overcome some limitations imposed by the requirements of exact linearization, approximate linearization has emerged as a viable alternative, where the problem is relaxed to enlarge the class of admissible controllers. In this paper; we present a dynamic inversion methodology for a nonlinear system example. 24

28 IDENTIFICATION DU MODELE HAMMERSTEIN EN PRESENCE D UNE SATURATION Zeineb RAYOUF, Chekib GHORBEL et Naceur BENHADJ BRAIEK Laboratoire des Systèmes Avancés LSA- Ecole Polytechnique de Tunisie, [email protected], [email protected] et [email protected] Dans ce travail, une nouvelle technique d identification paramétrique a été développée pour le cas de systèmes non linéaires de type Hammerstein. Ce dernier est composé d une non linéarité en saturation à amplitudes différentes en série avec une fonction de transfert linéaire. Un exemple de simulation est mis en exergue pour illustrer l efficacité de la technique proposée. VERS LA CONCEPTION ETLE DEVELOPPEMENT D UN SYSTEME DE GESTION DE BIG GEODATA DANS LES ENVIRONNEMENTS DE CLOUD COMPUTING Sarra Hasni Ecole Polytechnique de Tunisie LTSIRS, Ecole Nationale d Ingénieurs de Tunis, 1002 [email protected] Les entreprises sont inondées par un taux énorme de données. Les systèmes d information qui gèrent ces données, devenant de plus en plus volumineuses, ne cessent plus d évoluer. Ces mutations successives attirent continuellement des nouveaux prospecteurs de données et les incitent à les étudier d avantage. Ces derniers sont pleinement occupés, de nos jours, par l étude d un phénomène émergeant qui a un impact considérable dans divers secteurs d activité. Nous parlons donc du «Big data». Dans le cadre du notre projet, nous nous concentrons à l étude du «Big GeoData» en tant qu un résultat de convergence du Big Data et du domaine de l information géographique. Nous visons à développer un système de gestion de Big GeoData dans les environnements de Cloud Computing. Ainsi, le management efficace de Big GeoData, la minimisation du temps de leur traitement et la génération continue des nouvelles connaissances faciles à interpréter représentent les finalités du notre projet. APPROCHE DFMM : MODELISATION, FORMALISATION ET SELECTION DU MATERIAU ET DES PROCEDES DE FABRICATION Mohamed SAIDI, Achraf SKANDER, Slim KADDECHE Laboratoire Matériaux, Mesures et Applications (MMA), INSAT, Université de Carthage ([email protected]) L ingénierie simultanée et la conception intégrée permettent de mieux concevoir le produit en s intéressant à toutes les phases de son cycle de vie. Ainsi, en s intéressant à la fabrication, l approche DFMM (design for material and manufacturing) prend en compte les contraintes de fabrication dès la phase de conception et permet de choisir en conséquence le matériau et les procèdes de fabrication les plus adéquats. 25

29 SYSTEME DE COMMUNICATION COOPERATIF ULTRA-LARGE BANDE AVEC RELAYAGE AF Sondes Gasmi, Haithem Ben Chikha et Rabah Attia SERCOM, Ecole Polytechnique de Tunisie, Tunisie Les techniques de communication coopérative ont connu récemment un large intérêt dans la communauté de recherche vu les grands avantages qu elles pourraient apporter en termes de performance et de débit. Le principe de base des communications est fondé sur l utilisation d un ou des plusieurs relais qui coopèrent afin de fournir une meilleure qualité de signal, entre la source (émetteur) et la destination (récepteur). MODELISATION DE LA PROPAGATION DANS L'AMPLIFICATEUR A FIBRE DOPEE A L ERBIUM F. Ben Brahem 1, 2, F. Bahloul 1, M. Salhi 2, F. Sanchez 2 et R. Attia 1 1 Laboratoire SERCOM, Ecole Polytechnique Tunisie 2 Laboratoire de Photonique d Angers E.A 4464, Université d Angers, 2 Bd Lavoisier, Angers Cedex, France [email protected] L'objectif de ce travail est de simuler une solution numérique d'un modèle théorique d'un amplificateur à fibre dopée à l'erbium. Ce modèle met en évidence plusieurs caractéristiques important de ce type d amplificateur. EFFETS DES PAROIS SUR LE PROCESSUS DE SEPARATION DES CONSTITUANTS DUN M E LANGE BINAIRE EN MILIEU POREUX SOUS L INFLUENCE DES VIBRATIONS VERTICALES. Y. Annabi 1, A. Abdennadher 1, A. Mojtabi 2 1 LIM, Ecole Polytechnique de Tunisie 2Université Paul Sabatier, Toulouse Cedex, France [email protected]; [email protected]; [email protected] L objectif de ce travail est d étudier l influence des caractéristiques thermiques et géométriques des parois sur la séparation des éléments d un mélange binaire en milieu poreux. Les deux plaques délimitant la couche poreuse sont minces, de même épaisseur, en vibration et soumises à un flux de chaleur constant et uniforme. Nous présentons un modèle mathématique utilisé pour la description des écoulements, des transferts de chaleurs et de masse en milieux poreux ainsi que la description du mouvement vibratoire. 26

30 ELPA: A NEW KEY AGREEMENT SCHEME BASED ON LINEAR PREDICTION OF ECG FEATURES FOR WBAN Emna Kalai Zaghouani 1, 2, Abderrazak Jemai 3, Adel Benzina 1, Rabah Attia 1 1 SERCOM, TUNISIA Polytechnic School 2 TELNET Innovation Labs, Telnet Holding Tunis, Tunisia 3 Laboratoire LIP2, Faculté des Sciences de Tunis, 1060 Belvédère Tunis, Tunisie [email protected], [email protected], [email protected], [email protected] In this work, we propose a novel key agreement scheme called ECG Linear Prediction key Agreement (ELPA) with the properties of plug-n-play and transparency to secure inter-sensor communication in Wireless Body Area Networks (WBANs). ELPA is a new physiological based key agreement scheme allowing two nodes belonging to the same WBAN to agree on a symmetric key from ECG signal features. We introduce the use of Linear Prediction Coding (LPC), which has always been used for a compression purpose. In fact we prove that concealing the symmetric key using this tool ensures high security level while keeping. GENERATION D'IMPULSIONS RECTANGULAIRES PAR UN LASER A FIBRE EN HUIT Abdessalem Mhamdi 1, Faouzi Bahloul 1, Mourad Maboub 2 et Rabah Attia 1 1 SERCOM, Ecole Polytechnique de Tunisie 2 Faculté des Science, Département de Physique, Université Abou-Bekr Belkaïd de Tlemcen, BP.119 Tlemcen, Algérie [email protected] Depuis quelques années, les systèmes lasers fibrés deviennent la technologie de choix pour de nombreuses applications. Ainsi la maitrise des paramètres linéaires et non linéaires dans les lasers à fibre en huit (LF8) des deux cavités joue un rôle primordial dans la génération d impulsions rectangulaire, stable et de fortes puissances. Dans ce travail, nous proposons un laser à fibre en huit à base de fibre microstructurée air silice FMAS. Nous étudions le mécanisme responsable à la génération d'un tel profil aplati à forte puissance en sortie. LA 5G, TECHNOLOGIES DEPLOYEES ET LIMITES Nada CHAMMAM, Haithem BEN CHIKHA, Slim CHAOUI, et Rabah ATTIA Laboratoire SERCOM, Ecole Polytechnique de Tunisie, La Marsa, Tunis [email protected], [email protected], [email protected], [email protected] La 5G se présente en réponse à la demande croissante des applications haut-débit par les utilisateurs mobiles. Différentes technologies sont en cours de développement telles que Massive MIMO et MIMO-Relaying, que les chercheurs essaient de combiner avec les technologies classiques déployées avec les 3G et 4G. Mais les recherches jusqu à présent ont montré certaines limites. 27

31 ETUDE DE CODAGE COOPÉRATIF LDPCAPPLIQUÉ AU PROTOCOLE DE RELAYAGE AF (AMPLIFYAND FORWARD) Yosra Zemzemi, Haithem Ben chikha, Rabeh Attia et Slim Shaoui Laboratoire SERCOM, Ecole Polytechnique de Tunisie Récemment les codes LDPC (low- density parity-check) ont attiré l attention des chercheurs puisqu ils sont des bons codes correcteurs d erreurs comme les turbo-codes. Plusieurs auteurs ont travaillé sur le protocole de relayage AF (Amplify and Forward) avec les codes Turbo mais pas avec les codes LDPC. Dans ce papier, on propose un schéma pour la technique de relayage AF avec l encodeur LDPC et évalue ses performances en termes de BER (Bit Error Rate). PARTIAL DISCHARGE ACTIVITY IN MEDIUM VOLTAGE CABLE Emna KHOUILDI 1, Nejib CHTOUROU 2, and Rabah ATTIA 1 1 SERCOM, EPT, B.P.743, 2078 LA MARSA 2 Centre Essais et Mesures, STEG, Rue BEL Hassen Ben Chaaben 1005 El Omran The purpose of this paper is to investigate the PD activity within MV cables. The PD phenomenon in the insulation was studied by simulations based on two circuits: the first is the well-known three capacitor model for PD and the second is a development version of this first model. The aim of the development model is to understand the effect of charges accumulation in the insulation void. In this work, the simulation of PD activity due to presence of a small cylindrical void inside the insulation of the MV cable is studied with the MATLAB SIMULINK platform. DETECTION DE MOTS REFERENCES EN PAROLE CONTINUE AU VU DE L INDEXATION DE DOCUMENTS MULTIMEDIA Hinda Dridi et Kais Ouni UR: SMS, ENIC, Charguia 2, 2035 Tunis-Carthage, Tunisie ([email protected]; [email protected]) A cause de développement des technologies numériques; on assiste aujourd'hui à une quantité énorme d informations. L accès à cette dernière ne s effectue pas sans problème, et les besoins en outils d indexation se font cruellement ressentir. On s'intéresse dans notre travail à l'étude d intérêt et la faisabilité de la détection de mots clés dans un flux de parole continu pour les applications d indexation de documents multimédia. Pour améliorer les techniques d accès aux sources de données multimédia. 28

32 SYNTHESE D OBSERVATEUR D ORDRE PLEIN POUR LES SYSTEMES LINEAIRES INVARIANT A ENTREES INCONNUES Houimli R, Besbes M et Maherzi E Unité Systèmes Mécatroniques et Signaux, Ecole Nationale des Ingénieurs à Carthage ([email protected]; [email protected]; [email protected]) L objectif de cet article est la synthèse d observateurs d état d ordre plein des systèmes linéaires et invariant dans le temps LTI à entrées inconnues. METHODOLOGIE SYSTEMIQUE APPLIQUEE A UN SYSTEME MECATRONIQUE Ben Salem J., Lakhoua M.N., El Amraoui L. U.R: Systèmes Mécatroniques et Signaux, ENICarthage, Université de Carthage, Tunisie [email protected]; [email protected]; [email protected] Après une présentation générale des systèmes mécatroniques, nous présentons le contexte général de nos recherches bibliographiques dans le domaine de la modélisation des systèmes mécatroniques. C est ainsi que nous présentons d une part une revue de quelques méthodes et outils de modélisation des systèmes mécatroniques et d autre part une modélisation par SADT et Bond Graph d un système d'antiblocage des roues d une voiture. UNE TECHNIQUE DE TATOUAGE AUDIO NUMERIQUE DANS LE DOMAINE FREQUENTIEL BASEE SUR LE CODAGE BCH Sabrine Akremi, Maha Bellaj et Kais Ouni U.R : Systèmes Mécatroniques et Signaux(SMS), ENICarthage, Université de Carthage, Tunisie ([email protected]) Le tatouage audionumérique consiste à protéger un document numérique de type audio en intégrant une information inaudible dans le signal audio initial. Dans cet article nous allons proposer un schéma de tatouage audio numérique opérant sur les bits les moins significatifs (LSB) dans le domaine fréquentiel utilisant la transformée en cosinus discrète ou TCD et appliquant le code correcteur d erreur BCH à la marque. La technique proposée exploite l avantage d enfuir la marque dans les LSB pour garantir l in audibilité. Les positions d insertions sont déterminées en utilisant le modèle psycho-acoustique MPEG1. Nous avons aussi dupliqué les bits de la marque pour favoriser la résistance de la technique contre les attaques tout en assurant une capacité d insertion importante sans affecter la propriété d in audibilité. 29

33 SUR LA CONCEPTION OPTIMALE DES STRUCTURES MECATRONIQUES Wissem BEKIR, Lilia EL AMRAOUI U.R : Systèmes Mécatroniques et Signaux(SMS), ENICarthage, Université de Carthage, Tunisie ([email protected], [email protected]) L objectif de cet article est de présenter les travaux de recherche qui entrent dans le cadre de la préparation d une thèse de doctorat en génie électrique. Ces travaux portent essentiellement sur l élaboration d un simulateur de conception optimale pour les systèmes mécatroniques. A NOVEL MULTI SCALE APPROACH BASED ON ANEW RULE OFACTIVE MODES SELECTION FOR THE ACCURACY OF MODAL INTEGRAL OPERATORS Mohamed Hajji and Taoufik Aguili Laboratoire Sys Com, ENIT, Université Tunis El Manar ([email protected]) In this paper, we present a new Multi Scale (MS) approach based on integral modal operators Γ and Z s. This approach introduces a new criterion for identifying active modes because their suitable choice contributes in the MS accuracy. This allows the improvement of numerical results precision and so a considerable reduction in calculation errors compared to other methods. The Multi Scale combined to the Generalized Equivalent Circuit (MS-GEC) consists on dividing a complex structure into several scale levels enclosed by appropriate boundary conditions and each level is studied alone. Each scale is excited by N active modes that constitute modal sources to determinate its input impedance matrix that is converted thereafter into surface impedance operator. While the choice of active modes seems very interesting, this approach provides their exact identification compared to previous criteria of their choice based mainly on cut off frequency. As numerical results, we show the interst of the new criterion compared to previous one. SYSTEME INTELLIGENT DE SURVEILLANCE ENVIRONNEMENTALE A BASE DE RESEAU DES CAPTEURS SANS FIL Walid FANTAZI et Ezzedine TAHAR Laboratoire SysCom, Ecole national d ingénieurs de Tunis(ENIT), université El Manar de Tunis (Fantazi [email protected], [email protected]) La présente recherche porte sur l implémentation d un système intelligent à base des capteurs communicants sans fil autonomes avec la fonction de mesurer des données environnementaux (ensoleillement, pluviométrie, température, vitesse de vent, humidité) et la mise en place d une base de données spatio-temporelle communicant avec une application web mapping pour une surveillance en temps réel, des paramètres de détermination d indices de sécheresse, en effet, l interface développée permet de : visualiser des statistiques et des 30

34 représentations graphiques relatives à chaque paramètres. Ainsi de manipuler, d exporter les données et de commander le fonctionnement des capteurs en temps réel. DEVELOPPEMENT D UN SYSTEME DE RECONNAISSANCE D ACTIONS DES PERSONNES AGEES DANS DES SCENES REELLES Chaabani Jalel et Etkhlifa Nawres Laboratoire de recherche de biophysique et Technologies médicales Institut Supérieur des Technologies Médicales de Tunis ([email protected], [email protected]) Cet article présente une vue d ensemble de nos activités de recherche qui consistent à développer un système automatique et interactif de détection et de reconnaissance des actions des personnes âgées dans des scènes réelles (caméra mobile, fond dynamique, bruit,...). PROJET DE THÈSE: BIOMECHANICAL EFFECT OF FOOTWEAR ON GAIT PATTERNS AND MUSCULOSKELETAL SYSTEM Hela RHOUMA, Taysir REZGUI et Moez CHAFRA LASMAP Ecole Polytechnique de Tunisie La Marsa ([email protected]) Les activités quotidiennes, tels que la marche ou la monté/descente des escaliers sont de plus en plus altérées par l expansion du marché de chaussures (plates, compensées ou à talons, orthopédiques). Cette altération se manifeste essentiellement par la modification de la posture et des activités musculaires afin d assurer une stabilité et un équilibre de mouvement. Ces modifications ont, à long terme, un impact nocive et cause des troubles musculo-squelettiques chroniques. Ce projet de thèse, débuté en Janvier 2015, a pour principal objectif l étude biomécanique des membres inférieurs et du tronc lors de la marche altérée par le port des chaussures, considérées comme nocives, et prévention des éventuels troubles musculosquelettiques (TMS). Il vise à développer un outil d aide à la décision thérapeutique se basant sur la capture de mouvement et la modélisation musculo- squelettique du corps humain. CRAMER-RAO LOWER BOUND FOR NDA CARRIER SYNCHRONIZATION OVER FLAT RAYLEIGH FADING CHANNEL Monia Salem 1, Slaheddine Jarboui 2 and Ammar Bouallègue 1 1 Laboratory of Communication Systems, National School of Engineers of Tunis, Tunisia 2 College of Computer Science, King Khalid University, Abha, Saudi Arabia ([email protected], [email protected], [email protected]) In this paper, reliable analytical method to derive true Cramer-Rao lower bound (CRLB) for non-data-aided (NDA) joint carrier phase and carrier frequency offset estimation is introduced. We consider a transmission over a flat Rayleigh fading channel (FRFC) with nonconstant fading gain during the observation window. Analytical expressions of Fisher information matrix (FIM) entries are derived from general linear modulated signals over FRFC corrupted with complex additive white Gaussian noise (CAWGN). The noise power 31

35 and the signal amplitude are assumed completely unknown. Simulation results for joint carrier phase and carrier frequency offset estimation are drawn for different square QAM orders and are compared to the bounds derived for independent phase and frequency estimations. APPLICATION DE L INTELLIGENCE ARTIFICIELLE POUR LA CONCEPTION D UN TRAIN D ENGRENAGES Fajraoui Ayoub 1, Mehdi Kamel² 1 Unité de recherche de Mécanique des Structures, des Solides et de Développement Technologique ESSTT, Université de Tunis (UT) 2 Institut Préparatoire aux études d Ingénieur El Manar [email protected]; [email protected] Dans la présente communication s inscrivant dans la perspective de l intelligence artificielle (IA), certains chercheurs en ingénierie mécanique ont développé des systèmes destinés à la conception des boitiers de transmission par engrenages, mais presque pas de méthodes de calcul existent pour une synthèse généralisée. La compatibilité du système ainsi que la prise de décisions ont été garanties par des relations et des contraintes définies entre les attributs des objets ainsi que par des règles de conception gérées par un moteur d inférence. Ces systèmes visent l automatisation de la conception préliminaire des boîtes de transmission par engrenages et / ou l optimisation des dimensions de leurs composants (arbres de transmission, roulements, roues dentées, ). Dans cet article, nous exposons des méthodes d application de l IA pour la détermination automatique des trains d engrenages à denture hélicoïdales par un programme en cours de développement. COMPORTEMENT DYNAMIQUE D UN MODELE PREDATEUR-PROIE DE TYPE LESLIE-GOWER MODIFIE Walid Abid 1, R. Yafia 2, M.A. Alaoui 3, H. Bouhafa 1 et A. Abichou 1 1 LIM, Ecole polytechnique de Tunisie 2 Université Ibn Zohr, Faculté Polydisciplinaire de Ouarzazate,Morocco. 3 Laboratoire de Mathématiques Appliquées du Havre, France. [email protected] Dans ce travail, nous étudions, théoriquement et numériquement la dynamique non linéaire de quelques systèmes modélisant des problèmes de proie prédateur et incorporant essentiellement des termes de Holling type II et de Beddington-DeAngelis ainsi que des termes de diffusion (EDP). Nous étudions le bornage, la positivité et la stabilité des solutions de modèles des équations aux dérivées partielles de type réaction diffusion, puis nous montons la persistance, la permanence, l extinction d une ou plusieurs espèces, ainsi que l existence et l unicité de solutions périodiques. De même, nous discutons les bifurcations locales (ou globales) survenant dans ces modèles. En outre, par l utilisation d outils numériques performants de la dynamique non linéaire nous analysons les distributions spatiales, la formation du pattern, l existence du chaos et l effet des coefficients de diffusion, dans des modèles tridimensionnels similaires. 32

36 ANALYTICAL AND NUMERICAL STABILITY OF SORET-DRIVEN CONVECTION IN A HORIZONTAL POROUS LAYER UNDER THE INFLUENCE OF VERTICAL VIBRATIONS Soumaya Ouadhani 1, 2, Ali Abdennadher 1 and Abdelkader Mojtabi 2 1 LIM, Ecole Polytechnique de Tunisie 2 IMFT, UMR CNRS/INP/UPS N 5502, UFR MIG, Université Paul Sabatier, 118 route de Narbonne, 31062, Toulouse cedex, France We present an analytical and numerical stability analysis of Soret-driven convection in a porous cavity saturated by a binary fluid. Both the mechanical equilibrium solution and the mono-cellular flow obtained for particular ranges of the physical parameters of the problem are considered. The porous cavity, bounded by horizontal infinite or finite boundaries, the two horizontal plates is submitted to constant uniform heat flux while no mass flux is imposed. We study the influence of vertical high-frequency and small-amplitude vibrations on the separation of a binary mixture saturating a shallow horizontal porous layer. VERS LE DEVELOPPEMENT D ANALYSE HYBRIDE DE TRAVERSABILITE DE TERRAIN Sahbi MAZLOUT Unité de recherche VRIT, Académie Militaire, Fondouk Djédid, Tunisie [email protected] La traversable du terrain dans le domaine de la robotique mobile est une problématique complexe notamment dans le cas de terrains non structurés. Dans ce travail, il s agit de présenter les différentes méthodologies de reconstruction d un modèle du terrain qui soit favorable à la navigation autonome des robots mobiles muni de capteurs de perception de l environnement externe. Cet article présente aussi une ébauche de notre travail dans lequel nous nous investissons sur la conception d une approche basée sur une solution hybride. STABILIZING CONTROL DESIGN FOR A TRANSFORMED 2 X2 FIRST-ORDER PDES I ROTARY DRILLING SYSTEMS Samir Toumi LIM, Ecole Polytechnique de Tunisie In this work, we study the stabilizing problem of a second-order hyperbolic linear PDE which describes the torsional dynamics in oil well drilling system. The dynamics are transformed into 2X2 first-order PDEs. The boundary stabilizing control law is constructed such that the transformed system tracks a designed stable target system. The back stepping techniques combined with kernel equations and the Lyapunov theory are used to prove the exponential stability of the new system variables, consequently, the vibration suppression due to the torsional dynamics. 33

37 Jeudi 23 Avril Session plénière 3: Noureddine BOUDRIGUA Chairman: Pr Mahel MOSBEH «MATHEMATICAL CHALLENGES IN TELECOMMUNICATIONS RESEARCH» Professor Noureddine Boudriga is an internationally known scientist/academic. He received his Doctorate in algebraic topology from the University of Paris (France) and his Doctorate of Science in computer science from the University of Tunis (Tunisia). He is currently a professor of telecommunications at the University of Carthage, Tunisia, and the director of the Communication Networks and Security Research Laboratory (CNAS). Dr. Boudriga is the recipient of the Tunisian Presidential Award in Science and Research (2004). He has served as the general director and founder of the Tunisian National Digital Certification Agency. He has been very actively involved in research and has authored or coauthored many books, book chapters, and papers including more than 400 published journal and conference papers. Prof. Boudriga has been active in various research activities including Wireless networking, Wireless sensor networks, Optical network engineering, Network security, and system Modeling and simulation. Abstract: The need for mathematical models and control on any telecommunication network is obvious. However, the unprecedented changes experienced by the telecommunication industry made the traditional mathematical tools/techniques inefficient. To mention a few, one can say that the large scale networks, big data processing, and cloud computing have highlighted the need to build new theories to control the quality of representation and decision for these new areas. This talk discusses the role of mathematics to address the problems facing the development of new concepts and services in networking and security. Specific challenges in large scale, high speed, and large data volume networks will be highlighted to point out the new needs. In particular, this talk attempts to point out the limitations of the current mathematical solutions, present some of the ongoing research activities to provide acceptable models, and discuss some of the open problems and challenges in network mathematical control. Session plénière 3: Moncef HARRABI Chairman: Pr Mahel MOSBEH «SITUATION ET PERSPECTIVE DE DEVELOPPEMENT DES ENERGIES RENOUVELABLE A LA STEG» Moncef HARRABI- Directeur chargé du Projet Energie Renouvelable et Efficacité Energétique 34

38 Session Orale 5 Chairman: Dr. Salwa ELLOUMI A COMPARATIVE STUDY ON MODEL ORDER REDUCTION OF NONLINEAR SYSTEM Asma Rouz, HajerBouzaouche and Naceur BenHadhj Braïek Laboratoire des Systèmes Avancés à l Ecole Polytechnique de Tunisie [email protected], [email protected], [email protected] The expansion of physical models in the industry generates a complex large-scale mathematical. The goal of model order reduction techniques is to construct a reduced system preserving the input-output behavior of the original systems at a significantly reduced numerical cost. In this work, we present a review on model order reduction of nonlinear system: we first present PWP method then we introduce our nonlinear projection method. We finish by presenting simulation for a network line transmission. CONTROL OF VSC-HVDCTRANSMISSION SYSTEMSTHROUGH OPTIMAL CONTROL METHOD Mohamed Ayari 1, Mohamed Moez Belhaouane 1, 2 and Naceur Benhadj Braiek 1 1 Laboratoire des systèmes Avancés (LSA), Ecole Polytechnique de Tunisie, 2 Laboratoire d'electrotechnique et d'electronique de Puissance de Lille (L2EP), Ecole Centrale de Lille, BP Villeneuve d Ascq Cedex - France. [email protected], [email protected], [email protected] This work presents an optimal control design of Voltage Source Converter (VSC) based on High Voltage Direct Current (HVDC). The proposed optimal controller is able to ensure a better control performance and robustness compared to the conventional cascade control configuration based on PI/PID controllers. The proposed control scheme has been evaluated by simulation study using Simulink/Matlab software based on an average model of the studied power system. ONLINE OPTIMIZATION OF THE PERFORMANCE OF A POWER TRAIN SYSTEM FOR A PARALLEL HYBRID VEHICLE Mourad Ali Salah et Naceur Benhadj Braiek Advanced Systems Laboratory, Tunisia Polytechnic School ([email protected] et [email protected]) In this work, a technique of instantaneous optimization of the overall energy efficiency of hybrid vehicles involving a combustion engine and an electrical machine/battery system is proposed. This technique provides a strategy of the energy management between the combustion engine and the electrical machine which operates in both modes as a generator producing electrical energy which is stored in the battery or as an electrical motor powered by 35

39 the battery. An instantaneous criterion is formulated for each mode charge/ discharge of the battery, and an on line algorithm is then proposed to optimize such criterion. The simulation results show the high improvement of the overall energy efficiency provided by the proposed technique relatively to that of a classical combustion engine. ON MINIMUM OPTIMAL CONTROL OF DYNAMICAL SYSTEMS Salim Bichiou, Mohamed Karim Bouafoura and Naceur Benhadj Braiek Laboratory of advanced systems, Tunisia Polytechnic School, ([email protected]) In this work, we investigate the problem of minimum time control and give an overview of the state of the art. We describe also the limitation encountered when trying to solve a minimum time control problem. BROS: A NEW ROBOTIC PLATFORM FOR THE TREATMENT OF SUPRACONDYLAR HUMERUS FRACTURE Mohamed Oussama Ben Salem 1, 2, Olfa Mosbahi 2, Mohamed Khalgui 2 and Georg Frey 3 1 Tunisia Polytechnic School, University of Carthage, Tunis, Tunisia 2 LISI Laboratory, INSAT, University of Carthage, Tunis, Tunisia 3 Chair of Automation and Energy Systems, Saarland University, Saarbr ucken, Germany [email protected], {olfamosbahi, khalgui.mohamed}@gmail.com, [email protected] The supra condylar humerus fracture is one of the most common and challenging injury faced by pediatric orthopedic surgeons. Its treatment may lead to many neurological and vascular complications. This is mainly due to the blind pinning performed by surgeons to fix the fractured elbow s fragments. Furthermore, the medical staff is usually exposed to a high level of radiations during the surgery because of the fluoroscopically assisted treatment. Thus, a new robotized platform baptized BROS is developed in Tunisia to remedy this issue and allow performing a safer surgery. BROS is reconfigurable and may run under several operating modes, meeting, thus, the surgeon s requirements and the environment constraints. GR-TNCES: NEW EXTENSIONS OF R-TNCES FOR MODELLING AND VERIFICATION OF FLEXIBLE SYSTEMS UNDER ENERGY AND MEMORY CONSTRAINTS Oussama Khlifi 1, 2, Olfa Mosbahi 1, Mohamed Khalgui 1 and Georg Frey 3 1 LISI laboratory, INSAT, University of Carthage, Tunis, Tunisia 2 Polytechnic School of Tunisia, University of Carthage, Tunis, Tunisia 3 Chair of Automation, Saarland University, Saarbrücken, Germany [email protected], {olfamosbahi, khalgui.mohamed}@gmail.com, [email protected] This study deals with the formal modeling and verification of Adaptive Probabilistic Discrete Event Control Systems (denoted by APDECS). A new formalism called Generalized Reconfigurable Timed Net Condition Event System (GR-TNCES) based on R-TNCES is proposed for the optimal functional and the temporal specification of APDECS. It is 36

40 composed of behavior and control modules. This formalism is used for the modeling and control of unpredictable as well as predictable reconfiguration processes under memory and energy constraints. A formal case study is proposed to illustrate the necessity of this formalism and a formal verification based on the probabilistic model checker Prism is used to certify the proposed model. Session Orale 6 Chairman: Dr. Wided SOUIDENE COMPUTER VISION FOR PEOPLE DETECTION AND SEGMENTATION Marwa JMAL 1, 2, Wided SOUIDENE 1 and Rabah ATTIA 1 1 SERCOM, TUNISIA Polytechnic School 2 TELNET Innovation Labs, Telnet Holding [email protected], [email protected], [email protected] In this work, we describe some components analysis of an indoor, real-time surveillance system. The analysis includes: (1) a novel method that performs spatio-temporal motion detection and segmentation in moving cameras, (2) an explicit human skin color classification into skin color tones and (3) a color image illumination enhancement technique based on homomorphic filtering. Experiments are carried out on the different datasets. Experimental results reveal that the proposed techniques achieve better performances compared to many existing state-of-the-art approaches. CONCEPTION ET REALISATION D'UN APPAREIL MEDICAL POUR L'ACQUISITION ET LE TRAITEMENT DU SIGNAL DE BIOIMPEDANCE CARDIOVASCULAIRE Ihsèn BEN SALAH, Kaïs OUNI Systèmes Mécatroniques et Signaux, Ecole Nationale d'ingénieurs de Carthage, 2035 ([email protected]) La bio impédance est une méthode électrique non sanglante d exploration non invasive du système cardiovasculaire. Notre travail consiste en la conception d'un appareil médical de bio impédance composé d un circuit d'injection du courant électrique utilisant un support numérique FPGA et d un circuit d'acquisition construit autour d'un amplificateur d'instrumentation type AD620. L'appareil médical conçu nous a permis de déterminer le signal de bio impédance correspondant à la variation d'impédance artériel pendant le cycle cardiaque. Le traitement du signal a permis la détermination de plusieurs paramètres cardiovasculaires dont les valeurs sont confirmées par la littérature. 37

41 TRANSFORMATIONS DE LA VOIX. APPROCHES ET APPLICATIONS Ben Othmane Imen et Kais Ouni Unité de Recherche Systèmes Mécatroniques et Signaux, SMS Ce travail porte sur la transformation de la voix d un locuteur à un autre. Pour ce faire, nous avons effectué des analyses approfondies pour chercher à déterminer les propriétés les plus pertinentes dans une voix. Dans ce sens, nous avons proposé deux techniques de transformation vocale à savoir LPC et PSOLA. Une plateforme numérique a été élaborée pour une utilisation professionnelle de la transformation vocale. DÉTECTION ET SUIVI D INDIVIDUS À TRAVERS UN RÉSEAU DE CAMERAS VIDÉO DISTANTES Salwa Baabou, Mohamed Amine Farah et Abdennaceur Kachouri Laboratoire LETI Sfax, Ecole Nationale des Ingénieurs de Sfax, Tunisie ([email protected], [email protected], [email protected]) La détection et le suivi humaine a été un domaine de recherche de premier plan pour plusieurs scientifiques du monde entier. Des états de l art de plusieurs algorithmes ont été mis en œuvre, raffinés et accélérés d'améliorer significativement le taux de détection et d'éliminer les faux positifs ainsi qu avoir une détection rapide et précise surtout dans de nombreuses applications en temps réel. Dans ce travail, on va mettre au point une technique de détection et de suivi d individus à travers un réseau de caméras distantes sans recouvrement des champs de vue. En effet, le modèle d apparence d un individu donné peut être considéré comme une signature visuelle. Cette signature permettra de détecter cet individu lorsqu il sera observé par une autre caméra. C est la mise en correspondance des signatures qui permettra de le suivre à travers le réseau de caméras. DEBRUITAGE DES SEQUENCES D IMAGES CARDIAQUES TEP Hajer JOMAA 1, Rostom MABROUK 2 et Nawres KHLIFA 1 1 Université de Tunis El Manar, Laboratoire de Biophysique et Technologies Médicales, Institut Supérieur des Technologies Médicales de Tunis, 1006 Tunis, Tunisia 2 Research Imaging Centre, Centre for Addiction and Mental Health (CAMH), Toronto, Ontario, Canada, [email protected], [email protected], [email protected] Dans cet article, nous développons une nouvelle méthode de débruitage des images TEP (Tomographie par Emission de Positons). La méthode est basée sur la combinaison de la Transformée en Ondelettes avec une nouvelle version, du filtre de Moyennes Non Locales, et la Transformée en Curvelets Discrète. Les résultats expérimentaux prouvent l efficacité du filtre proposé. 38

42 Session plénière 6: Bessem KBOUBI Chairman: Pr Ammar BOUALLEGUE «ACTIVITES DE RECHERCHES ET D INNOVATIONS TECHNOLOGIQUES» Bessem KBOUBI Responsable Innovation et Prototypage, TELNET Innovation Labs. Session Orale 7 Chairman: Pr Ammar BOUALLEGUE CONCEPTION ET REALISATION D UN SYSTEME MIMO OFDM APPLIQUE AUX CANAUX DE COMMUNICATION PAR LIGNE ELECTRIQUE Hasna KILANI 1, 2, Mohamed TLICH 1 et Rabah ATTIA 2 1 CODINTEK, cité ElGhazela, Ariana, Tunisie 2 Laboratoire SERCOM, Ecole Polytechnique de Tunisie, La Marsa, Tunisie [email protected], [email protected], [email protected] Dans ce travail, est présenté le système de transmission MIMO OFDM dans le cas où le support de transmission est la ligne électrique (CPL). Basés sur des mesures entre fils Phase- Neutre-Terre démontrant la décorrélation entre les canaux MIMO induits, des algorithmes d encodage/décodage MIMO sont développés. Leurs performances sont évaluées et testées sous matlab puis sur la plateforme de transmission temps réel MRP-100 propriété de CodinTek. SPECTRUM SENSING IN CORRELATED MASSIVE MIMO UNDER IMPERFECT CSI Imen Souid, Haithem Ben Chikha and Rabah Attia SERCOM Lab., Tunisia Polytechnic School, Tunisia [email protected], [email protected], [email protected] Massive multiple-input multiple-output (MIMO) systems are potential for improving the transmission rates and providing efficient capacity. Additionally, cognitive radio (CR) technology has shown high efficiency in dealing with spectrum scarcity issues. In order to fulfill the increasing demands for data rates and radio spectrum, cognitive massive MIMO networks are considered as the essential technologies that will define the fifth generation (5G). This paper investigates the detection performance of cognitive massive MIMO networks. As in practical circumstances, MIMO channels are considered to be spatially correlated and the receiver is assumed to have imperfect channel state information (ICSI). 39

43 MODULATION RECOGNITION FOR MIMO RELAYING BROADCAST CHANNELS WITH DIRECT LINK Wassim Ben Chikha and Rabah Attia SERCOM laboratory, Tunisia Polytechnic School and rabah Modulation identification has attracted considerable interest in military for many applications such as; communication intelligence (COMINT), electronic support measures (ESM) and spectrum surveillance. Also recent and rapid developments in software defined radio (SDR) in the context of cognitive radio (CR) have given modulation identification more prominence in civil applications. In this paper, we investigate the performance of modulation identification based on pattern recognition approach using the decision tree (J48) classifier, for multipleinput multiple-output (MIMO) relaying broadcast channels with direct link (source-todestination). Based on receiver operating characteristic (ROC) curves, our study shows that J48 classifier is more efficient than the multilayer perceptron (MLP) classifier trained with resilient backpropagation training algorithm (RPROP) where it achieves close to perfect detection rate (over 99%) with reasonable training time in acceptable signal-tonoise ratio (SNR) range.we also show that the performance of the MIMO relaying broadcast network is remarkably better than the traditional MIMO one. ETUDE DES TECHNIQUES D ALLOCATION DES RESSOURCES ET D ORDONNANCEMENT DANS POUR LE SYSTEME LTE Bechir NSIRI, Nasreddine MALLOUKI, Mahmoud AMMAR et Ammar BOUALLEGUE Laboratoire SYS COM, Ecole Nationale d Ingénieurs de Tunis (ENIT) [email protected] L objectif de ces travaux de thèse est l étude des techniques d allocation des ressources et d ordonnancement dans un contexte radio mobile MIMO-OFDM ainsi que l évaluation des performances des stratégies d ordonnancement appliquées au système LTE dans sa liaison descendante. Dans ce cadre, nous allons présenter les performances du système LTE dans sa liaison descendante pour différents configuration, par la suite, nous allons présenter les performances de différentes techniques d ordonnancement dans un contexte MIMO-OFDM. Une application directe sur l interface radio su système LTE sera réalisée. Dans une troisième partie, nous allons proposer un algorithme innovant qui tient compte des différents paramètres préconfiguré pour le système LTE afin de garantir une meilleure qualité de service pour les utilisateurs du réseau de transmission à haut débit LTE. 40

44 STUDY OF THE SYNCHRONIZATION IN MIMO-OFDM APPLIED TO WIMAX Mejdi BENZARTI SYS COM, National Engineering school of TUNISIA In all wireless communication systems and especially in OFDM and MIMO-OFDM system synchronization is crucial. The receivers do not know the beginning and the end of the OFDM symbols, so the placement of the FFT window. Moreover, they have their own sampling frequency asynchronous with that of the transmitter. These two points show two synchronization concepts: time and frequency. An error of time synchronization in the reception may cause loss of the orthogonality of subcarriers. This is why it is important to have a robust synchronization algorithm and know its effect on system performance. Several estimation techniques for time and frequency offset have been proposed in the literature, but varied test conditions make comparison difficult. In this paper, we show the effect caused by carrier frequency offset (CFO) and symbol timing offset (STO) on the performance of an OFDM system in a WiMAX context. SELECTION DE RELAI POUR UN SCHÉMA DE TCCDAVEC RELAYAGE AF Khouloud Abidi, Haithem Ben Chikha et Rabah Attia Laboratoire SERCOM, Ecole Polytechnique Tunisie [email protected] Dans ce travail, nous présentons quelques résultats obtenus durant une année de thèse. En se basant sur des systèmes de turbo codage coopératif distribué à L-relais utilisant la concaténation en parallèle des codes convolutifs et en utilisant le AF (Amplify and Forward) comme protocole de transmission et le Nakagami-m comme canal de transmission, on analysera quelques schémas de transmission. Le but est d aboutir à un système de communication sans fils plus optimal en termes de PEB (Probabilité d Erreur Binaire). Session Orale 8 Chairman: Pr Lilia Amraoui CARACTÉRISATION DU RÉSEAU ÉLECTRIQUE DE LA STEG ET DÉFINITION D UN SCHÉMA DE COMMUNICATION CPL ROBUSTE POUR LE SMART GRID Raja ALAYA, Rabah ATTIA SERCOM, Ecole Polytechnique de Tunisie, 2078 La Marsa Tunisie ([email protected]) Le réseau électrique ne peut plus se contenter du rôle historique pour lequel il a été conçu, il doit désormais prendre en compte les nouvelles contraintes qui vont peser sur le rendement du réseau dans les années à venir, l opérateur doit s adapter pour optimiser le fonctionnement de son réseau en favorisant la circulation de l information du producteur au consommateur. Dans ce cadre les techniques de communications par Courants Porteurs en Ligne (CPL) sont 41

45 considérées comme une solution prometteuse. L objectif de notre recherche vise à enrichir la connaissance de la capacité de transport d information du réseau électrique de la STEG et à définir un schéma de communication CPL par une caractérisation expérimentale du canal ligne de distribution électrique basse tension de la STEG dans les bandes CENELEC et FCC et établissement d un modèle de ce canal. INTERACTION SÛRETÉ DE FONCTIONNEMENT ET SUPERVISION DES SYSTÈMES AUTOMATISÉS COMPLEXES Ben Hammouda M., Lakhoua M.N. et El Amraoui L. U.R : Systèmes Mécatroniques et Signaux(SMS), ENICarthage, Université de Carthage, Tunisie ([email protected] ; [email protected] ; [email protected]) Dans un objectif d amélioration de la productivité, de cohérence de ses stratégies de maintenance, le monde industriel se fonde sur différentes techniques et outils développés pour assurer la supervision et la sûreté de fonctionnement des systèmes de production. Cette communication porte sur l'étude de sûreté de fonctionnement et la supervision des systèmes complexes en tenant compte les différentes méthodes utilisées pour l évaluation de la sûreté de fonctionnement et la surveillance de ces systèmes ainsi que l interaction entre ces deux notions. La problématique de superviser ces systèmes tout en tenant compte de leur sûreté de fonctionnement consiste la première partie de cette communication. La seconde partie expose un état de l art avec les différentes références utilisées pour l étude de sûreté de fonctionnement. DETECTION D UNE BAISSE DE PRESSION DANS LES PNEUMATIQUES PAR SYNTHESE D OBSERVATEURS NON LINEAIRES Nada Ouasli, Lilia El Amraoui U.R : Systèmes Mécatroniques et Signaux(SMS), ENICarthage, Université de Carthage, Tunisie ([email protected]; [email protected]) Ce travail se préoccupe au problème de détection de la pression des pneumatiques d'un véhicule par une méthode dite indirecte (sans recours à des capteurs de pression). Cette méthode consiste à déduire une diminution de la pression dès lors qu'une variation des paramètres dépendant de celle-ci est observée. Les paramètres liés immédiatement à la pression sont le rayon de roulement et la résistance au roulement. Néanmoins, comme ces paramètres sont liés non uniquement à la pression du pneumatique mais aussi aux conditions de conduite et à la charge du véhicule, la détection doit se faire par synthèse des observateurs basés sur une approche des modes glissants d ordre supérieur, caractérisés par sa robustesse et sa convergence en temps fini. 42

46 DEVELOPPEMENT D UN NOYAU DE PLATEFORME DE MODELISATION ET DE COMMANDE POUR LES VEHICULES ELECTRIQUES. UTILISATION DES «BOND GRAPH» Sihem Dridi 1, Ines Ben Salem 1, 2, Lilia El Amraoui 1 1 UR : SMS, ENICarthage, Charguia 2, 2035 Tunis-Carthage, Tunisie 2 Département EEA, ISSIG, Gabes, Tunisie ([email protected]) Les présents travaux de thèse consistent au développement d un noyau de plateforme de modélisation et de commande pour véhicules électriques. La modélisation d un tel système est complexe vue la présence des systèmes électriques, électroniques, chimiques, thermiques, mécaniques, etc. Ces différents systèmes n ont pas le même langage de communication. Pour cela, nous utilisons l approche graphique Bond Graph pour la représentation des modèles et des lois de commande. AN OPTIMAL CONTROLLER DESIGN FOR STABILIZING BIPED GAIT Imen D 1, Mongi B 1 and Mohamed Adel S 2 1 Unity of Mechatronic systems and signals, National School of Engineering of Cartage, 2 Laboratory of Analysis Conception and Control of Systems, Faculty of sciences of Tunis, ([email protected]; [email protected]; [email protected]) This work aims to design an optimal controller based on the resolution of algebraic Riccati equation to stabilize the walk of a biped robot. In a first time, the robot s trajectory is generated via the Zero Moment Point criterion.in a second time, the tracking of a reference trajectory is insured by the design of an optimal dynamic controller based on the predictive control theory. The synthesized dynamic controller affords a good control performance and allows stability of the robot s walk. This study is validated by a simulation via Matlab which the results prove the effectiveness of the proposed work. CONCEPTION D UN MOTEUR INCREMENTAL LINEAIRE POUR APPLICATION D OUVERTURE D UNE PORTE COULISSANTE Aymen Lachheb, Jalel Khediri et Lilia El Amraoui Unité de Recherche Systèmes Mécatroniques et Signaux (SMS), ENICarthage ([email protected], [email protected], [email protected]) Nos travaux portent sur la conception d un actionneur linéaire avec structure modulaire plane pouvant servir à entraîner une porte coulissante. A cet effet, un prototype du moteur linéaire est conçu et ses dimensions géométriques sont déterminées. Un modèle éléments finis du moteur est construit afin de déterminer ses performances électromagnétiques et de les analyser. L effort maximal souhaité étant d environ 150N. 43

47 Session Orale 9 Chairman: Dr. Adel BEN ZINA & Dr. Issam MABROUKI INTEGRATION OF RFID AND WSN IN COLD CHAIN MONITORING SAIDI Nabiha and EZZEDDINE Tahar Laboratoire de rechecrche SysCom, Université El Manar,Tunis,Tunisie (Saidinabihaetn, [email protected]) L objectif de ce travail est de présenter et monter les avantages de l intégration de RFID et RCSF dans la chaîne de traçabilité des produits alimentaires. Nous allons définir la traçabilité, présenter les deux technologies RFID et RCSF. Ensuite, nous présenterons notre méthodologie de travail pour la réalisation de ce projet. Et on finit par une conclusion et les perspectives. SPECIFICATION/VERIFICATION ET CONCEPTION/VALIDATION DE RESEAUX DE CAPTEURS SANS FILS RECONFIGURABLES SURS Hanen GRICHI 1, Olfa MOSBAHI 2 et Mohamed KHALGUI 2 1 Ecole Polytechnique de Tunisie, Laboratoire Informatique Pour les Systèmes Industriels, Tunisie 2 Institut national des sciences appliquées et de technologie, Tunisie [email protected], [email protected], [email protected] Le but de nos recherches est de traiter la reconfiguration des réseaux de capteurs sans fil (noté RWSN) tout en contrôlant l'énergie. Nous proposons une nouvelle méthodologie de conception d'un réseau de capteurs sans fil reconfigurable sûr, nommée Reconfigurable Wireless Network Methodology (RWiN Methodology), passant de la définition d'une nouvelle architecture multi-agents, la modélisation UML vérifiée par notre nouveau langage de vérification de contraintes nommée Reconfigurable Object Constraint Language (ROCL). Nous passons, par la suite, vers la validation formelle de l architecture proposée en utilisant les automates temporisées (TA) simulé avec UPPAAL et avant d'entamer la phase de génération de code, nous commençons la simulation de notre architecture. Nous proposons comme une illustration de notre méthodologie, un outil (RWiN-Tool) traitant toutes ces étapes. MATHEMATICAL MODEL FOR THE CONTROL OF SENSORS DEPLOYMENT UNDER IRREGULAR CONDITIONS Imen ARFAOUI 1, Noureddine BOUDRIGA 1 and Khalifa TRIMCHE 2 1 CN&S Research Lab, SUPCOM, University of Carthage, Tunis, Tunisia 2 Faculty of Science of Tunis, Tunis, Tunisia {arf.imen, [email protected] In wireless sensor networks (WSNs), a good deployment strategy is important for the network efficiency to ensure optimal connectivity and coverage. Traditional techniques based on both static and dynamic sensor nodes placement are often subject to many drawbacks related to the 44

48 high cost it generates, the high energy consumption and the simplified theoretical conditions considered; and hence are not suitable for real-world WSNs based constrained applications. In this work, we propose a deployment strategy while dropping sensors from a quadcopter to monitor two-dimensional areas taking into account the irregular conditions occurred; namely, atmospheric, geographic and technical conditions. For this purpose, we provide a mathematical model to control the sensors deployment in order to control the monitoring continuity and avoid radio holes by controlling a set of parameters including, but not limited to, the dropping times, the sensors landing positions, the wind forces, the dropping altitude and the velocity of the quadcopter. RA2DL: NEW RECONFIGURABLE AADL COMPONENT Farid ADAILI 1, 2, 3, Olfa MOSBAHI 1, Mohamed KHALGUI 1 and Samia BOUZEFRANE 3 1 LISI Laboratory, INSAT, University Of Carthage, Tunisia 2 Tunisia Polytechnic School, University Of Carthage, Tunisia 3 CEDRIC Laboratory, National Conservatory of Arts and Crafts, France {farid.adaili, samia.bouzefrane}@cnam.fr, {olfamosbahi, khalgui.mohamed}@gmail.com This work deals with adaptive component-based control systems following the Architecture Analysis and Design Language (denoted by AADL). A component is composed of a set of algorithms encoding the control after any reception of external events and data signals. The termination of execution is generally done with the emission of data and event signals to remote components. According to various evolutions in environment, the system is required to be dynamically reconfigured at run-time to adapt its control functions. We are interested in local reconfigurations of components dealing with the activation-deactivation-update of algorithms and/or data-event inputs. FEASIBLE REAL-TIME SCHEDULING UNDER MEMORY AND ENERGY CONSTRAINTS Aymen GAMMOUDI 1, 2, Adel BEN ZINA 1, 2, Mohamed KHALGUI 1 and et Daniel CHILLET 3 1 LISI Laboratory, INSAT, University Of Carthage, Tunisia 2 Tunisia Polytechnic School, University Of Carthage, Tunisia 3 IRISA Laboratory, ENSSAT, University Of Rennes1, France {aymen.gammoudi1, benzina.adel, khalgui.mohamed}@gmail.com; [email protected] This work deals with low power dynamic reconfigurations of real-time embedded systems. A reconfiguration scenario means the addition, removal or update of tasks in order to save the whole system at the occurrence of hardware/software faults, or also to improve its performance at run-time. When such a scenario is applied, the energy consumption can be increased, memory space can be saturated or some real-time constraints can be violated. A new strategy is defined where after each reconfiguration scenario, modifications will be performed on tasks parameter in order to respect the memory, real-time and energy constraints. According to system and battery state, this strategy proposes must modify periods, reduce execution times of tasks or remove some of them. 45

49 Session Orale 10 Chairman: Pr. Yomna REBAI THE EXPECTED TOTAL OPTIMAL MAINTENANCE COST UNDER DISCRETE MODIFIED WEIBULL DISTRIBUTION Nizar Mannai 1 and Soufiane Gasmi 2 1 Polytechnic School of Tunisia, University of Carthage, Tunis, Tunisia 2 Tunis National Higher School of Engineering, University of Tunis, BP 56, 1008 Bab Menara, Tunisia [email protected]; [email protected] We consider optimal replacement policies with periodic imperfect maintenance actions and minimal repairs. The multistate system is minimally repaired at failure and imperfect maintenance actions are regularly carried out for preventive maintenance. The discrete modified Weibull distribution is introduced and some cost functions applied to this distribution are defined in order to be minimized. Moreover, we assume that the costs of preventive maintenance depend on the degree of repair via a Kijima type 2 models. For illustrative purpose, the obtained results are applied on sets of simulated data. ON THE FINITE-TIME STABILIZATION OF STRINGS CONNECTED BY POINT MASS Ghada BEN BELGACEM and Chaker JAMMAZI LIM, Ecole polytechnique de Tunisie Faculté de Sciences de Bizerte ([email protected]) In this work, the problem of finite-time boundary stabilization of two strings connected by point mass is investigated. Based on the so-called Riemann invariant transformation, the vibrating strings are transformed in two hybrid-hyperbolic systems, and leads to the posedness of our system. In order to act in the system, it is desirable to choose boundary feedbacks, in this case, Hölderien stabilizing feedback laws to vanish in finite-time the right and the left of the solutions are considered. 46

50 PROBLEME D INTERFACE-EXISTENCE ET UNICITE DES SOLUTIONS DES EQUATIONS DE MAXWELL Saoussen Boujemaa et Abedessatar Khelifi Faculté des Sciences de Bizerte, Laboratoire d Ingénierie et Mathématiques ([email protected]) On s intéresse à l étude de problème de Maxwell en temps harmonique avec la symétrie transverse électrique TE (respectivement avec la symétrie transverse magnétique TM), en particulier on donne résultat d existence et d unicité pour le problème d interface associé à ces équations. THEORIE DE VARIETE CENTRALE ET BIFURCATION DES SYSTEMES DYNAMIQUES Imen Ben Ahmed et Chaker Jammazi Laboratoire LIM de l Ecole Polytechnique de Tunisie [email protected]; [email protected] On s intéresse à une étude qualitative, de stabilité et de robustesse, de systèmes dynamiques en dimension finies ou infinies générés par un terme de retard. On montre comment la projection d une variété centrale des équations de retard réduit la dynamique d un système d équations différentielles ordinaires. On donne les conditions dans lesquelles une classe générale des équations différentielles de retard (EDD) a un point de Bogdanov-Takens ou une singularité de triple zéro. On met ces équations en forme normale et on détermine comment les coefficients de forme normale dépendent des paramètres originaux de l EDD. Enfin, on applique ces résultats à des modèles de réseaux de neurones et on compare les prédictions de la théorie avec l analyse de bifurcation. NOVEL VOLTAGE DRIVEN ELECTRO-THERMO-MECHANICAL MEMS SELF- OSCILLATOR S. Ouenzerfi 1, 2, 3 and S. El-Borgi 3 1 KACST-Intel Consortium Center of Excellence in Nano-manufacturing Applications (CENA), Riyadh, KSA 2 IMEC, Leuven, Belgium 3 Applied Mechanics and Systems Research Laboratory, Tunisia Polytechnic School ([email protected]) This paper presents the modeling, simulation and an experimentation proof of electro-thermomechanical self-oscillators, a novel type of M/NEMS-enabled timing devices. We extend the results from previously reported self-oscillators pumped with direct current [1,2] to demonstrate the possible self-oscillation in case of the more attractive and practical direct voltage pumping for devices with a positive piezoresistive coefficient. 47

51 48

52 Ecole Polytechnique de Tunisie ; B.P.743, 2078 La Marsa Tunisie Tel Fax :