Proceedings of the 5th Summer School on Cyber-Physical Systems and Internet-of-Things, Vol. V, 2024

Authors

  • Alberto Marchisio New York University Abu Dhabi TUTORIAL AUTHOR/PRESENTER
  • Muhammad Shafique New York University Abu Dhabi TUTORIAL AUTHOR/PRESENTER
  • Nabil Abdennadher Univ. of Applied Sciences, West. Switzerland TUTORIAL AUTHOR/PRESENTER
  • Nikhil Gaikwad Aalborg University TUTORIAL AUTHOR/PRESENTER
  • Radovan Stojanović University of Montenegro and MECOnet TUTORIAL AUTHOR/PRESENTER
  • Rakshit Mittal University of Antwerp TUTORIAL AUTHOR/PRESENTER
  • Ralf Lübben Flensburg University of Applied Sciences TUTORIAL AUTHOR/PRESENTER
  • Rizwan Parveen Telecom Paris TUTORIAL AUTHOR/PRESENTER
  • Samir Ouchani CESI TUTORIAL AUTHOR/PRESENTER
  • Sokol Kosta Aalborg University TUTORIAL AUTHOR/PRESENTER
  • Morayo Adedjouma CEA TUTORIAL AUTHOR/PRESENTER
  • Luis Palacios CEA TUTORIAL AUTHOR/PRESENTER
  • Andrej Škraba University of Maribor TUTORIAL AUTHOR/PRESENTER
  • Anish Bhobe Institut Polytechnique de Paris TUTORIAL AUTHOR/PRESENTER
  • Claudio Rubattu UNISS TUTORIAL AUTHOR/PRESENTER
  • Dominique Blouin Telecom Paris TUTORIAL AUTHOR/PRESENTER
  • Federico Manca UNISS TUTORIAL AUTHOR/PRESENTER
  • Francesco Ratto UNISS TUTORIAL AUTHOR/PRESENTER
  • Hans Vangheluwe University of Antwerp TUTORIAL AUTHOR/PRESENTER
  • Jovan Đurković MECOnet TUTORIAL AUTHOR/PRESENTER
  • Lech Jóźwiak TU/e TUTORIAL AUTHOR/PRESENTER
  • Zakaria Chihani CEA TUTORIAL AUTHOR/PRESENTER

Keywords:

Summer School, Cyber Physical Systems, Internet of Things , Embedded Systems , Smart Systems

Abstract

CONTENTS


Disclaimer

Lech Jóźwiak and Radovan Stojanović
Introduction to the CPS&IoT’2024 Summer School, 1

Lech Jóźwiak
Green Systems for Green World, 4

Lech Jóźwiak
Quality-Driven Design of Cyber-Physical Systems, 75

Nikhil Gaikwad, Ralf Lübben and Sokol Kosta
GPU Virtualization and Remoting Service for AI Acceleration at the Edge, 115

Francesco Ratto, Federico Manca and Claudio Rubattu
Adaptive CNN execution on edge FPGAs, 145

Alberto Marchisio and Muhammad Shafique
Energy-Efficient and Robust Deep Learning for Autonomous Systems, 178

Nabil Abdennadher
Distributed Cloud Continuum Platform for Federated Learning Based Self-Adaptive IoT Applications (hands-on and demo tutorial), 246

Alberto Marchisio and Muhammad Shafique
Design Space Exploration of Efficient Quantum Machine Learning Systems, 364

Rakshit Mittal, Hans Vangheluwe and Rizwan Parveen
Modeling a Cruise Control System using OpenModelica and Verifying Safety Requirements using UPPAAL (hands-on tutorial), 441

Dominique Blouin and Anish Bhobe
Modeling and Synthesizing Embedded Systems with AADL using RAMSES (hands-on tutorial), 524

Samir Ouchani
Smart CPS : Ensuring Trustworthiness in Autonomous Decisions through Formal Methods, 583

Morayo Adjedouma and Luis Palacios
Thrustworthy Design and V&V of AI-based Systems: Case of a Drone Application (includes demo and hands-on), 636

Zakaria Chihani
Trustworthy AI: Industry-Guided Tooling of the Methods, 680

Andrej Škraba
Overview of CPS&IoT Prototypes: Wheelchair, Group Heart Rate Monitoring, PID DC Motor Control, 795

Radovan Stojanović and Jovan Đurković
An Appendix to the Design of Feasible Health Care Wearables, 840

Summer School on CPS&IoT’2024 Schedule, 864
Summer School on CPS&IoT’2024 5th Generation (Students and Teachers), 865
Certificate of Attendance, 866
Author Index, 867
Photo Gallery, 868

Downloads

Published

2024-07-01