{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:14:08Z","timestamp":1750306448903,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,4]],"date-time":"2015-10-04T00:00:00Z","timestamp":1443916800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["Artemis 2013 GA 621439"],"award-info":[{"award-number":["Artemis 2013 GA 621439"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003958","name":"Technologiestichting STW","doi-asserted-by":"publisher","award":["12693, 12694, 12697, 10346"],"award-info":[{"award-number":["12693, 12694, 12697, 10346"]}],"id":[{"id":"10.13039\/501100003958","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,10,4]]},"DOI":"10.1145\/2832920.2832923","type":"proceedings-article","created":{"date-parts":[[2015,11,23]],"date-time":"2015-11-23T13:24:48Z","timestamp":1448285088000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["xCPS"],"prefix":"10.1145","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":"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":[[2015,10,4]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"9","volume-title":"2014 Int. Conf. on","author":"Adyanthaya S.","year":"2014","unstructured":"S. Adyanthaya Robustness analysis of multiprocessor schedules. In Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV) , 2014 Int. Conf. on , pages 9 -- 17 , 2014 . S. Adyanthaya et al. Robustness analysis of multiprocessor schedules. In Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), 2014 Int. Conf. on, pages 9--17, 2014."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2013.111"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2014.38"},{"key":"e_1_3_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_3_2_1_5_1","volume-title":"Development and applications of a vision-based unmanned helicopter","author":"Feng L.","year":"2010","unstructured":"L. Feng . Development and applications of a vision-based unmanned helicopter . National University of Singapure , 2010 . L. Feng. Development and applications of a vision-based unmanned helicopter. National University of Singapure, 2010."},{"key":"e_1_3_2_1_6_1","volume-title":"CST","author":"Fransen R.","year":"2015","unstructured":"R. Fransen . Modeling a flow shop workstation using CIF. Bachelor thesis, 2015 . CST 2015 .077. R. Fransen. Modeling a flow shop workstation using CIF. Bachelor thesis, 2015. CST 2015.077."},{"key":"e_1_3_2_1_7_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_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/CISTI.2014.6876906"},{"key":"e_1_3_2_1_9_1","volume-title":"Virtualizing cyber-physical systems: Bringing CPS to online education","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 . 2013 . J. C. Jensen, E. A. Lee, and S. A. Seshia. Virtualizing cyber-physical systems: Bringing CPS to online education. 2013."},{"key":"e_1_3_2_1_10_1","first-page":"1","article-title":"Development of Autonomous Car - Part II: A Case Study on the Implementation of an Autonomous Driving System Based on Distributed Architecture","volume":"0046","author":"Jo K.","year":"2015","unstructured":"K. Jo , J. Kim , D. Kim , C. Jang , and M. Sunwoo . Development of Autonomous Car - Part II: A Case Study on the Implementation of an Autonomous Driving System Based on Distributed Architecture . IEEE Trans. on Industrial Electronics , 0046 : 1 -- 1 , 2015 . K. Jo, J. Kim, D. Kim, C. Jang, and M. Sunwoo. Development of Autonomous Car - Part II: A Case Study on the Implementation of an Autonomous Driving System Based on Distributed Architecture. IEEE Trans. on Industrial Electronics, 0046:1--1, 2015.","journal-title":"IEEE Trans. on Industrial Electronics"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"e_1_3_2_1_12_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_3_2_1_13_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_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434894"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2006.23"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-0224-5","volume-title":"Verification and control of hybrid systems: a symbolic approach","author":"Tabuada P.","year":"2009","unstructured":"P. Tabuada . Verification and control of hybrid systems: a symbolic approach . Springer Science & Business Media , 2009 . P. Tabuada. Verification and control of hybrid systems: a symbolic approach. Springer Science & Business Media, 2009."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2007.371231"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2006.1695924"},{"key":"e_1_3_2_1_19_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_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2015.7338273"},{"key":"e_1_3_2_1_21_1","volume-title":"A Fast and Robust Algorithm for the Detection of Circular Pieces in a Cyber Physical System. 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_3_2_1_22_1","first-page":"573","volume-title":"Automation & Test in Europe Conference & Exhibition, Proc. of the 2015, DATE '15","author":"Waqas U.","year":"2015","unstructured":"U. Waqas , M. Geilen , J. Kandelaars , L. Somers , T. Basten , S. Stuijk , P. Vestjens , and H. Corp oraal . A re-entrant flowshop heuristic for online scheduling of the paper path in a large scale printer. In Design , Automation & Test in Europe Conference & Exhibition, Proc. of the 2015, DATE '15 , pages 573 -- 578 , San Jose, CA, USA , 2015 . EDA Consortium. U. Waqas, M. Geilen, J. Kandelaars, L. Somers, T. Basten, S. Stuijk, P. Vestjens, and H. Corporaal. A re-entrant flowshop heuristic for online scheduling of the paper path in a large scale printer. In Design, Automation & Test in Europe Conference & Exhibition, Proc. of the 2015, DATE '15, pages 573--578, San Jose, CA, USA, 2015. EDA Consortium."}],"event":{"name":"ESWEEK'15: ELEVENTH EMBEDDED SYSTEM WEEK","sponsor":["CEDA Council on Electronic Design Automation","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","IEEE CS"],"location":"Amsterdam Netherlands","acronym":"ESWEEK'15"},"container-title":["Proceedings of the WESE'15: Workshop on Embedded and Cyber-Physical Systems Education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2832920.2832923","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2832920.2832923","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:43:05Z","timestamp":1750225385000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2832920.2832923"}},"subtitle":["A tool to eXplore Cyber Physical Systems"],"short-title":[],"issued":{"date-parts":[[2015,10,4]]},"references-count":22,"alternative-id":["10.1145\/2832920.2832923","10.1145\/2832920"],"URL":"https:\/\/doi.org\/10.1145\/2832920.2832923","relation":{},"subject":[],"published":{"date-parts":[[2015,10,4]]},"assertion":[{"value":"2015-10-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}