{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T20:39:31Z","timestamp":1768250371392,"version":"3.49.0"},"reference-count":30,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T00:00:00Z","timestamp":1483574400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGBED Rev."],"published-print":{"date-parts":[[2017,1,5]]},"abstract":"<jats:p>Cyber-Physical Systems (CPS) play an important role in the modern high-tech industry. Designing such systems is an especially challenging task due to the multi-disciplinary nature of these systems, and the range of abstraction levels involved. To facilitate hands-on experience with such systems, we develop a cyber-physical platform that aids in both research and education on CPS. This paper describes this platform, which contains all typical CPS components. The platform is used in various research and education projects for bachelor, master, and PhD students. We discuss the platform and illustrate its use with a number of projects and the educational opportunities they provide.<\/jats:p>","DOI":"10.1145\/3036686.3036696","type":"journal-article","created":{"date-parts":[[2017,1,6]],"date-time":"2017-01-06T13:30:07Z","timestamp":1483709407000},"page":"81-95","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["xCPS"],"prefix":"10.1145","volume":"14","author":[{"given":"Shreya","family":"Adyanthaya","sequence":"first","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hadi Alizadeh","family":"Ara","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jo\u00e3o","family":"Bastos","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amir","family":"Behrouzian","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R\u00f3binson Medina","family":"S\u00e1nchez","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost","family":"van Pinxten","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bram","family":"van der Sanden","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Umar","family":"Waqas","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Twan","family":"Basten","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands and TNO ESI, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henk","family":"Corporaal","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raymond","family":"Frijns","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Geilen","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dip","family":"Goswami","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martijn","family":"Hendriks","sequence":"additional","affiliation":[{"name":"TNO ESI, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sander","family":"Stuijk","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Reniers","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeroen","family":"Voeten","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands and TNO ESI, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,1,5]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2013.111"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SAMOS.2014.6893189"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2014.38"},{"key":"e_1_2_1_4_1","first-page":"167","volume-title":"Proc. of Special Int. Conf. on Complex Systems: Synergy, of Control, Communications and Computing","author":"Baeten J.","year":"2011","unstructured":"J. Baeten , J. van de Mortel-Fronczak, and J. Rooda. Integration of supervisory control synthesis in model-based systems engineering . Proc. of Special Int. Conf. on Complex Systems: Synergy, of Control, Communications and Computing , pages 167 -- 178 , 2011 . J. Baeten, J. van de Mortel-Fronczak, and J. Rooda. Integration of supervisory control synthesis in model-based systems engineering. Proc. of Special Int. Conf. on Complex Systems: Synergy, of Control, Communications and Computing, pages 167--178, 2011."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2015.7340475"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.02.041"},{"key":"e_1_2_1_8_1","volume-title":"Eindhoven University of Technology, 2015. CST 2015.077","author":"Fransen R.","unstructured":"R. Fransen . Modeling a flow shop workstation using CIF. Bachelor thesis , Eindhoven University of Technology, 2015. CST 2015.077 . R. Fransen. Modeling a flow shop workstation using CIF. Bachelor thesis, Eindhoven University of Technology, 2015. CST 2015.077."},{"key":"e_1_2_1_9_1","volume-title":"Genetic Algorithms. Pearson Education","author":"Goldberg D.","year":"2006","unstructured":"D. Goldberg . Genetic Algorithms. Pearson Education , 2006 . D. Goldberg. Genetic Algorithms. Pearson Education, 2006."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CISTI.2014.6876906"},{"key":"e_1_2_1_11_1","volume-title":"Proc. First Workshop on CPS Education (CPS-Ed)","author":"Jensen J. C.","year":"2013","unstructured":"J. C. Jensen , E. A. Lee , and S. A. Seshia . Virtualizing cyber-physical systems: Bringing CPS to online education . In Proc. First Workshop on CPS Education (CPS-Ed) , 2013 . J. C. Jensen, E. A. Lee, and S. A. Seshia. Virtualizing cyber-physical systems: Bringing CPS to online education. In Proc. First Workshop on CPS Education (CPS-Ed), 2013."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2015.2410258"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"e_1_2_1_14_1","volume-title":"A model-driven design approach for an industrial-scale mechatronic system. Master thesis","author":"Voeten Y. Li., J.","year":"2011","unstructured":"Y. Li., J. Voeten , and R. Frijns . A model-driven design approach for an industrial-scale mechatronic system. Master thesis , Eindhoven University of Technology , 2011 . Y. Li., J. Voeten, and R. Frijns. A model-driven design approach for an industrial-scale mechatronic system. Master thesis, Eindhoven University of Technology, 2011."},{"key":"e_1_2_1_15_1","volume-title":"State models and Java programs","author":"Magee J.","year":"1999","unstructured":"J. Magee and J. Kramer . State models and Java programs . Wiley , 1999 . J. Magee and J. Kramer. State models and Java programs. Wiley, 1999."},{"key":"e_1_2_1_16_1","first-page":"59","volume-title":"Proc. of the 9th conference on autonomous robot systems and competitions","author":"Mondada F.","year":"2009","unstructured":"F. Mondada , M. Bonani , X. Raemy , J. Pugh , C. Cianci , A. Klaptocz , S. Magnenat , J.-C. Zufferey , D. Floreano , and A. Martinoli . The e-puck, a robot designed for education in engineering . In Proc. of the 9th conference on autonomous robot systems and competitions , pages 59 -- 65 , 2009 . F. Mondada, M. Bonani, X. Raemy, J. Pugh, C. Cianci, A. Klaptocz, S. Magnenat, J.-C. Zufferey, D. Floreano, and A. Martinoli. The e-puck, a robot designed for education in engineering. In Proc. of the 9th conference on autonomous robot systems and competitions, pages 59--65, 2009."},{"key":"e_1_2_1_17_1","volume-title":"Proc. of the First Workshop on Cyber-Physical Systems Education at CPSWeek","author":"Mosterman P.","year":"2013","unstructured":"P. Mosterman , J. Zander , and Z. Han . The towers of hanoi as a cyber-physical system education case study . Proc. of the First Workshop on Cyber-Physical Systems Education at CPSWeek , 2013 . P. Mosterman, J. Zander, and Z. Han. The towers of hanoi as a cyber-physical system education case study. Proc. of the First Workshop on Cyber-Physical Systems Education at CPSWeek, 2013."},{"key":"e_1_2_1_18_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/978-3-540-74970-7_38","volume-title":"Principles and Practice of Constraint Programming","author":"Nethercote N.","year":"2007","unstructured":"N. Nethercote , P. Stuckey , R. Becket , S. Brand , G. Duck , and G. Tack . MiniZinc: Towards a standard CP modelling language . In Principles and Practice of Constraint Programming , volume 4741 of Lecture Notes in Computer Science , pages 529 -- 543 . Springer Berlin Heidelberg , 2007 . N. Nethercote, P. Stuckey, R. Becket, S. Brand, G. Duck, and G. Tack. MiniZinc: Towards a standard CP modelling language. In Principles and Practice of Constraint Programming , volume 4741 of Lecture Notes in Computer Science, pages 529--543. Springer Berlin Heidelberg, 2007."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.3115\/1073445.1073473"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434894"},{"key":"e_1_2_1_24_1","first-page":"276","volume-title":"6th International Conference Proceedings","author":"Stuijk S.","year":"2006","unstructured":"S. Stuijk , M. Geilen , and T. Basten . SDF3: SDF For Free. In Application of Concurrency to System Design , 6th International Conference Proceedings , pages 276 -- 278 . IEEE, 2006 . S. Stuijk, M. Geilen, and T. Basten. SDF3: SDF For Free. In Application of Concurrency to System Design, 6th International Conference Proceedings, pages 276--278. IEEE, 2006."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"e_1_2_1_26_1","first-page":"139","volume-title":"5th IEEE\/ACM Int. Conf. on","author":"Theelen B.","year":"2007","unstructured":"B. Theelen , O. Florescu , M. Geilen , J. Huang , P. van der Putten, and J. Voeten. Software\/Hardware Engineering with the Parallel Object-Oriented Specification Language. Formal Methods and Models for Codesign (MEMOCODE) , 5th IEEE\/ACM Int. Conf. on , pages 139 -- 148 , 2007 . B. Theelen, O. Florescu, M. Geilen, J. Huang, P. van der Putten, and J. Voeten. Software\/Hardware Engineering with the Parallel Object-Oriented Specification Language. Formal Methods and Models for Codesign (MEMOCODE), 5th IEEE\/ACM Int. Conf. on, pages 139--148, 2007."},{"key":"e_1_2_1_27_1","first-page":"185","volume-title":"4th IEEE\/ACM Int. Conf. on","author":"Theelen B. D.","year":"2006","unstructured":"B. D. Theelen , M. Geilen , T. Basten , J. Voeten , S. V. Gheorghita , and S. Stuijk . A scenario-aware data flow model for combined long-run average and worst-case performance analysis. In Formal Methods and Models for Codesign (MEMOCODE) , 4th IEEE\/ACM Int. Conf. on , pages 185 -- 194 , 2006 . B. D. Theelen, M. Geilen, T. Basten, J. Voeten, S. V. Gheorghita, and S. Stuijk. A scenario-aware data flow model for combined long-run average and worst-case performance analysis. In Formal Methods and Models for Codesign (MEMOCODE), 4th IEEE\/ACM Int. Conf. on, pages 185--194, 2006."},{"key":"e_1_2_1_28_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1007\/978-3-642-54862-8_48","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"van Beek D. A.","year":"2014","unstructured":"D. A. van Beek , W. J. Fokkink , D. Hendriks , A. Hofkamp , J. Markovski , J. M. van de Mortel-Fronczak , and M. A. Reniers . CIF 3: Model-based engineering of supervisory controllers . In Tools and Algorithms for the Construction and Analysis of Systems , volume 8413 of Lecture Notes in Computer Science , pages 575 -- 580 . Springer Berlin Heidelberg , 2014 . D. A. van Beek, W. J. Fokkink, D. Hendriks, A. Hofkamp, J. Markovski, J. M. van de Mortel-Fronczak, and M. A. Reniers. CIF 3: Model-based engineering of supervisory controllers. In Tools and Algorithms for the Construction and Analysis of Systems, volume 8413 of Lecture Notes in Computer Science, pages 575--580. Springer Berlin Heidelberg, 2014."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2015.7338273"},{"key":"e_1_2_1_30_1","volume-title":"Bachelor thesis","author":"Vegt S.","year":"2015","unstructured":"S. Vegt . A Fast and Robust Algorithm for the Detection of Circular Pieces in a Cyber Physical System. Bachelor thesis , Eindhoven University of Technology , 2015 . available at www.es.ele.tue.nl\/esreports\/esr-2015-02.pdf. S. Vegt. A Fast and Robust Algorithm for the Detection of Circular Pieces in a Cyber Physical System. Bachelor thesis, Eindhoven University of Technology, 2015. available at www.es.ele.tue.nl\/esreports\/esr-2015-02.pdf."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2015.0519"}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3036686.3036696","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3036686.3036696","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:50:26Z","timestamp":1750218626000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3036686.3036696"}},"subtitle":["a tool to explore cyber physical systems"],"short-title":[],"issued":{"date-parts":[[2017,1,5]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1,5]]}},"alternative-id":["10.1145\/3036686.3036696"],"URL":"https:\/\/doi.org\/10.1145\/3036686.3036696","relation":{},"ISSN":["1551-3688"],"issn-type":[{"value":"1551-3688","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,1,5]]},"assertion":[{"value":"2017-01-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}