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

Informazioni relative al progetto

A-IQ Ready

ID dell’accordo di sovvenzione: 101096658

DOI

10.3030/101096658

Progetto chiuso

Data della firma CE 5 Dicembre 2022

Data di avvio 1 Gennaio 2023

Data di completamento 31 Marzo 2026

Finanziato da

• Digital, Industry and Space

Costo totale

€ 33 392 376,22

Contributo UE

€ 10 506 182,08

Coordinato da

AVL LIST GMBH
Austria

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

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

Pubblicazioni

Peer reviewed articles (8)

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

Autori: Michal Kozubik, Libor Vesely, Eyke Aufderheide, Pavel Vaclavek
Pubblicato in: IEEE Access, Numero 12, 2024, ISSN 2169-3536
Editore: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/ACCESS.2024.3456432

Lecture Notes in Computer Science

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

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

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

Satellite-based InSAR Geodesy and Collocation with GNSS

Autori: Juraj Papco, Matus Bakon, Lukas Kubica, Gabika Belicova, Branislav Droscak, Martin Ferianc, Martin Rovnak, Antonio M. Ruiz, Joaquim J. Sousa
Pubblicato in: Procedia Computer Science, Numero 239, 2024, ISSN 1877-0509
Editore: Elsevier BV
DOI: 10.1016/j.procs.2024.06.426

Compositional verification of priority systems using sharp bisimulation

Autori: Luca Di Stefano, Frédéric Lang
Pubblicato in: Formal Methods in System Design, Numero 62, 2024, ISSN 0925-9856
Editore: Springer Science and Business Media LLC
DOI: 10.1007/S10703-023-00422-1

Bayesian Knowledge Transfer for a Kalman Fixed-Lag Interval Smoother

Autori: Ondřej Skalský, Jakub Dokoupil
Pubblicato in: IEEE Control Systems Letters, Numero 9, 2025, ISSN 2475-1456
Editore: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/LCSYS.2025.3580047

Formal Methods in System Design

Autori: Luca Di Stefano; Frédéric Lang
Pubblicato in: Formal Methods in System Design, 2023, ISSN 0925-9856
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10703-023-00422-1

HPRS: hierarchical potential-based reward shaping from task specifications

Autori: Luigi Berducci, Edgar A. Aguilar, Dejan Ničković, Radu Grosu
Pubblicato in: Frontiers in Robotics and AI, Numero 11, 2025, ISSN 2296-9144
Editore: 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++

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

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

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

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

Autori: Qiuyi Cao, Stephanie Grubmuller, Berin Dikic, Selim Solmaz, Robert Wenighofer, Pamela Innerwinkler, Haris Sikic and Eduardo E. Veas
Pubblicato in: 2026
Editore: Zenodo
DOI: 10.5281/ZENODO.17407065

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

Autori: Buchta, Luděk; Kozovský, Matúš
Pubblicato in: IECON 2024- 50th Annual Conference of the IEEE Industrial Electronics Society. 2024, 2024
Editore: IEEE
DOI: 10.1109/IECON55916.2024.10905982

Utilizing Ontologies for Combinatorial Testing

Autori: Franz Wotawa
Pubblicato in: 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2025
Editore: IEEE
DOI: 10.1109/ICSTW64639.2025.10962509

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

Autori: Alessio Gambi, Shreya Mathews, Benedikt Steininger, Mykhailo Poienko, David Bobek
Pubblicato in: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Editore: ACM
DOI: 10.1145/3650212.3685299

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

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

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

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

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

Ontology-based Testing for Quality Assurance of Robotics Applications

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

Deep Neural Quality of Service Prediction for Unmanned Aircraft System Communications

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

Testing and Reinforcement Learning - A Structured Literature Review

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

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

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

Online Monitoring of Interturn Short Circuit Current in PMSMs

Autori: Zezula, Lukáš; Blaha, Petr
Pubblicato in: IECON 2024: 50th Annual Conference of the IEEE Industrial Electronics Society, 2024
Editore: IEEE
DOI: 10.1109/IECON55916.2024.10905190

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

Autori: Nayab Shahzad, Franz Wotawa
Pubblicato in: International Conferences on Distributed Multimedia Systems, Proceedings of the 31st International Conference on Distributed Multimedia Systems, Numero 2025, 2025
Editore: KSI Research Inc.
DOI: 10.18293/DMS2025-097

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

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

Autori: Alessandro Capitanio, Giada Sala, Ali Esmaeilnia, Inigo Garcia de Madinabeitia, Andrea Pastore, Maurizio Tranchero, Giovanni Franceschini, Michael Saur
Pubblicato in: SAE Technical Paper Series, Numero 1, 2025
Editore: SAE International
DOI: 10.4271/2025-24-0125

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

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

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

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

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

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

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

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

Autori: Tobias Kulmburg, Nayab Shahzad, Franz Wotawa
Pubblicato in: 2025 IEEE International Conference on Artificial Intelligence Testing (AITest), 2025
Editore: IEEE
DOI: 10.1109/AITEST66680.2025.00007

Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy

Autori: Borzoo Bonakdarpoor, Anik Momtaz, Dejan Nickovic and Ege Sarac
Pubblicato in: 2025
Editore: 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

Autori: Dimitrios Georgiadis, Elena Politi, George Dimitrakopoulos, Iraklis Varlamis
Pubblicato in: 2024 Wireless Telecommunications Symposium (WTS), 2024
Editore: IEEE
DOI: 10.1109/WTS60164.2024.10536684

Evolutionary FPGA-Based Spiking Neural Networks for Continual Learning

Autori: Otero, A., Sanllorente, G., de la Torre, E., Nunez-Yanez, J.
Pubblicato in: 2023, ISBN 978-3-031-42920-0
Editore: Springer
DOI: 10.1007/978-3-031-42921-7_18

Ontology-based Testing Revisited

Autori: Tobias Kulmburg, Franz Wotawa
Pubblicato in: 2025 IEEE International Conference on Artificial Intelligence Testing (AITest), 2025
Editore: IEEE
DOI: 10.1109/AITEST66680.2025.00024

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

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

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

Autori: Sini, Jacopo; Pugliese, Luigi; Groppo, Sara; Guagnano, Michele; Violante, Massimo
Pubblicato in: 2023
Editore: 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)

Autori: Paulino, Nuno; Bispo, João; Ferreira, João
Pubblicato in: 2024
Editore: Zenodo
DOI: 10.5281/ZENODO.14919718

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

Autori: Dimitris Georgiadis, Elena Politi, George Dimitrakopoulos
Pubblicato in: 2023, ISSN 2690-8336
Editore: IEEE
DOI: 10.1109/WTS202356685.2023.10131761

A Lightweight Peripheral Design for RRAM-based LUTs

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

Control Set Reduction for PMSM Predictive Controller via Assisted Learning Algorithm

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

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

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

Inductance Based Lumped Parameter IPM Machine Model for Fast Simulation

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

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

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

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

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

Book chapters (3)

Application of Model-Checking Techniques to Railway Scheduling Problems

Autori: Radu Mateescu, Wendelin Serwe, Aline Uwimbabazi
Pubblicato in: Lecture Notes in Computer Science, Journeys Between Formal Methods and the Railway Industry, 2026
Editore: 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

Autori: Franz Wotawa
Pubblicato in: Lecture Notes in Computer Science, Go Where the Bugs Are, 2025
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-92196-4_17

Assessing Test Scenarios for Autonomous Driving Using Probabilistic Model Checking

Autori: Jean-Baptiste Horel, Philippe Ledent, Radu Mateescu, Wendelin Serwe, Aline Uwimbabazi
Pubblicato in: Lecture Notes in Computer Science, Testing Software and Systems, 2025
Editore: 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

Autori: Kaufmann, David; Kozovsky, Matus; Wotawa, Franz
Pubblicato in: 2024
DOI: 10.4230/OASICS.DX.2024.18

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

Autori: Francisco Rente Ribeiro, António; Ferreira, João; Paulino, Nuno
Pubblicato in: 2024
Editore: Repositorio Aberto
DOI: 10.34626/DYBA-W481