Artificial Intelligence using Quantum measured Information for realtime distributed systems at the edge

Informations projet

A-IQ Ready

N° de convention de subvention: 101096658

DOI

10.3030/101096658

Projet clôturé

Date de signature de la CE 5 Decembre 2022

Date de début 1 Janvier 2023

Date de fin 31 Mars 2026

Financé au titre de

• Digital, Industry and Space

Coût total

€ 33 392 376,22

Contribution de l’UE

€ 10 506 182,08

Coordonné par

AVL LIST GMBH
Austria

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

Demonstrators, pilots, prototypes (6)

Elaborated concept of the quantum sensor

Elaborated concept of the quantum sensorT3.4

Implemented sensor and installed components for Rauma transportation

Implemented sensor and installed components for Rauma transportationT3.1

Implemented sensor and installed components for Kouvola transportation

Implemented sensor and installed components for Kouvola transportationT3.1

Components for the powertrain health monitoring and failure prevention subsystems

Components for the powertrain health monitoring and failure prevention subsystemsT3.3

Prototypes and components for SAR mission and digital health

Prototypes and components for SAR mission and digital healthT3.2

The components for AI computing platforms

The components for AI computing platformsT3.5

Documents, reports (10)

1st Dissemination and communication report

1st Dissemination and communication reportT7.2, T7.3

Report on project clustering and synergies

Report on project clustering and synergiesT8.5

Report on the requirements for HW/SW hybrid computing platforms and accelerators

Report on the requirements for HW/SW hybrid computing platforms and acceleratorsT1.5

Initial Report on Standardization, Certification and Ethical aspects

Initial Report on Standardization, Certification and Ethical aspectsT7.5

Broad Strategies for Stakeholder engagement & Initial dissemination, communication and exploitation plan

Broad Strategies for Stakeholder engagement & Initial dissemination, communication and exploitation planT7.1

Requirements for the transportation and intralogistics systems

Requirements for the transportation and intralogistics systemsT1.1

2nd Dissemination and communication report

2nd Dissemination and communication reportT7.2, T7.3

Report on the requirements for the multi-modal, multiphysical sensing system with quantum sensor

Report on the requirements for the multi-modal, multiphysical sensing system with quantum sensorT1.4

Requirements and specifications for powertrain health monitoring and failure prevention

Requirements and specifications for powertrain health monitoring and failure preventionT1.3

Report on the requirements for the SAR mission and Digital Health demonstrators

Report on the requirements for the SAR mission and Digital Health demonstratorsT1.2

Websites, patent fillings, videos etc. (3)

Project newsletter No. 1

Project newsletter No. 1T7.2, T7.3

Project newsletter No. 2

Project newsletter No. 2T7.2, T7.3

Communication channels and project website

Communication channels and project websiteT7.1, T7.2

Publications

Peer reviewed articles (8)

Parallel Computing Utilization in Nonlinear Model Predictive Control of Permanent Magnet Synchronous Motor

Auteurs: Michal Kozubik, Libor Vesely, Eyke Aufderheide, Pavel Vaclavek
Publié dans: IEEE Access, Numéro 12, 2024, ISSN 2169-3536
Éditeur: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/ACCESS.2024.3456432

Lecture Notes in Computer Science

Auteurs: Bonakdarpour, Borzoo; Momtaz, Anik; Ničković, Dejan; Saraç, N. Ege
Publié dans: Lecture Notes in Computer Science ISBN: 9783031742330, 2024, ISSN 0302-9743
Éditeur: Springer Verlag
DOI: 10.48550/ARXIV.2408.05033

DiAReL: Reinforcement Learning With Disturbance Awareness for Robust Sim2Real Policy Transfer in Robot Control

Auteurs: Mohammadhossein Malmir, Josip Josifovski, Noah Klarmann, Alois Knoll
Publié dans: IEEE Transactions on Control Systems Technology, 2025, ISSN 1063-6536
Éditeur: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.48550/ARXIV.2306.09010

Satellite-based InSAR Geodesy and Collocation with GNSS

Auteurs: Juraj Papco, Matus Bakon, Lukas Kubica, Gabika Belicova, Branislav Droscak, Martin Ferianc, Martin Rovnak, Antonio M. Ruiz, Joaquim J. Sousa
Publié dans: Procedia Computer Science, Numéro 239, 2024, ISSN 1877-0509
Éditeur: Elsevier BV
DOI: 10.1016/j.procs.2024.06.426

Compositional verification of priority systems using sharp bisimulation

Auteurs: Luca Di Stefano, Frédéric Lang
Publié dans: Formal Methods in System Design, Numéro 62, 2024, ISSN 0925-9856
Éditeur: Springer Science and Business Media LLC
DOI: 10.1007/S10703-023-00422-1

Bayesian Knowledge Transfer for a Kalman Fixed-Lag Interval Smoother

Auteurs: Ondřej Skalský, Jakub Dokoupil
Publié dans: IEEE Control Systems Letters, Numéro 9, 2025, ISSN 2475-1456
Éditeur: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/LCSYS.2025.3580047

Formal Methods in System Design

Auteurs: Luca Di Stefano; Frédéric Lang
Publié dans: Formal Methods in System Design, 2023, ISSN 0925-9856
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s10703-023-00422-1

HPRS: hierarchical potential-based reward shaping from task specifications

Auteurs: Luigi Berducci, Edgar A. Aguilar, Dejan Ničković, Radu Grosu
Publié dans: Frontiers in Robotics and AI, Numéro 11, 2025, ISSN 2296-9144
Éditeur: Frontiers Media SA
DOI: 10.3389/FROBT.2024.1444188

Conference proceedings (36)

RISC++: A 32-bit RISC-V Core via High-Level Synthesis of C/C++

Auteurs: Vinicius Pirassoli, Luís Sousa, Nuno Paulino, João Bispo
Publié dans: XIX Jornadas sobre Sistemas Reconfiguráveis (REC), 2024
Éditeur: Faculdade de Engenharia, Universidade do Porto, Portugal
DOI: 10.5281/ZENODO.14930331

Towards Offloading C/C++ Kernels and ONNX Models to CGRAs through MLIR

Auteurs: Neto, Nelson; Ferreira, José Pedro; Gonçalo Correia, Pedro; Rodriguez, Alfonso; Otero, Andrés; Paulino, Nuno; Bispo, João
Publié dans: 2025
Éditeur: Zenodo
DOI: 10.5281/ZENODO.14924547

A Simulation-based Benchmark for LiDAR SLAM in featureless Tunnels with a novel Robustness Evaluation

Auteurs: Qiuyi Cao, Stephanie Grubmuller, Berin Dikic, Selim Solmaz, Robert Wenighofer, Pamela Innerwinkler, Haris Sikic and Eduardo E. Veas
Publié dans: 2026
Éditeur: Zenodo
DOI: 10.5281/ZENODO.17407065

Design and Application of Neural Network for Compensation of VSI Output Voltage Nonlinearities

Auteurs: Buchta, Luděk; Kozovský, Matúš
Publié dans: IECON 2024- 50th Annual Conference of the IEEE Industrial Electronics Society. 2024, 2024
Éditeur: IEEE
DOI: 10.1109/IECON55916.2024.10905982

Utilizing Ontologies for Combinatorial Testing

Auteurs: Franz Wotawa
Publié dans: 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2025
Éditeur: IEEE
DOI: 10.1109/ICSTW64639.2025.10962509

The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios

Auteurs: Alessio Gambi, Shreya Mathews, Benedikt Steininger, Mykhailo Poienko, David Bobek
Publié dans: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Éditeur: ACM
DOI: 10.1145/3650212.3685299

Analysis of Externally Excited Synchronous Motors Operation Under Joule Losses Minimization Control

Auteurs: Alessandro Capitanio, Stefano Nuzzo, Giacomo Sala, Davide Barater, Giovanni Franceschini
Publié dans: 2024 International Conference on Electrical Machines (ICEM), 2024
Éditeur: IEEE
DOI: 10.1109/ICEM60801.2024.10700496

Extendable and Decoupled Multi-Level Intermediate Representation (MLIR) Compilation with JavaScript

Auteurs: Pedro Ramalho, Manuel Cerqueira da Silva, João Bispo, Nuno Paulino
Publié dans: INFORUM 2024 (15th National Informatics Symposium), 2024
Éditeur: INESC TEC and Faculty of Engineering, University of Porto
DOI: 10.5281/ZENODO.14919520

State Representations as Incentives for Reinforcement Learning Agents: A Sim2Real Analysis on Robotic Grasping

Auteurs: Panagiotis Petropoulakis, Ludwig Gräf, Mohammadhossein Malmir, Josip Josifovski, Alois Knoll
Publié dans: 2024 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2025
Éditeur: IEEE
DOI: 10.48550/ARXIV.2309.11984

Ontology-based Testing for Quality Assurance of Robotics Applications

Auteurs: Shahzad Nayab, Franz Wotawa
Publié dans: 2025 25th International Conference on Software Quality, Reliability, and Security Companion (QRS-C), 2025
Éditeur: IEEE
DOI: 10.1109/QRS-C65679.2025.00114

Deep Neural Quality of Service Prediction for Unmanned Aircraft System Communications

Auteurs: Patrick Purucker, Christian Reil, Alfred Höß, Björn W. Schuller
Publié dans: 2024 International Wireless Communications and Mobile Computing (IWCMC), 2024, ISSN 2376-6506
Éditeur: IEEE
DOI: 10.1109/IWCMC61514.2024.10592318

Testing and Reinforcement Learning - A Structured Literature Review

Auteurs: Shahzad Nayab, Franz Wotawa
Publié dans: 2024 IEEE 24th International Conference on Software Quality, Reliability, and Security Companion (QRS-C), 2024
Éditeur: Springer Nature
DOI: 10.1109/QRS-C63300.2024.00049

A Framework for Automated CGRA Design Space Exploration with Genetic Algorithm Optimization

Auteurs: Maryam Katebzadeh, Daniel Vazquez, Andres Otero, Alfonso Rodriguez
Publié dans: 2025 40th Conference on Design of Circuits and Integrated Systems (DCIS), 2025
Éditeur: IEEE
DOI: 10.1109/DCIS67520.2025.11281902

Online Monitoring of Interturn Short Circuit Current in PMSMs

Auteurs: Zezula, Lukáš; Blaha, Petr
Publié dans: IECON 2024: 50th Annual Conference of the IEEE Industrial Electronics Society, 2024
Éditeur: IEEE
DOI: 10.1109/IECON55916.2024.10905190

Surveying the Use of Ontologies for Testing - From Past to Current Research (S)

Auteurs: Nayab Shahzad, Franz Wotawa
Publié dans: International Conferences on Distributed Multimedia Systems, Proceedings of the 31st International Conference on Distributed Multimedia Systems, Numéro 2025, 2025
Éditeur: KSI Research Inc.
DOI: 10.18293/DMS2025-097

An Approach to Hardware-Accelerated Quantum Sensing Based on NV Centers in Diamonds

Auteurs: Andrejs Cvetkovs, Gatis Supols, Rihards Novickis
Publié dans: 2025 International Conference on Networking, Sensing and Control (ICNSC), 2026
Éditeur: IEEE
DOI: 10.1109/ICNSC66229.2025.00075

Improve Modeling, Control, and Health Monitoring of an e-Motor Applying an Integrated Flux Sensing Array: Concepts and Design

Auteurs: Alessandro Capitanio, Giada Sala, Ali Esmaeilnia, Inigo Garcia de Madinabeitia, Andrea Pastore, Maurizio Tranchero, Giovanni Franceschini, Michael Saur
Publié dans: SAE Technical Paper Series, Numéro 1, 2025
Éditeur: SAE International
DOI: 10.4271/2025-24-0125

Flux Density Waveform Reconstruction Method for Efficient Finite Element Analysis of Electric Motors

Auteurs: Alessandro Capitanio, Giacomo Sala, Stefano Nuzzo, Gabriele Rizzoli, Davide Barater, Giovanni Franceschini
Publié dans: 2024 International Conference on Electrical Machines (ICEM), 2024
Éditeur: IEEE
DOI: 10.1109/ICEM60801.2024.10700552

Influence of Hyperparameters in Neural State-Space Models for Data-Driven Black-Box Modelling of Synchronous Motors: A Case Study

Auteurs: Philipp Mueller, Stefan Haehnlein, Jan Philipp Degel, Christian Kloeffer
Publié dans: 2025 IEEE International Electric Machines & Drives Conference (IEMDC), 2025
Éditeur: IEEE
DOI: 10.1109/IEMDC60492.2025.11061168

Acceleration of C/C++ Kernels and ONNX Models on CGRAs with MLIR-Based Compilation

Auteurs: Juan Gallego, José Ferreira, Luís Alves, Daniel Vázquez, João Bispo, Alfonso Rodríguez, Nuno Paulino, Andrés Otero
Publié dans: 2025 40th Conference on Design of Circuits and Integrated Systems (DCIS), 2025
Éditeur: IEEE
DOI: 10.1109/DCIS67520.2025.11281807

RISC++: Towards an HLS Defined RISC-V SoC

Auteurs: Oliveira, Guilherme Vareiro de; Pirassoli, Vinicius Dutra; Sousa, Luís; Paulino, Nuno
Publié dans: 2025 28th Euromicro Conference on Digital System Design (DSD), 2025
Éditeur: IEEE
DOI: 10.5281/ZENODO.15829453

State-of-the-Art of Ontology-based Testing

Auteurs: Tobias Kulmburg, Nayab Shahzad, Franz Wotawa
Publié dans: 2025 IEEE International Conference on Artificial Intelligence Testing (AITest), 2025
Éditeur: IEEE
DOI: 10.1109/AITEST66680.2025.00007

Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy

Auteurs: Borzoo Bonakdarpoor, Anik Momtaz, Dejan Nickovic and Ege Sarac
Publié dans: 2025
Éditeur: International Journal on Software Tools for Technology Transfer
DOI: 10.48550/ARXIV.2408.05033

Multi-criteria Knowledge-based decision-making functionality for swarm of drones

Auteurs: Dimitrios Georgiadis, Elena Politi, George Dimitrakopoulos, Iraklis Varlamis
Publié dans: 2024 Wireless Telecommunications Symposium (WTS), 2024
Éditeur: IEEE
DOI: 10.1109/WTS60164.2024.10536684

Evolutionary FPGA-Based Spiking Neural Networks for Continual Learning

Auteurs: Otero, A., Sanllorente, G., de la Torre, E., Nunez-Yanez, J.
Publié dans: 2023, ISBN 978-3-031-42920-0
Éditeur: Springer
DOI: 10.1007/978-3-031-42921-7_18

Ontology-based Testing Revisited

Auteurs: Tobias Kulmburg, Franz Wotawa
Publié dans: 2025 IEEE International Conference on Artificial Intelligence Testing (AITest), 2025
Éditeur: IEEE
DOI: 10.1109/AITEST66680.2025.00024

Magnetic Field Map-Based Localization: A Novel Approach for Search and Rescue Robotics

Auteurs: Berin Dikic, Ilma Okanovic, Stephanie Grubmüller, Selim Solmaz, Haris Sikic, Qiuyi Cao
Publié dans: 2025 IEEE International Automated Vehicle Validation Conference (IAVVC), 2025
Éditeur: IEEE
DOI: 10.1109/IAVVC61942.2025.11219502

Towards In-Cabin Monitoring: A Preliminary Study on Sensors Data Collection and Analysis

Auteurs: Sini, Jacopo; Pugliese, Luigi; Groppo, Sara; Guagnano, Michele; Violante, Massimo
Publié dans: 2023
Éditeur: arXiv
DOI: 10.48550/arxiv.2309.11890

A-IQ Ready - Artificial Intelligence Using Quantum Measured Information for Realtime Distributed Systems at the Edge (INESC Brussels Hub Winter Meeting 2024)

Auteurs: Paulino, Nuno; Bispo, João; Ferreira, João
Publié dans: 2024
Éditeur: Zenodo
DOI: 10.5281/ZENODO.14919718

A comparison of power allocation mechanisms for 5G D2D mobile communication networks

Auteurs: Dimitris Georgiadis, Elena Politi, George Dimitrakopoulos
Publié dans: 2023, ISSN 2690-8336
Éditeur: IEEE
DOI: 10.1109/WTS202356685.2023.10131761

A Lightweight Peripheral Design for RRAM-based LUTs

Auteurs: Philipp Grothe, Christoph Hübner, Rainer Buchty, Mladen Berekovic, Saleh Mulhem
Publié dans: 2025 IEEE International Symposium on Circuits and Systems (ISCAS), 2025
Éditeur: IEEE
DOI: 10.1109/ISCAS56072.2025.11043944

Control Set Reduction for PMSM Predictive Controller via Assisted Learning Algorithm

Auteurs: Kozubík, Michal; Václavek, Pavel
Publié dans: 2024 IEEE 33rd International Symposium on Industrial Electronics (ISIE), 2024
Éditeur: IEEE
DOI: 10.1109/ISIE54533.2024.10595683

SIMD Acceleration of Matrix-Vector Operations on RISC-V for Variable Precision Neural Networks

Auteurs: Gonzalo Salinas, Guilherme Sequeira, Alfonso Rodríguez, João Bispo, Nuno Paulino
Publié dans: 2025 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), 2025
Éditeur: IEEE
DOI: 10.1109/IPDPSW66978.2025.00178

Inductance Based Lumped Parameter IPM Machine Model for Fast Simulation

Auteurs: Claudio Bianchini, Giada Sala, Matteo Frigieri, Mattia Vogni, Nicola Giannotta, Alessandro Capitanio
Publié dans: 2024 IEEE Energy Conversion Congress and Exposition (ECCE), 2024
Éditeur: IEEE
DOI: 10.1109/ECCE55643.2024.10861024

Multi-Modal Survivor Detection in Search and Rescue Missions: Lidar and Thermal Camera Fusion

Auteurs: Haris Šikić, Stephanie Grubmüller, Selim Solmaz, Qiuyi Cao, Berin Đikić
Publié dans: 2025 IEEE International Automated Vehicle Validation Conference (IAVVC), 2025
Éditeur: IEEE
DOI: 10.1109/IAVVC61942.2025.11219461

A Deep Reinforcement Learning Approach for Navigation and Control of Autonomous Underwater Vehicles in Complex Environments

Auteurs: Artemis Stefanidou, Elena Politi, Christos Chronis, George Dimitrakopoulos, Iraklis Varlamis
Publié dans: 2024 18th International Conference on Control, Automation, Robotics and Vision (ICARCV), 2025
Éditeur: IEEE
DOI: 10.1109/ICARCV63323.2024.10821667

Book chapters (3)

Application of Model-Checking Techniques to Railway Scheduling Problems

Auteurs: Radu Mateescu, Wendelin Serwe, Aline Uwimbabazi
Publié dans: Lecture Notes in Computer Science, Journeys Between Formal Methods and the Railway Industry, 2026
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-032-12484-5_12

On the Quest for Criticality Searching for Interactions that Matter When Hunting for Bugs

Auteurs: Franz Wotawa
Publié dans: Lecture Notes in Computer Science, Go Where the Bugs Are, 2025
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-92196-4_17

Assessing Test Scenarios for Autonomous Driving Using Probabilistic Model Checking

Auteurs: Jean-Baptiste Horel, Philippe Ledent, Radu Mateescu, Wendelin Serwe, Aline Uwimbabazi
Publié dans: Lecture Notes in Computer Science, Testing Software and Systems, 2025
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-032-05188-2_18

Other (2)

Simulation-Based Diagnosis for Cyber-Physical Systems - A General Approach and Case Study on a Dual Three-Phase E-Machine

Auteurs: Kaufmann, David; Kozovsky, Matus; Wotawa, Franz
Publié dans: 2024
DOI: 10.4230/OASICS.DX.2024.18

CGRA-RISC: Simulation Infrastructure for Coupling CGRA Accelerator to RISC-V Processor

Auteurs: Francisco Rente Ribeiro, António; Ferreira, João; Paulino, Nuno
Publié dans: 2024
Éditeur: Repositorio Aberto
DOI: 10.34626/DYBA-W481