Édition septembre 2015 – Vol.7 no.8

Journée de l’innovation IEEE CASS et ReSMiQ – JIR 2015, 19 octobre à l’ÉTS
Vous êtes cordialement conviés à participer à la prochaine journée d’innovation CASS et ReSMiQ le 19 octobre 2015 à l’École de technologie supérieure à Montréal. Pour cette édition le ReSMiQ joint ses forces à IEEE CASS (Circuits and Systems Society) afin de mettre sur pied un événement de grande envergure. La journée d’innovation ReSMiQ a été choisis parmi plus de 300 propositions du concours IEEE CASS Outreach Initiave Program 2015. Cette activité organisée par notre centre avec le soutien financier d’IEEE CASS vise à donner, entre autre, de la visibilité aux travaux de recherche des étudiants du Québec dans le domaine des microsystèmes et à promouvoir l’IEEE CASS parmi les membres de la communauté scientifique du Québec. L’appel aux projets lancé à travers le Québec a mené à la sélection des 15 projets dont 6 projets de 1e cycle et 9 projets de cycles supérieurs.

Projets de premier cycle
• Système de mesure spectroscopique du taux de glucose dans le sang
• Implémentation sur FPGA d’un réseau de neurones artificiels apprenant par conditionnements.
• Conception d’un système multiplateforme modulaire de déverminage électronique
• Multi-purpose hardware platform for smart sports technology
• Wireless User Controlled Robotic Arm
• Conception d’un émetteur-récepteur d’impulsions à bande ultra large (UWB)

Projets de cycles supérieurs
• Circuit d’étouffement de photodiodes à avalanche monophotonique en CMOS 65 nm optimisé pour l’estampillage temporelle et l’intégration 3D
• Architectures matérielles pour l’analyse des images de la rétine
• Silicon Photonic Integrated Devices for High Capacity Optical Transmitters
• An energy-efficient and high-voltage compliant intracortical-microstimulator
• Characterization, Modeling and Mitigation of Propagation Delays in SRAM-Based FPGAs due to Single Event Upsets (SEUs) for Avionic Applications
• Réalisation d’un convertisseur temps-numérique en CMOS 65 nm pour des mesures par temps de vol à précision millimétrique
• Photodiodes à avalanche monophotonique en technologie CMOS Teledyne DALSA
• Smart Petri-Dish: A Fully Integrated Cell Imaging Platform for Real-Time Assessment of Living Cells
• Vers la démocratisation des codes polaires

Les étudiants candidat au concours de démonstration technique vont présenter leur savoir-faire scientifique et technique devant un jury composé de nombreux experts. Les trois meilleurs projets de chaque catégorie seront récompensés par des prix en argent ainsi qu’une adhésion gratuite à l’IEEE pour un an. Il y aura cette année un prix spécial du jury, l’IEEE-CASS Award. Cette journée sera aussi l’occasion d’assister à trois présentations de marque par les professeurs Andreas G. Andreou de l’Université John Hopkins, Gianluca Setti de l’Université de Ferrare en Italie et Viktor Gruev de l’université de Washington. Nous tenons à remercier tous les étudiants qui ont soumis leur projet. Nous vous invitons à visiter régulièrement notre portail web pour connaître tous les détails.

JIR CASS – Résumé du programme

9h00
Mots de bienvenue
par Mohamad Sawan, dir. ReSMiQ

9h15
Séminaire invité
Wearable Near Infrared and Color Imaging System for Image Guided Surgery
par Viktor Gruev, Université de Washington, É.-U.

10h10
Le 4e Concours de démonstration technique de microsystèmes
– Présentations orales des projets de premier cycle et de cycles supérieurs en 3 minutes
– Démonstrations techniques

13h30
Présentation du chapiter IEEE CASS Montréal
par Omair Ahmad, Président du chapitre IEEE CASS Montréal

13h45
Séminaire spécial CASS
BRAINWAY: Cognitive Computer Architecture with Applications in Health Care and Personalized Medicine
pr Andreas G. Andreou, Université John Hopkins, É.-U.

15h00
Séminaire spécial CASS
Compressive Sensing: From Algorithms to Circuits
par Gianluca Setti, Université de Ferrare, Italie.

16h00
Table ronde
Approaches for designing ultralow power consumption microsystems

17h00
Cocktail et remise des prix

ISCAS2016 – Appel aux communications et soumission d’articles
L’organisation de la prochaine édition de la conférence IEEE International Symposium on Circuits and Systems (ISCAS2016) se poursuit et nous avons atteint les premier jalons importants en terme de contribution de communication. Nous avons notamment reçu un nombre record de soumission pour sessions spéciales. Il est cependant encore temps de nous soumettre des propositions de cours intensif (date limite 2 octobre 2015), des propositions d’articles pour présentations orales ou par affiche (date limite 9 octobre 2015) ainsi que des propositions de démonstrations techniques (date limite 9 octobre 2015).
Plus de détails

banner_vancouver2016_s

Plate_J_Innovation-2015_small_B

NOUVELLES DES MEMBRES

Rayonnement

– Dr. Massicotte de l’Université du Québec à Trois-Rivières a offert une conférence invitée à l’Université catholique de Louvain en Belgique.
Plus de détails

– Dr. Sawan de Polytechnique Montréal a offert une plénière invitée à la conférence internationale ICABME 2015 à Beyrouth au Liban.
Plus de détails

– Dr. Sawan de Polytechnique Montréal a offert une conférence invitée à la conférence internationale Epilepsy and treatment à Baltimore aux États-Unis.
Plus de détails

ACTIVITÉS DU RESMIQ

Séminaire
ReSMiQ et le chapitre IEEE Solid-State Circuits (SSCS), en collaboration avec le chapitre IEEE Circuits and Systems (CASS) vous invite à assister à ce séminaire qui sera donné le 28 octobre prochain, à 10h00 à Polytechnique Montréal.
Eric_K_s
Conférencier: Eric Klumperink, Université de Twente, Pays-Bas

Titre: Cognitive Radio Transceiver Chips
Résumé et biographie

Bourses
Fonds de dépannage pour étudiant aux cycles supérieurs
DATE LIMITE DE DÉPÔT: 19 octo0bre 2015
Plus de détails


SIGNAL est le principal outil de diffusion de nouvelles du Regroupement Stratégique en Microsystèmes du Québec (ReSMiQ). Ce bulletin se veut un lien entre les membres du ReSMiQ et toute autre personne intéressée par la recherche et l’innovation dans le domaine des microsystèmes. Nous nous engageons à valoriser les travaux de nos membres et augmenter la visibilité du ReSMiQ.

ReSMiQ est un regroupement de chercheurs au sein d’un centre de recherche interuniversitaire qui peut compter sur le soutien du Fonds de recherche du Québec – Nature et technologies (FRQNT) et de dix (10) universités québécoises impliquées dans la recherche sur les microsystèmes.

Publié dans Non classifié(e)

CONFÉRENCES À SURVEILLER

2023 International Conference on Microelectronics (ICM)
du 17 au 20 décembre 2023, Abu Dhabi, Emirats Arabes Unis.
Tous les détails

2023 IEEE 11th International Conference on Systems and Control (ICSC)
du 18 au 20 décembre 2023, Sousse, Tunisie.
Tous les détails

2024 37th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems (VLSID)
du 6 au 10 janvier 2024, Calcutta, Inde.
Tous les détails

2024 IEEE International Solid-State Circuits Conference (ISSCC)
du 18 au 22 février 2024, San Francisco, Californie, É.-U.
Tous les détails

2024 IEEE 15th Latin America Symposium on Circuits and Systems (LASCAS)
du 27 février au 1 mars 2024, Punta del Este, Uruguay
Tous les détails

2024 IEEE Custom Integrated Circuits Conference (CICC)
du 21 au 24 avril 2024, Denver, Colorado, É.-U.
Tous les détails

2024 IEEE 6th International Conference on AI Circuits and Systems (AICAS)
du 22 au 25 avril 2024, Abu Dhabi, Emirats Arabes Unis.
Tous les détails

2024 9th International Conference on Integrated Circuits, Design, and Verification (ICDV)
du 6 au 7 juin 2024, Hanoi, Vietnam.
Tous les détails

2024 61st ACM/IEEE Design Automation Conference (DAC)
du 23 au 27 juin 2024, San Francisco, Californie, É.-U.
Tous les détails

2024 IEEE International Conference on Multimedia and Expo (ICME)
du 15 au 19 juillet 2024, Niagara Falls, Ontario, Canada.
Tous les détails

PROFIL DES MEMBRES

Prof. S. Tahar
Université Concordia
Membre du ReSMiQ depuis 1996

SofieneTahar_sSofiène Tahar a reçu le doctorat avec distinction en Sciences informatiques de l'Université de Karlsruhe, en Allemagne. Il est actuellement professeur et titulaire de la chaire de recherche en vérification formelle de systèmes sur puce au Département de Génie électrique et informatique de l’Université Concordia, Montréal, Canada, où il est le fondateur et directeur du Hardware Verification Group (hvg.ece.concordia.ca). Il a été aussi consultant pour les entreprises Ericsson et TDE Techno Design à Montréal. Avec son équipe, le Pr Tahar a publié 5 ouvrages de livre, plus de 290 articles dans des revues et conférences internationales avec comité de lecture et 7 chapitres de livres dans les domaines des méthodes formelles, de la vérification de systèmes sur puce, de la vérification des circuits analogiques et à signaux mixtes, de la vérification des systèmes optiques, et de l'analyse de la fiabilité des systèmes. Le Pr Tahar a organisé et a été impliqué dans les comités de programme de diverses conférences internationales. Il a été aussi conférencier invité à plus de 15 évènements scientifiques. Le Pr Tahar a servi plusieurs années au sein du comité exécutif du ReSMiQ. Il a été nommé Fellow de la recherche universitaire lors de la réception du Prix d’excellence en recherche de l'Université Concordia. En savoir plus

Voici une sélection de ses publications dans les dernières années, suivie d’un article représentatif de ses travaux de recherche.

O. Hasan and S. Tahar: Formalized Probability Theory and Applications using Theorem Proving; IGI Global Pub., Germany, 2015. [300 pages]

H. Chaoui, N. Golbon, I. Hmouz, R. Souissi, and S. Tahar: Lyapunov-Based Adaptive State of Charge and State of Health Estimation for Lithium-Ion Batteries, IEEE Transactions on Industrial Electronics, Vol. 62, No. 3, March 2015, pp. 1610-1618. [BEST PAPER]

S. K. Afshar, U. Siddique, M.Y. Mahmoud, V. Aravantinos, O. Seddiki, O. Hasan and S. Tahar: Formal Analysis of Optical Systems, Mathematics in Computer Science, Vol. 8, No. 1, Springer, May 2014, pp. 39-70.

R. Narayanan, I. Seghaier, M. Zaki, and S. Tahar: Statistical Run-Time Verification of Analog Circuits in Presence of Noise and Process Variation, IEEE Transactions on Very Large Scale Integration, Vol. 21, No. 10, October 2013, pp. 1811-1822.

T. Mhamdi, O. Hasan, and S. Tahar: Formalization of Measure and Lebesgue Integration for Probabilistic Analysis in HOL; ACM Transactions on Embedded Computing Systems, Vol. 12, No. 1, January 2013, pp. 13.1-13.23.

I. Seghaier, M.H. Zaki and S. Tahar: A Statistical Approach to Probe Chaos from Noise in Analog and Mixed Signal Designs; Proc. IEEE Computer Society Annual Symposium on VLSI (ISVLSI’15), Montpellier, France, July 2015, pp. 1-8. [BEST PAPER]

O. Seddiki, C. Dunchev, S. Khan-Afshar and S. Tahar: Enabling Symbolic and Numerical Computations in HOL Light; In: Intelligent Computer Mathematics (CICM’15), Lecture Notes in Computer Science 9150, Springer Verlag, 2015, pp. 353-358. [BEST PAPER]

O. Lahiouel, M.H. Zaki and S. Tahar: Towards Enhancing Analog Circuits Sizing Using SMT-based Techniques; Proc. IEEE/ACM Design Automation Conference (DAC’15), San Francisco, California, USA, June 2015, ACM Publications, pp. 1-6.

M. Nayrolles, A. Hamou-Lhadj, S. Tahar and A. Larsson: JCHARMING: A Bug Reproduction Approach Using Crash Traces and Directed Model Checking; Proc. IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER’15), Montreal, Quebec, Canada, March 2015, pp. 101-110. [BEST PAPER]

TRAVAUX DE RECHERCHE

Lyapunov-Based Adaptive State of Charge and State of Health Estimation for Lithium-Ion Batteries

This paper presents an adaptive state of charge (SOC) and state of health (SOH) estimation technique for lithium-ion batteries. The adaptive strategy estimates online parameters of the battery model using a Lyapunov-based adaptation law. Therefore, the adaptive observer stability is guaranteed by Lyapunov's direct method. Since no a priori knowledge of battery parameters is required, accurate estimation is still achieved, although parameters change due to aging or other factors. Unlike other estimation strategies, only battery terminal voltage and current measurements are required. Simulation and experimental results shown in Fig.1 and Fig.2 highlight the high SOC and SOH accuracy estimation of the proposed technique.

 

Vol-7-N8_1_s
Fig. 1. Experimental results for discharge mode: (a) and (b) battery's voltage Formula; (c) battery's impedance Formula; (d) battery's current Formula; (e) voltage estimation error Formula; and (f) OCV estimate Formula and SOC. The battery voltage tracking and error convergence to zero for both equilibrium and discharging states is shown in Fig. 1(b) and (e). The advantage behind the use of the adaptive observer is clearly shown by very good tracking performance and negligible amplitude, where the voltage error is kept in, i.e., 0.1%, within sensors' resolution. As the battery discharges, OCV decreases [Fig. 1(f)] and battery impedance increases [Fig. 4(c)].

Vol-7-N8_2_s

Fig. 2. Experimental results: OCV versus SOC.