Search - Génie Electrique et Informatique - INSA Toulouse Access content directly

Filter your results

203 Results
Deposit type : Fulltext
Image document

DyClee-C: a clustering algorithm for qualitative data based diagnosis

Tom Obry , Louise Travé-Massuyès , Audine Subias
33 rd International Workshop on Qualitative Reasoning (QR'20) - ECAI 2020 workshop, Aug 2020, Santiago de Compostela, Spain
Conference papers hal-02986780v1
Image document

A user privacy-centric access control policy of data for intelligent transportation systems

Rémi Adelin , Eric Alata , Vincent Migliore , Vincent Nicomette
Embedded Real Time Systems (ERTS), Jan 2020, Toulouse, France
Conference papers hal-03139783v1
Image document

Dynamic Double anomaly Detection through evolving clustering: Application to on-board space radiation faults

Adrien Dorise , Louise Travé-Massuyès , Audine Subias , Corinne Alonso
ANITI presentation, Mar 2022, Toulouse, France. 2022
Conference poster hal-03622285v1
Image document

Diagnosability and Predictability of pattern in Labelled Petri Nets

Eric Lubat , Camille Coquand , Yannick Pencole , Audine Subias
33rd International Workshop on Principle of Diagnosis (DX 2022), LAAS-CNRS-ANITI, Sep 2022, Toulouse, France
Conference papers hal-03773804v1
Image document

Regarding the COVID-19 crisis from a systems engineering perspective

Santiago Pantano-Calderón , Claude Baron , Jean-Charles Chaudemar , Élise Vareilles , Rob Vingerhoeds
19th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2022), ISCRAM, May 2022, Tarbes, France
Conference papers hal-03725493v1
Image document

Modeling complex systems with Heterogeneous Petri Nets (HtPN)

Amaury Vignolles , Pauline Ribot , Elodie Chanthery
33rd International Workshop on Principle of Diagnosis – DX 2022, LAAS-CNRS-ANITI, Sep 2022, Toulouse, France
Conference papers hal-03773709v1
Image document

A Model Checking method to solve the event pattern diagnosis problem in safe labeled time Petri nets

Yannick Pencolé , Audine Subias , Camille Coquand
32nd International Workshop on Principles of Diagnosis DX’21, Sep 2021, Hamburg, Germany
Conference papers hal-03348338v1
Image document

Battery-free, Wirelessly Powered and Controlled Concrete Resistivity Sensing Node

Gaël Loubet , Alassane Sidibe , Alexandru Takacs , Jean-Paul Balayssac , Daniela Dragomirescu
2022 IEEE Wireless Power Transfer Conference (WPTC), Jul 2022, Bordeaux, France. ⟨10.1109/WPW54272.2022.9853942⟩
Conference papers hal-03648926v1
Image document

A Health Monitoring Method for Automotive Surface Mount Technologies

Alexandre Gaffet , Pauline Ribot , Elodie Chanthery , Nathalie Barbosa , Christophe Merle
SAFEPROCESS 2022, Jun 2022, Paphos, Cyprus
Conference papers hal-03711286v1
Image document

InjectaBLE: Injecting malicious traffic into established Bluetooth Low Energy connections

Romain Cayre , Florent Galtier , Guillaume Auriol , Vincent Nicomette , Mohamed Kaâniche , et al.
IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2021), Jun 2021, Taipei (virtual), Taiwan. ⟨10.1109/DSN48987.2021.00050⟩
Conference papers hal-03193297v2
Image document

Software fault propagation patterns for model-based safety assessment in autonomous cars

Yandika Sirgabsou , Claude Baron , Laurent Pahun , Philippe Esteban
11th European Congress on Embedded Real Time Systems (ERTS), Jun 2022, Toulouse, France
Conference papers hal-03699226v1
Image document

Étude de méthodes arborescentes de Monte-Carlo pour un problème de déplacement de pièces dans un atelier d'assemblage

Valentin Antuori , Emmanuel Hébrard , Marie-José Huguet , S Essodaigui , A Nguyen
Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA'21) Plate-Forme Intelligence Artificielle (PFIA'21), Jul 2021, Bordeaux, France. pp.7-13
Conference papers hal-03298740v1
Image document

A Technique to Assess Conducted Immunity of an Electronic Equipment after an Obsolete Integrated Circuit Change

Saliha Chetouani , Alexandre Boyer , Sonia Ben Dhia , Sébastien Serpaud , André Durier
13th International Workshop on the Electromagnetic Compatibility of Integrated Circuits (EMC Compo 2021), Mar 2022, Brugges, Belgium. ⟨10.1109/EMCCompo52133.2022.9758624⟩
Conference papers hal-03654075v1
Image document

OASIS: un framework pour la détection d'intrusion embarquée dans les contrôleurs Bluetooth Low Energy

Romain Cayre , Clement Chaine , Guillaume Auriol , Vincent Nicomette , Geraldine Marconato
Symposium sur la sécurité des technologies de l'information et des communications (SSTIC 2022), Jun 2022, Rennes, France
Conference papers hal-03898224v1
Image document

Fast and efficient approach to predict EMC immunity of complex equipment after a component change

Saliha Chetouani , Sébastien Serpaud , Alexandre Boyer , Sonia Ben Dhia
EMC Europe 2020, Sep 2020, Rome (online), Italy
Conference papers hal-02951845v1
Image document

Investigating the use of a model-based approach to assess automotive embedded software safety

Yandika Sirgabsou , Claude Baron , Cyril Bonnard , Laurent Pahun , Lorenzo Grenier , et al.
13th International Conference on Modeling, Optimization and Simulation (MOSIM20), Nov 2020, AGADIR, Morocco
Conference papers hal-02942695v1
Image document

Introducing 5-nm FinFET technology in Microwind

Etienne Sicard , Lionel Trojman
2021
Other publications hal-03254444v1
Image document

A Hybrid Control Strategy for Quadratic Boost Converters with Inductor Currents Estimation

Antonino Sferlazza , Carolina Albea-Sanchez , Germain Garcia
Control Engineering Practice, 2020, 103, pp.104602. ⟨10.1016/j.conengprac.2020.104602⟩
Journal articles hal-02917476v1
Image document

Accelerating the Computation of Dead and Concurrent Places using Reductions

Nicolas Amat , Silvano Dal Zilio , Didier Le Botlan
27th International SPIN Symposium on Model Checking of Software, Jul 2021, Aarhus, Denmark. ⟨10.1007/978-3-030-84629-9_3⟩
Conference papers hal-03268388v1
Image document

Toward soil smart sensing in v4.0 agriculture: a new original single-shape design for a capacitive moisture and salinity sensor

Christophe Escriba , Julien Roux , Eli Gabriel Aviña Bravo , Jean-Yves Fourniols , M Contardo , et al.
Sensors, 2020, 20 (23), pp.6867. ⟨10.3390/s20236867⟩
Journal articles hal-01925577v1
Image document

Assessing product quality from the production process health status

Le Toan Duong , Louise Travé-Massuyès , Audine Subias , Nathalie Barbosa Roa
31st International Workshop on Principles of Diagnosis: DX-2020, Sep 2020, Nashville, Tennessee, United States
Conference papers hal-03011772v1
Image document

Enhancing Hybrid CP-SAT Search for Disjunctive Scheduling

Arthur Bit-Monnot
26th European Conference on Artificial Intelligence (ECAI 2023)), Sep 2023, Krakow, Poland
Conference papers hal-04174800v1
Image document

MÉTHODE D'EXTRACTION RAPIDE ET EFFICACE D'UN MODÈLE DE PROTECTION ESD FACE À DES PHÉNOMÈNES TRANSITOIRES RAPIDES

François Ruffat , Fabrice Caignet , Alexandre Boyer , Guillaume Mejecaze , Fabien Escudie , et al.
21ème Colloque International et Exposition sur la Compatibilité ÉlectroMagnétique (CEM 2023), Jun 2023, Toulouse, France
Conference papers hal-04203263v1
Image document

Dynamic Controllability of Temporal Plans in Uncertain and Partially Observable Environments

Arthur Bit-Monnot , Paul Morris
Journal of Artificial Intelligence Research, 2023, 77, pp.1311-1369. ⟨10.1613/jair.1.13065⟩
Journal articles hal-04174986v1
Image document

Hippo: A Formal-Model Execution Engine to Control and Verify Critical Real-Time Systems

Pierre-Emmanuel Hladik , Félix Ingrand , Silvano Dal Zilio , Reyyan Tekin
Journal of Systems and Software, 2021, 181, pp.111033. ⟨10.1016/j.jss.2021.111033⟩
Journal articles hal-03017661v4
Image document

Efficient, Situated and Ontology based Referring Expression Generation for Human-Robot collaboration

Guilhem Buisan , Guillaume Sarthou , Arthur Bit-Monnot , Aurélie Clodic , Rachid Alami
The 29th IEEE International Conference on Robot & Human Interactive Communication ( RO-MAN), Aug 2020, Naples (on line), Italy. pp.349-356, ⟨10.1109/RO-MAN47096.2020.9223485⟩
Conference papers hal-02922098v2
Image document

A new Voltage Measurement Probe for investigating Radiated Immunity Test

Alexandre Boyer , Sonia Ben Dhia , André Durier
EMC Europe 2020, Sep 2020, Rome (virtual), Italy
Conference papers hal-02951842v1
Image document

Robust hybrid control law for a boost inverter

Carolina Albea-Sanchez , Germain Garcia
Control Engineering Practice, 2020, 101, pp.104492. ⟨10.1016/j.conengprac.2020.104492⟩
Journal articles hal-02470490v1
Image document

Fundamental frequency of speech -Reference values for speech therapy

Etienne Sicard , Anne Menin-Sicard
2023
Other publications hal-04195883v1
Image document

RIDS: Radio intrusion detection and diagnosis system for wireless communications in smart environment

Pierre-François Gimenez , Jonathan Roux , Eric Alata , Guillaume Auriol , Mohamed Kaâniche , et al.
ACM Transactions on Cyber-Physical Systems, 2021, 5 (3), pp.Article No.: 24. ⟨10.1145/3441458⟩
Journal articles hal-03123925v1