Design Automation for Smart Factories

Informations projet

DeFacto

N° de convention de subvention: 894237

DOI

10.3030/894237

Projet clôturé

Date de signature de la CE 17 Mars 2020

Date de début 1 Octobre 2020

Date de fin 30 Septembre 2023

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 269 002,56

Contribution de l’UE

€ 269 002,56

Coordonné par

UNIVERSITA DEGLI STUDI DI VERONA
Italy

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 .

Publications

Conference proceedings (10)

Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism

Auteurs: Yifeng Xiao, Chanwook Oh, Michele Lora, Pierluigi Nuzzo
Publié dans: Proceedings of the 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024, Page(s) 1-6
Éditeur: IEEE

Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems

Auteurs: Stefano Spellini; Sebastiano Gaiardelli; Michele Lora; Franco Fummi
Publié dans: Proceedings of the 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021
Éditeur: IEEE
DOI: 10.1109/etfa45728.2021.9613572

A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems

Auteurs: Michele Lora; Pierluigi Nuzzo
Publié dans: Proceedings of 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS), 2022
Éditeur: IEEE
DOI: 10.1109/iccps54341.2022.00046

Split-Et-Impera: A Framework for the Design of Distributed Deep Learning Applications

Auteurs: Luigi Capogrosso; Federico Cunico; Michele Lora; Marco Cristani; Franco Fummi; Davide Quaglia
Publié dans: Proceedings of the 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), 2023, Page(s) 6
Éditeur: IEEE
DOI: 10.1109/ddecs57882.2023.10139711

Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts

Auteurs: Chanwook Oh; Michele Lora; Pierluigi Nuzzo
Publié dans: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022, Page(s) 6
Éditeur: ACM
DOI: 10.1145/3508352.3549446

Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads

Auteurs: Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo
Publié dans: Proceedings of the 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2023, Page(s) 1-6
Éditeur: IEEE

A Hierarchical Modeling Approach to Improve Scheduling of Manufacturing Processes

Auteurs: Sebastiano Gaiardelli; Stefano Spellini; Michele Lora; Franco Fummi
Publié dans: Proceedings of 2022 IEEE 31st International Symposium on Industrial Electronics (ISIE), 2022
Éditeur: IEEE
DOI: 10.1109/isie51582.2022.9831468

Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0

Auteurs: Sebastiano Gaiardelli; Stefano Spellini; Michele Lora; Franco Fummi
Publié dans: Proceedings of the 2021 Forum on specification & Design Languages (FDL), 2021
Éditeur: IEEE
DOI: 10.1109/fdl53530.2021.9568371

Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses

Auteurs: Christopher Leet; Chanwook Oh; Michele Lora; Sven Koenig; Pierluigi Nuzzo
Publié dans: Proceedings of the 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2023, Page(s) 6
Éditeur: IEEE
DOI: 10.23919/date56975.2023.10137069

A Software Architecture to Control Service-Oriented Manufacturing Systems

Auteurs: Sebastiano Gaiardelli; Stefano Spellini; Marco Panato; Michele Lora; Franco Fummi
Publié dans: Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2022
Éditeur: IEEE
DOI: 10.23919/date54114.2022.9774522