Integrating different modelling formalisms supporting co-design development of controllers for cyber-physical systems: A case study

Grzegorz Bazydlo, Aniko Costa, Luis Gomes

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Citation (Scopus)

Abstract

In the paper, a teaching methodology for the design of controllers for cyber-physical system (CPS) is presented. The proposed approach is supported both by special tools (for modelling, verifying, and implementing of designed CPS) and programmable platforms (FPGA-based boards and Arduino devices). The latter ones allow for laboratory prototyping during classes and give flexibility for exercising different implemen-tation strategies. The proposed approach was fully validated during courses on 'Discrete process control' and 'Designing of integrated cyber-physical systems' offered at the University of Zielona Gora (Poland), and students' assessment of the usage of two design tools - IOPT- Tools and Active-HDL were analysed.

Original languageEnglish
Title of host publicationProceedings
Subtitle of host publication2022 9th IEEE International Conference on e-Learning in Industrial Electronics, ICELIE 2022
Place of PublicationNew Jersey
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Number of pages6
ISBN (Electronic)978-1-6654-8990-4
ISBN (Print)978-1-6654-8991-1
DOIs
Publication statusPublished - 2022
Event9th IEEE International Conference on e-Learning in Industrial Electronics, ICELIE 2022 - Brussels, Belgium
Duration: 17 Oct 202220 Oct 2022

Publication series

NameProceedings - 2022 9th IEEE International Conference on e-Learning in Industrial Electronics, ICELIE 2022

Conference

Conference9th IEEE International Conference on e-Learning in Industrial Electronics, ICELIE 2022
Country/TerritoryBelgium
CityBrussels
Period17/10/2220/10/22

Keywords

  • Active-HDL
  • code generation
  • controller design
  • cyber-physical system design
  • FSM
  • IOPT-Tools
  • Petri net
  • simulation
  • verification

Fingerprint

Dive into the research topics of 'Integrating different modelling formalisms supporting co-design development of controllers for cyber-physical systems: A case study'. Together they form a unique fingerprint.

Cite this