@inproceedings{33b8b8e9a80a4da5851ec0dc0ea6b5fc,
title = "Integrating different modelling formalisms supporting co-design development of controllers for cyber-physical systems: A case study",
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.",
keywords = "Active-HDL, code generation, controller design, cyber-physical system design, FSM, IOPT-Tools, Petri net, simulation, verification",
author = "Grzegorz Bazydlo and Aniko Costa and Luis Gomes",
note = "info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F00066%2F2020/PT# Funding Information: This work was supported by the National Science Centre, Poland, under Grant number 2019/35/B/ST6/01683 Publisher Copyright: {\textcopyright} 2022 IEEE.; 9th IEEE International Conference on e-Learning in Industrial Electronics, ICELIE 2022 ; Conference date: 17-10-2022 Through 20-10-2022",
year = "2022",
doi = "10.1109/ICELIE55228.2022.9969438",
language = "English",
isbn = "978-1-6654-8991-1",
series = "Proceedings - 2022 9th IEEE International Conference on e-Learning in Industrial Electronics, ICELIE 2022",
publisher = "Institute of Electrical and Electronics Engineers (IEEE)",
booktitle = "Proceedings",
address = "United States",
}