Skip to main content
European Commission logo
English English
CORDIS - EU research results
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary

Cyber Physical Systems for Europe

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

Website and Social Media Channels v3

The project website will include a public part to inform the general public focusing on SMEs and a private part to enable optimized communication among the project partnersThe website will be updated continuously with the results of the projectBME will create the social media channels and connects them to the website

Industrial information, Coaching, Training v3

Seminars and conferences organization thereafter contributors will provide a number of participating SMEs startups and research organizations Presentation document or videos for SMEs startups and research organizations to promote the CPS4EU project and technologiesJESSICA FRANCE will provide advices through consulting engineer to SMEs on the integration of the CPS after what JESSICA FRANCE will provide a number of advised SMEs

Website and Social Media Channels v2

The project website will include a public part to inform the general public, focusing on SMEs and a private part to enable optimized communication among the project partners. The website will be updated continuously with the results of the project. BME will create the social media channels and connects them to the website.

Industrial information, Coaching, Training v2

Seminars and conferences organization thereafter contributors will provide a number of participating SMEs, start-ups and research organizations. Presentation document or videos for SMEs, start-ups and research organizations to promote the CPS4EU project and technologies. JESSICA FRANCE will provide advices (through consulting engineer) to SMEs on the integration of the CPS after what JESSICA FRANCE will provide a number of advised SMEs.

Website and Social Media Channels v1

The project website will include a public part to inform the general public, focusing on SMEs and a private part to enable optimized communication among the project partners. The website will be updated continuously with the results of the project. BME will create the social media channels and connects them to the website.

Industrial information, Coaching, Training v1

Seminars and conferences organization thereafter contributors will provide a number of participating SMEs, start-ups and research organizations. Presentation document or videos for SMEs, start-ups and research organizations to promote the CPS4EU project and technologies. JESSICA FRANCE will provide advices (through consulting engineer) to SMEs on the integration of the CPS after what JESSICA FRANCE will provide a number of advised SMEs.

Specification of CPS communication module v1

Specification of CPS communication module

Report on the publications v2

Report about journal, conference papers and video training materials.

Use case validation v2

Use Case 1 Report on testing and validation of an automaton built with the framework including assessment of robustness of the framework for the chosen ICT configurationUse Case 2 Unit test and integration program and results

Report on reaching SMEs v1

Report on reaching SMEs

SME Use Case specification & implementation

Partners will describe motivation and initial technical specification of their demonstrators. Description of an initial stage of implementation SM Use Case demonstrators and technologies used to achieve it. Partners will describe the initial stage of their demonstrators. Status of each demonstrator will be briefly described in a common report and the stage of development will be presented by video or by physical demo.

Road mapping and Benchmark v3

The Marketing office of the CEA will manage a market study through a questionnaire to have an overview of the technologies

Road mapping and Benchmark v2

The Marketing office of the CEA will manage a market study through a questionnaire to have an overview of the technologies.

Report on reaching SMEs v2

Report on reaching SMEs

Propositions for 5G, including URLLC evolution v1

Propositions for 5G, including URLLC evolution

Simulation tools and experimental platforms v2

Simulation tools and experimental platforms

Use case requirements v3

A specification of technical and business requirements for each individual use case The deliverable will dedicate one chapter to an update of the analysis of state of the art in the CPS for industry automation fieldUpdate of version v2 D82

Report on the publications v1

Report about journal, conference papers and video training materials.

Simulation tools and experimental platforms v1

Simulation tools and experimental platforms

Report on the publications v3

Report about journal conference papers and video training materials

Specification of CPS communication module v2

Specification of CPS communication module

CPS Tools - Best practice guide

Feedback on CPS industry tool requirements and tool pre-integration schemes

Validation results report (industry automation use case)

Validation results report

Use case requirements v1

A specification of technical and business requirements for each individual use case. The deliverable will dedicate one chapter to an update of the analysis of state of the art in the CPS for industry automation field.

Test and Validation plan
Road mapping and Benchmark v1

The Marketing office of the CEA will manage a market study through a questionnaire to have an overview of the technologies.

Use case definition and specifications v2

Use Case 1: Definition and high level specifications of a Framework enabling and efficient, reliable and agile distributed control architecture (contribution to WP4 specification). Specification of distributed control implementing a Model Predictive Control strategy. Use Case 2: Safety report for critical function (to select adequate redundancy policy).

Use case definition and specifications v1

Use Case 1: Definition and high level specifications of a Framework enabling and efficient, reliable and agile distributed control architecture (contribution to WP4 specification). Specification of distributed control implementing a Model Predictive Control strategy. Use Case 2: Safety report for critical function (to select adequate redundancy policy).

Propositions for 5G, including URLLC evolution v2

Propositions for 5G including URLLC evolution

CPS Tools - Evaluation

Assessment of tools and tools preintegration schemes to support development phases of cyberphysical systems

Use case requirements v2

A specification of technical and business requirements for each individual use case. The deliverable will dedicate one chapter to an update of the analysis of state of the art in the CPS for industry automation field.

Use case validation v1

Use Case 1: Report on testing and validation of an automaton built with the framework including assessment of robustness of the framework for the chosen ICT configuration. Use Case 2: Unit test and integration program and results.

CPS Tools - Requirement analysis

Analysis of tool needs in connection with use cases

Publications

Predictive control based on stochastic disturbance trajectories for congestion management in sub-transmission grids

Author(s): Nouha Dkhili, Sorin Olaru, Alessio Iovine, Manuel Ruiz, Jean Maeght, Patrick Panciatici
Published in: IFAC-PapersOnLine, Volume 55, Issue 16, 2022, Pages 302-307, ISSN 2405-8963, 2022
Publisher: Elsevier
DOI: 10.1016/j.ifacol.2022.09.041

A Model-Based Approach to Automatic Generation of TSN Network Simulations

Author(s): M. Samson, T. Vergnaud, É. Dujardin, L. Ciarletta, Y. -Q. Song
Published in: IEEE 18th International Conference on Factory Communication Systems (WFCS), 2022
Publisher: IEEE
DOI: 10.1109/wfcs53837.2022.9779173

Offline segmentation of spatio-temporal order trajectories by mixed-integer linear programming for determining process times in production systems

Author(s): Maximilian Volk, Carina Mieth
Published in: Procedia CIRP, Issue yearly, 2022
Publisher: Elsevier
DOI: 10.1016/j.procir.2022.05.050

AUTOMATIC COMPONENT-BASED SYNTHESIS OF USER-CONFIGURED MANUFACTURING SIMULATION MODELS

Author(s): Fadil Kallat, Jens Hetzler, Alexander Mages, Carina Mieth, Jakob Rehof, Christian Riest, Tristan Schäfer
Published in: Proceedings of the Winter Simulation Conference 2022, 2023
Publisher: IEEE Press

INNOVATIVE APPROACH TO QUANTIFY AND QUALIFY THE REAL TRAFFIC NOISE POLLUTION

Author(s): Kévin Cormier, Florent Masson, Patrice Pischedda
Published in: Conference of the Acoustical Society of New Zealand - Acoustics 2022, 2022
Publisher: New Zealand Acoustical Society Incorporated

Functional Model-Based Resource Management : an Application to the Electric Vehicle Thermal Control

Author(s): Baptiste Boyer, Philippe Fiani, Guillaume Sandou, Emmanuel Godoy, Cristina Vlad
Published in: 17th International Conference on Informatics in Control, Automation and Robotics, 2020
Publisher: ICINCO

Demonstrating The MAAT REQ Tool: Using Algebraic Process Models To Support Time-Sensitive Requirements Design

Author(s): Boutheina Bannour, Arnault Lapitre, Patrick Tessier, Guillaume Giraud
Published in: IEEE Real-Time Systems 43rd Symposium (RTSS), 2022
Publisher: IEEE Computer Society Technical Community on Real-Time Systems

Analysis of on-chip communication properties in accelerator architectures for deep neural networks

Author(s): Hana Krichene, Jean-Marc Philippe
Published in: NOCS '21: Proceedings of the 15th IEEE/ACM International Symposium on Networks-on-Chip, 2021
Publisher: IEEE
DOI: 10.3030/826276

Integer-Only Approximated MFCC for Ultra-Low Power Audio NN Processing on Multi-Core MCUs

Author(s): Marco Fariselli, Manuele Rusci, Joel Cambonie, Eric Flamand
Published in: 2021 IEEE 3rd International Conference on Artificial Intelligence Circuits and Systems (AICAS), 2021, Page(s) 1-4, ISBN 978-1-6654-1913-0
Publisher: IEEE
DOI: 10.1109/aicas51828.2021.9458491

SDN-Based Management Solution for Time Synchronization in TSN Networks

Author(s): Minh-Thuyen Thi, Siwar Ben Hadj Said, Michael Boc
Published in: 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2020, Page(s) 361-368, ISBN 978-1-7281-8956-7
Publisher: IEEE
DOI: 10.1109/etfa46521.2020.9211923

A Model-Based Safe-by-Design Approach with IP Reuse for Automotive Applications

Author(s): Morayo Adedjouma, Nataliya Yakymets
Published in: ICSEA 2020, Issue 2020, 2020
Publisher: IARA XPS Press

In-Situ Thermal Performance Monitoring of Pharma 4.0 Flow Bioreactors

Author(s): Kristóf, Hegedűs ; Gusztáv, Hantos ; Tamás, Pardy ; Ferenc, Ender
Published in: In: Proceedings of the 26th International Workshop on THERMal INvestigations of ICs and Systems (THERMINIC'20 online), 2020
Publisher: IEEE

A Cognitive Approach based on the Actionable Knowledge Graph for supporting Maintenance Operations

Author(s): Giuseppe Fenza, Mariacristina Gallo, Vincenzo Loia, Domenico Marino, Francesco Orciuoli
Published in: 2020 IEEE Conference on Evolving and Adaptive Intelligent Systems (EAIS), 2020, Page(s) 1-7, ISBN 978-1-7281-4384-2
Publisher: IEEE
DOI: 10.1109/eais48028.2020.9122759

Analyzing Throughput for Cyber-Physical Systems modeled with Synchronous Dataflow

Author(s): P. Glanon, S. Azaiez, C. Mraidha
Published in: CPS Summer School, PhD Workshop 2019, Issue 2019, 2019
Publisher: CEUR

Adaptation of Architecture Analyses: An IoT Safety and Security Flaw Assessment Approach

Author(s): Julia Rauscher, Bernhard Bauer
Published in: Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies, 2021, Page(s) 320-327, ISBN 978-989-758-490-9
Publisher: SCITEPRESS - Science and Technology Publications
DOI: 10.5220/0010206303200327

Modeling the Partial Renewable Power Curtailment for Transmission Network Management

Author(s): Alessio Iovine, Duc-Trung Hoang, Sorin Olaru, Jean Maeght, Patrick Panciatici, Manuel Ruiz
Published in: https://www.powertech2021.com/, Issue June 2021, 2021
Publisher: TBD

YOLO-based Panoptic Segmentation Network

Author(s): Manuel Alejandro Diaz Zapata, Ozgur Erkent, Christian Laugier
Published in: 2021 IEEE 45th Annual Computers, Software, and Applications Conference COMPSAC, Issue 12-16 July 2021, 2021
Publisher: IEEE

Computational imaging for drill bit wear estimation

Author(s): Salvatore Dello Iacono, Giuseppe Di Leo, Consolatina Liguori
Published in: I2MTC2021, 2021
Publisher: IEEE

Distributed Smart Measurement Architecture for Industrial Automation

Author(s): Paolo Azzoni, Gianfranco Caminale, Marco Carratù, Salvatore Dello Iacono, Giuseppe Fenza, Nicola Gallo, Consolatina Liguori, Elisa Londero, Antonio Pietrosanto, Nicolo Rebella
Published in: 2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC), Issue Annual, 2021
Publisher: IEEE

Performance Optimization in Control Systems Using Entropy

Author(s): Antonio Ruiz-Alba, Ken Sharman, Sergio Saéz
Published in: XLII Jornadas de Automática, 2021
Publisher: Comité Español de Automática
DOI: 10.17979/spudc.9788497498043.739

Model-based Quantitative Fault Tree Analysis based on FIDES Reliability Prediction

Author(s): Nataliya Yakymets, Morayo Adedjouma
Published in: ISSRE 2020, Issue 2020, 2021
Publisher: IEEE

Quantization of Neural Network Demapper for sub-Thz communications

Author(s): A. Falempin, J.-B. Doré, T. D. Nguyen, J. Schmitt
Published in: IEEE Vehicular Technology Conference (VTC-Fall), 2022
Publisher: IEEE

Dynamic Resource Scheduling Optimization for Ultra-Reliable Low Latency Communications: From Simulation to Experimentation

Author(s): L. N. Dinh, R. Bertolini, M. Maman
Published in: IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), 2022
Publisher: IEEE

IEEE 802.1 TSN Time Synchronization over Wi-Fi and 5G Mobile Networks

Author(s): MT Thi, S Guédon, SBH Said, M Boc, D Miras, J-B Dore, M Laugeois, X Popon, B Miscopein
Published in: IEEE VTC2022-Fall, 2022
Publisher: IEEE

A temporal configuration logic for dynamic reconfigurable systems

Author(s): Antoine El-Hokayem, Marius Bozga, Joseph Sifakis
Published in: Proceedings of the 36th Annual ACM Symposium on Applied Computing, 2021, Page(s) 1419-1428, ISBN 9781450381048
Publisher: ACM
DOI: 10.1145/3412841.3442017

Some trends in CPS systems and underlying technologies

Author(s): Cédric DEMEURE
Published in: Euromicro Conference on Digital System Design - DSD - 2020, Issue yearly, 2020
Publisher: Youtube

From Structured Requirement for Cyber-Physical Systems to Process Algebra: A Research Preview

Author(s): Mathilde Arnaud, Boutheina Bannour, Guillaume Giraud, and Arnault Lapitre
Published in: REFSQ, 2021
Publisher: Springer

Advanced management of network overload in areas with Renewable Energies Sources

Author(s): Thanh-Hung Pham, Alessio Iovine, Sorin Olaru, Jean Maeght, Patrick Panciatici, Manuel Ruiz
Published in: IFAC-CPES 2022 11th Symposium on Control of Power and Energy Systems, 2022
Publisher: CPES 2022

Predictive Control for Zonal Congestion Management of a Transmission Network

Author(s): Duc-Trung Hoang, Sorin Olaru, Alessio Iovine, Jean Maeght, Patrick Panciatici, Manuel Ruiz
Published in: Control and Decision Conference, 2021, Issue 13/12/2021, 2021
Publisher: CentraleSupelec

Error Structure Aware Parallel BP-RNN Decoders for Short LDPC Codes

Author(s): Joachim Rosseel, Valérien Mannoni, Valentin Savin, Inbar Fijalkow
Published in: IEEE International Symposium on Topics in Coding (ISTC), 2021
Publisher: IEEE

CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators

Author(s): Girard-Satabin, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer
Published in: ECAI 2020, Issue 2020, 2020, ISSN 1291-5912
Publisher: CEA

Semantic Enrichment of Spatio-Temporal Production Data to Determine Lead Times for Manufacturing Simulation

Author(s): Carina Mieth
Published in: 2019 Winter Simulation Conference (WSC), 2019, Page(s) 2061-2072, ISBN 978-1-7281-3283-9
Publisher: IEEE
DOI: 10.1109/wsc40007.2019.9004753

Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS

Author(s): Mathilde Arnaud
Published in: Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021, Page(s) 291-296, ISBN 1-891706-52-7
Publisher: KSI Research Inc.
DOI: 10.18293/seke2021-147

Nonlinearity Handling in MPC for Power Congestion Management in Sub-Transmission Areas

Author(s): Pham, Thanh Hung (CNRS - CentraleSupelec), Iovine, Alessio (CNRS, CentraleSupélec), Olaru, Sorin (CentraleSupelec), Maeght, Jean (RTE France Réseau De Transport D'Electricité), Panciatici, Patrick (RTE), Ruiz, Manuel (RTE)
Published in: 18th IFAC Workshop on Control Applications of Optimization proceedings, 2022
Publisher: IFAC
DOI: 10.1016/j.ifacol.2022.09.003

IAS: an IoT Architectural Self-adaptation Framework

Author(s): Mahyar T Moghaddam, Eric Rutten, Philippe Lalanda, Guillaume Giraud
Published in: 14th European Conference on Software Architecture (ECSA), Issue 2020, 2020
Publisher: Springer

Evaluating Handover Performance for End-to-End LTE Networks with OpenAirInterface

Author(s): Rodolphe Bertolini, Mickael Maman
Published in: IEEE Vehicular Technology Conference (VTC-Fall), 2021
Publisher: IEEE

EMBEDDED FRANCE new Organization and Missions

Author(s): Cendrine Barruyer, Cédric Demeure, Olivier Guetta, Jean-Luc Chabaudie
Published in: EMBEDDED REAL TIME SYSTEMS conference - ERTS 2020, Issue every 2 years, 2020
Publisher: 3AF

Vérification formelle de réseaux de neurones profonds: théorie et pratique

Author(s): Girard-Satabin, Julien and Charpiat, Guillaume and Chihani, Zakaria and Schoenauer, Marc
Published in: PFIA 2020, Issue 2020, 2020
Publisher: https://hal.inria.fr/hal-02440520

From Operational Scenarios to Synthetic Data: Simulation-Based Data Generation for AI-Based Airborne Systems

Author(s): Siddhartha Gupta, Umut Durak, Oliver Ellis, Christoph Torens
Published in: AIAA Scitech Forum, 2022
Publisher: American Institute of Aeronautics and Astronautics

Entwicklung und Erprobung eines Vorgehens zur Validierung von Simulationsbausteinen komplexer Werkzeugmaschinen

Author(s): Greta Tjaden, Carina Mieth
Published in: Simulation in Produktion und Logistik, 2021
Publisher: Cuvillier Verlag

Power Congestion Management of a sub-Transmission Area Power Network using Partial Renewable Power Curtailment via MPC

Author(s): Duc-Trung Hoang, Sorin Olaru, Alessio Iovine, Jean Maeght, Patrick Panciatici, Manuel Ruiz
Published in: MED2021 29th Mediterranean Conference on Control and Automation, Issue Annual, 2021
Publisher: MED2021

Transferable and Distributed User Association Policies for 5G and Beyond Networks

Author(s): M. Sana, N. di Pietro, E. Calvanese Strinati
Published in: IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), 2021
Publisher: IEEE

Understanding interdisciplinarity in European projects

Author(s): J.Delsing, P.Gougeon, M.Karner
Published in: Inside Magazine, 2022
Publisher: Inside Industry Association

Cyclic Scheduling of Loop-Intensive Applications on Heterogeneous Multiprocessor Architectures

Author(s): Philippe Glanon, Selma Azaiez, Chokri Mraidha
Published in: 2020 IEEE 26th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2020, Page(s) 1-10, ISBN 978-1-7281-4403-0
Publisher: IEEE
DOI: 10.1109/rtcsa50079.2020.9203667

Bridging the gap between structural and behavioral models in a software-centric environment

Author(s): Noël Hagemann, Bernhard Bauer
Published in: Business Modeling and Software Design, Issue Annual, 2021
Publisher: Springer

Une approche de génération automatique de configuration basée sur les modèles pour les réseaux TSN

Author(s): M. Samson, T. Vergnaud, E. Dujardin, L. Ciarletta and Y. Song
Published in: Actes de l’École d’été Temps Réel, 2021
Publisher: Université de Poitiers

Sequans Delivers Industry’s First Common Criteria EAL5+ Certified Cellular IoT Platform

Author(s): Sequans communications
Published in: Press Release on www.sequans.com, 2021
Publisher: Sequans

Pour un développement accéléré des systèmes cyberphysiques

Author(s): Etienne Hamelin
Published in: Industrie Technologies, 2022
Publisher: Industrie Technologies

Design and Analysis of MIMO Systems Using Energy Detectors for Sub-THz Applications

Author(s): S. Bicaïs, A. Falempin, J. -B. Doré, V. Savin
Published in: IEEE Transactions on Wireless Communications, 2022
Publisher: IEEE

Discontinuous Computation Offloading for Energy-Efficient Mobile Edge Computing

Author(s): M. Merluzzi, N. Di Pietro, P. Di Lorenzo, E. Calvanese Strinati, S. Barbarossa
Published in: IEEE Transactions on Green Communications and Networking, 2022
Publisher: IEEE

Self-adaptive Security in CPS : Application to Smart Grids

Author(s): Salim Chehida, Eric Rutten, Stéphane Mocanu (INRIA), Guillaume Giraud (RTE)
Published in: To be confirmed, 2023
Publisher: To be completed after submission

Stochastic Geometry Framework for Ultrareliable Cooperative Communications With Random Blockages

Author(s): G. Ghatak, S. R. Khosravirad , A. De Domenico
Published in: IEEE Internet of Things Journal, 2022
Publisher: IEEE

Using Component-based Software Synthesis and Constraint Solving to generate Sets of Manufacturing Simulation Models

Author(s): Fadil Kallat, Carina Mieth, Jakob Rehof, Anne Meyer
Published in: Procedia CIRP, Issue 93, 2020, Page(s) 556-561, ISSN 2212-8271
Publisher: Elsevier
DOI: 10.1016/j.procir.2020.03.018

On the Monitoring of Decentralized Specifications

Author(s): Antoine El-Hokayem, Yliès Falcone
Published in: ACM Transactions on Software Engineering and Methodology, Issue 29/1, 2020, Page(s) 1-57, ISSN 1049-331X
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3355181

Towards Intelligent Industrial Automation

Author(s): M. Settembre, G. Caminale, A. Almi, M. Amoruso, F. Cenci, N. Gallo, D. Fuggiano, F. Bianchi, L. Rovera, R. Labruto, B. Tranchero
Published in: Polaris Innovation Journal - Issue 40, 2019, ISSN 2532-6929
Publisher: LEONARDO

An Enterprise Rights Management System for On-the-Field Maintenance Facilities

Author(s): Luigi Catuogno, Clemente Galdi, Daniel Riccio
Published in: IEEE Access, Issue 8, 2020, Page(s) 95987-95996, ISSN 2169-3536
Publisher: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2020.2995564

Automatic Composite Parts Defect Detector

Author(s): S. Corvaglia, N. Gallo, C. Baecchi, A. Del Bimbo, G. D’Attis, G. Nobile
Published in: Polaris Innovation Journal - Issue 40, 2019, ISSN 2532-6929
Publisher: LEONARDO

Multifunctional Cell for Complex Aerostructures Assembly and Aircraft Maintenance Assisted by Neural Network

Author(s): A. Mazzotta, G. Iagulli, V. De Vita
Published in: Polaris Innovation Journal - Issue 41, 2020, ISSN 2532-6929
Publisher: LEONARDO

Learning and analysis of sensors behavior in IoT systems using statistical model checking

Author(s): Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga
Published in: Software Quality Journal, 2021, ISSN 0963-9314
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s11219-021-09559-w

CPS Engineering: Gap analysis and perspectives

Author(s): LEDINOT Emmanuel
Published in: LEIBNIZ TRANSACTIONS ON EMBEDDED SYSTEMS (LITES) Special Issue on Distributed Hybrid Systems, 2021
Publisher: Cyber-Physical Systems Virtual Organization

IAS: An IoT Architectural Self-adaptation Framework

Author(s): Mahyar T. Moghaddam, Eric Rutten, Philippe Lalanda, Guillaume Giraud
Published in: Software Architecture - 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14–18, 2020, Proceedings, Issue 12292, 2020, Page(s) 333-351, ISBN 978-3-030-58922-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-58923-3_22

Synthesizing Control for a System with Black Box Environment, Based on Deep Learning

Author(s): Simon Iosti, Doron Peled, Khen Aharon, Saddek Bensalem, Yoav Goldberg
Published in: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II, Issue 12477, 2020, Page(s) 457-472, ISBN 978-3-030-61469-0
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-61470-6_27

Design Optimization of IoT Models: Structured Safety and Security Flaw Identification

Author(s): Julia Rauscher, Bernhard Bauer
Published in: Business Modeling and Software Design - 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings, Issue 391, 2020, Page(s) 84-102, ISBN 978-3-030-52305-3
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-52306-0_6

A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis

Author(s): Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis
Published in: Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings, Issue 12310, 2020, Page(s) 284-302, ISBN 978-3-030-58767-3
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-58768-0_16

Semantic CPPS in Industry 4.0

Author(s): Giuseppe Fenza, Mariacristina Gallo, Vincenzo Loia, Domenico Marino, Francesco Orciuoli, Alberto Volpe
Published in: Advanced Information Networking and Applications - Proceedings of the 34th International Conference on Advanced Information Networking and Applications (AINA-2020), Issue 1151, 2020, Page(s) 1057-1068, ISSN 1071-2437, ISBN 978-3-030-44040-4
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-44041-1_91

Implementing the Cognition Level for Industry 4.0 by Integrating Augmented Reality and Manufacturing Execution Systems

Author(s): Alfonso Di Pace, Giuseppe Fenza, Mariacristina Gallo, Vincenzo Loia, Aldo Meglio, Francesco Orciuoli
Published in: Advanced Information Networking and Applications - Proceedings of the 34th International Conference on Advanced Information Networking and Applications (AINA-2020), Issue 1151, 2020, Page(s) 957-967, ISBN 978-3-030-44040-4
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-44041-1_83

Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules

Author(s): Philippe Glanon, Selma Azaiez, Chokri Mraidha
Published in: Verification and Evaluation of Computer and Communication Systems - 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings, Issue 11847, 2019, Page(s) 79-94, ISBN 978-3-030-35091-8
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-35092-5_6

Digital Twin Circular Approach for Helicopter Design and Training

Author(s): C. Emmanuele, D. Del Gobbo, G.I. Gaggero, R. Sanguini
Published in: Polaris Innovation Journal - Issue 39, 2019, ISSN 2532-6929
Publisher: LEONARDO

Predictive Maintenance in the Digital Age

Author(s): P. Venanzangeli
Published in: Polaris Innovation Journal - Issue 40, 2019, ISSN 2532-6929
Publisher: LEONARDO

The Internet of Engineering Things: Big Data Infrastructure for Machine Learning and AI on Complex Engineering Projects

Author(s): M. McDonald
Published in: Polaris Innovation Journal - Issue 40, 2019, ISSN 2532-6929
Publisher: LEONARDO

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available