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

Project Information

A-IQ Ready

Grant agreement ID: 101096658

DOI

10.3030/101096658

Project closed

EC signature date 5 December 2022

Start date 1 January 2023

End date 31 March 2026

Funded under

• Digital, Industry and Space

Total cost

€ 33 392 376,22

EU contribution

€ 10 506 182,08

Coordinated by

AVL LIST GMBH
Austria

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Deliverables

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

Author(s): Michal Kozubik, Libor Vesely, Eyke Aufderheide, Pavel Vaclavek
Published in: IEEE Access, Issue 12, 2024, ISSN 2169-3536
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/ACCESS.2024.3456432

Lecture Notes in Computer Science

Author(s): Bonakdarpour, Borzoo; Momtaz, Anik; Ničković, Dejan; Saraç, N. Ege
Published in: Lecture Notes in Computer Science ISBN: 9783031742330, 2024, ISSN 0302-9743
Publisher: Springer Verlag
DOI: 10.48550/ARXIV.2408.05033

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

Author(s): Mohammadhossein Malmir, Josip Josifovski, Noah Klarmann, Alois Knoll
Published in: IEEE Transactions on Control Systems Technology, 2025, ISSN 1063-6536
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.48550/ARXIV.2306.09010

Satellite-based InSAR Geodesy and Collocation with GNSS

Author(s): Juraj Papco, Matus Bakon, Lukas Kubica, Gabika Belicova, Branislav Droscak, Martin Ferianc, Martin Rovnak, Antonio M. Ruiz, Joaquim J. Sousa
Published in: Procedia Computer Science, Issue 239, 2024, ISSN 1877-0509
Publisher: Elsevier BV
DOI: 10.1016/j.procs.2024.06.426

Compositional verification of priority systems using sharp bisimulation

Author(s): Luca Di Stefano, Frédéric Lang
Published in: Formal Methods in System Design, Issue 62, 2024, ISSN 0925-9856
Publisher: Springer Science and Business Media LLC
DOI: 10.1007/S10703-023-00422-1

Bayesian Knowledge Transfer for a Kalman Fixed-Lag Interval Smoother

Author(s): Ondřej Skalský, Jakub Dokoupil
Published in: IEEE Control Systems Letters, Issue 9, 2025, ISSN 2475-1456
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/LCSYS.2025.3580047

Formal Methods in System Design

Author(s): Luca Di Stefano; Frédéric Lang
Published in: Formal Methods in System Design, 2023, ISSN 0925-9856
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s10703-023-00422-1

HPRS: hierarchical potential-based reward shaping from task specifications

Author(s): Luigi Berducci, Edgar A. Aguilar, Dejan Ničković, Radu Grosu
Published in: Frontiers in Robotics and AI, Issue 11, 2025, ISSN 2296-9144
Publisher: 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++

Author(s): Vinicius Pirassoli, Luís Sousa, Nuno Paulino, João Bispo
Published in: XIX Jornadas sobre Sistemas Reconfiguráveis (REC), 2024
Publisher: Faculdade de Engenharia, Universidade do Porto, Portugal
DOI: 10.5281/ZENODO.14930331

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

Author(s): Neto, Nelson; Ferreira, José Pedro; Gonçalo Correia, Pedro; Rodriguez, Alfonso; Otero, Andrés; Paulino, Nuno; Bispo, João
Published in: 2025
Publisher: Zenodo
DOI: 10.5281/ZENODO.14924547

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

Author(s): Qiuyi Cao, Stephanie Grubmuller, Berin Dikic, Selim Solmaz, Robert Wenighofer, Pamela Innerwinkler, Haris Sikic and Eduardo E. Veas
Published in: 2026
Publisher: Zenodo
DOI: 10.5281/ZENODO.17407065

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

Author(s): Buchta, Luděk; Kozovský, Matúš
Published in: IECON 2024- 50th Annual Conference of the IEEE Industrial Electronics Society. 2024, 2024
Publisher: IEEE
DOI: 10.1109/IECON55916.2024.10905982

Utilizing Ontologies for Combinatorial Testing

Author(s): Franz Wotawa
Published in: 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2025
Publisher: IEEE
DOI: 10.1109/ICSTW64639.2025.10962509

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

Author(s): Alessio Gambi, Shreya Mathews, Benedikt Steininger, Mykhailo Poienko, David Bobek
Published in: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Publisher: ACM
DOI: 10.1145/3650212.3685299

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

Author(s): Alessandro Capitanio, Stefano Nuzzo, Giacomo Sala, Davide Barater, Giovanni Franceschini
Published in: 2024 International Conference on Electrical Machines (ICEM), 2024
Publisher: IEEE
DOI: 10.1109/ICEM60801.2024.10700496

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

Author(s): Pedro Ramalho, Manuel Cerqueira da Silva, João Bispo, Nuno Paulino
Published in: INFORUM 2024 (15th National Informatics Symposium), 2024
Publisher: 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

Author(s): Panagiotis Petropoulakis, Ludwig Gräf, Mohammadhossein Malmir, Josip Josifovski, Alois Knoll
Published in: 2024 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2025
Publisher: IEEE
DOI: 10.48550/ARXIV.2309.11984

Ontology-based Testing for Quality Assurance of Robotics Applications

Author(s): Shahzad Nayab, Franz Wotawa
Published in: 2025 25th International Conference on Software Quality, Reliability, and Security Companion (QRS-C), 2025
Publisher: IEEE
DOI: 10.1109/QRS-C65679.2025.00114

Deep Neural Quality of Service Prediction for Unmanned Aircraft System Communications

Author(s): Patrick Purucker, Christian Reil, Alfred Höß, Björn W. Schuller
Published in: 2024 International Wireless Communications and Mobile Computing (IWCMC), 2024, ISSN 2376-6506
Publisher: IEEE
DOI: 10.1109/IWCMC61514.2024.10592318

Testing and Reinforcement Learning - A Structured Literature Review

Author(s): Shahzad Nayab, Franz Wotawa
Published in: 2024 IEEE 24th International Conference on Software Quality, Reliability, and Security Companion (QRS-C), 2024
Publisher: Springer Nature
DOI: 10.1109/QRS-C63300.2024.00049

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

Author(s): Maryam Katebzadeh, Daniel Vazquez, Andres Otero, Alfonso Rodriguez
Published in: 2025 40th Conference on Design of Circuits and Integrated Systems (DCIS), 2025
Publisher: IEEE
DOI: 10.1109/DCIS67520.2025.11281902

Online Monitoring of Interturn Short Circuit Current in PMSMs

Author(s): Zezula, Lukáš; Blaha, Petr
Published in: IECON 2024: 50th Annual Conference of the IEEE Industrial Electronics Society, 2024
Publisher: IEEE
DOI: 10.1109/IECON55916.2024.10905190

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

Author(s): Nayab Shahzad, Franz Wotawa
Published in: International Conferences on Distributed Multimedia Systems, Proceedings of the 31st International Conference on Distributed Multimedia Systems, Issue 2025, 2025
Publisher: KSI Research Inc.
DOI: 10.18293/DMS2025-097

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

Author(s): Andrejs Cvetkovs, Gatis Supols, Rihards Novickis
Published in: 2025 International Conference on Networking, Sensing and Control (ICNSC), 2026
Publisher: 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

Author(s): Alessandro Capitanio, Giada Sala, Ali Esmaeilnia, Inigo Garcia de Madinabeitia, Andrea Pastore, Maurizio Tranchero, Giovanni Franceschini, Michael Saur
Published in: SAE Technical Paper Series, Issue 1, 2025
Publisher: SAE International
DOI: 10.4271/2025-24-0125

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

Author(s): Alessandro Capitanio, Giacomo Sala, Stefano Nuzzo, Gabriele Rizzoli, Davide Barater, Giovanni Franceschini
Published in: 2024 International Conference on Electrical Machines (ICEM), 2024
Publisher: 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

Author(s): Philipp Mueller, Stefan Haehnlein, Jan Philipp Degel, Christian Kloeffer
Published in: 2025 IEEE International Electric Machines & Drives Conference (IEMDC), 2025
Publisher: IEEE
DOI: 10.1109/IEMDC60492.2025.11061168

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

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

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

Author(s): Oliveira, Guilherme Vareiro de; Pirassoli, Vinicius Dutra; Sousa, Luís; Paulino, Nuno
Published in: 2025 28th Euromicro Conference on Digital System Design (DSD), 2025
Publisher: IEEE
DOI: 10.5281/ZENODO.15829453

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

Author(s): Tobias Kulmburg, Nayab Shahzad, Franz Wotawa
Published in: 2025 IEEE International Conference on Artificial Intelligence Testing (AITest), 2025
Publisher: IEEE
DOI: 10.1109/AITEST66680.2025.00007

Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy

Author(s): Borzoo Bonakdarpoor, Anik Momtaz, Dejan Nickovic and Ege Sarac
Published in: 2025
Publisher: 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

Author(s): Dimitrios Georgiadis, Elena Politi, George Dimitrakopoulos, Iraklis Varlamis
Published in: 2024 Wireless Telecommunications Symposium (WTS), 2024
Publisher: IEEE
DOI: 10.1109/WTS60164.2024.10536684

Evolutionary FPGA-Based Spiking Neural Networks for Continual Learning

Author(s): Otero, A., Sanllorente, G., de la Torre, E., Nunez-Yanez, J.
Published in: 2023, ISBN 978-3-031-42920-0
Publisher: Springer
DOI: 10.1007/978-3-031-42921-7_18

Ontology-based Testing Revisited

Author(s): Tobias Kulmburg, Franz Wotawa
Published in: 2025 IEEE International Conference on Artificial Intelligence Testing (AITest), 2025
Publisher: IEEE
DOI: 10.1109/AITEST66680.2025.00024

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

Author(s): Berin Dikic, Ilma Okanovic, Stephanie Grubmüller, Selim Solmaz, Haris Sikic, Qiuyi Cao
Published in: 2025 IEEE International Automated Vehicle Validation Conference (IAVVC), 2025
Publisher: IEEE
DOI: 10.1109/IAVVC61942.2025.11219502

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

Author(s): Sini, Jacopo; Pugliese, Luigi; Groppo, Sara; Guagnano, Michele; Violante, Massimo
Published in: 2023
Publisher: 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)

Author(s): Paulino, Nuno; Bispo, João; Ferreira, João
Published in: 2024
Publisher: Zenodo
DOI: 10.5281/ZENODO.14919718

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

Author(s): Dimitris Georgiadis, Elena Politi, George Dimitrakopoulos
Published in: 2023, ISSN 2690-8336
Publisher: IEEE
DOI: 10.1109/WTS202356685.2023.10131761

A Lightweight Peripheral Design for RRAM-based LUTs

Author(s): Philipp Grothe, Christoph Hübner, Rainer Buchty, Mladen Berekovic, Saleh Mulhem
Published in: 2025 IEEE International Symposium on Circuits and Systems (ISCAS), 2025
Publisher: IEEE
DOI: 10.1109/ISCAS56072.2025.11043944

Control Set Reduction for PMSM Predictive Controller via Assisted Learning Algorithm

Author(s): Kozubík, Michal; Václavek, Pavel
Published in: 2024 IEEE 33rd International Symposium on Industrial Electronics (ISIE), 2024
Publisher: IEEE
DOI: 10.1109/ISIE54533.2024.10595683

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

Author(s): Gonzalo Salinas, Guilherme Sequeira, Alfonso Rodríguez, João Bispo, Nuno Paulino
Published in: 2025 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), 2025
Publisher: IEEE
DOI: 10.1109/IPDPSW66978.2025.00178

Inductance Based Lumped Parameter IPM Machine Model for Fast Simulation

Author(s): Claudio Bianchini, Giada Sala, Matteo Frigieri, Mattia Vogni, Nicola Giannotta, Alessandro Capitanio
Published in: 2024 IEEE Energy Conversion Congress and Exposition (ECCE), 2024
Publisher: IEEE
DOI: 10.1109/ECCE55643.2024.10861024

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

Author(s): Haris Šikić, Stephanie Grubmüller, Selim Solmaz, Qiuyi Cao, Berin Đikić
Published in: 2025 IEEE International Automated Vehicle Validation Conference (IAVVC), 2025
Publisher: IEEE
DOI: 10.1109/IAVVC61942.2025.11219461

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

Author(s): Artemis Stefanidou, Elena Politi, Christos Chronis, George Dimitrakopoulos, Iraklis Varlamis
Published in: 2024 18th International Conference on Control, Automation, Robotics and Vision (ICARCV), 2025
Publisher: IEEE
DOI: 10.1109/ICARCV63323.2024.10821667

Book chapters (3)

Application of Model-Checking Techniques to Railway Scheduling Problems

Author(s): Radu Mateescu, Wendelin Serwe, Aline Uwimbabazi
Published in: Lecture Notes in Computer Science, Journeys Between Formal Methods and the Railway Industry, 2026
Publisher: 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

Author(s): Franz Wotawa
Published in: Lecture Notes in Computer Science, Go Where the Bugs Are, 2025
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-92196-4_17

Assessing Test Scenarios for Autonomous Driving Using Probabilistic Model Checking

Author(s): Jean-Baptiste Horel, Philippe Ledent, Radu Mateescu, Wendelin Serwe, Aline Uwimbabazi
Published in: Lecture Notes in Computer Science, Testing Software and Systems, 2025
Publisher: 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

Author(s): Kaufmann, David; Kozovsky, Matus; Wotawa, Franz
Published in: 2024
DOI: 10.4230/OASICS.DX.2024.18

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

Author(s): Francisco Rente Ribeiro, António; Ferreira, João; Paulino, Nuno
Published in: 2024
Publisher: Repositorio Aberto
DOI: 10.34626/DYBA-W481