{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,24]],"date-time":"2026-09-24T10:45:56Z","timestamp":1790246756532,"version":"4.1.0"},"reference-count":30,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2016,5,10]],"date-time":"2016-05-10T00:00:00Z","timestamp":1462838400000},"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":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2016,6,7]]},"abstract":"<jats:p>The design of cyber-physical-social systems (CPSS) is a novel and challenging research field due that it emphasizes the deep fusion of cyberspace, physical space, and social space. In this article, we extend our previously proposed system-level design framework [Zeng et al. 2015] to tailor it to the needs of social scenario of multiple users. A hierarchical Petri net-based model and social flow are presented to extend the control flow and formally describe the social interactions of multiple users, respectively. By using the extended model, the system-level optimization for CPSS can be achieved by the improved design flow. Specifically, object emplacement and user satisfaction are further extended into the social environment. Also maximal power estimation algorithm is improved, leveraging the extended intermediate representation model. Finally, we use a smart office case to demonstrate the feasibility and effectiveness of our improved design approach for multiple users.<\/jats:p>","DOI":"10.1145\/2834119","type":"journal-article","created":{"date-parts":[[2016,5,11]],"date-time":"2016-05-11T12:11:38Z","timestamp":1462968698000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":34,"title":["A System-Level Modeling and Design for Cyber-Physical-Social Systems"],"prefix":"10.1145","volume":"15","author":[{"given":"Jing","family":"Zeng","sequence":"first","affiliation":[{"name":"Huazhong University of Science and Technology, Wuhan, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Laurence T.","family":"Yang","sequence":"additional","affiliation":[{"name":"St. Francis Xavier University, Antigonish, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jianhua","family":"Ma","sequence":"additional","affiliation":[{"name":"Hosei University, Koganei-shi Tokyo, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2016,5,10]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.36"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00779-004-0270-2"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1775401.1775420"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2008.90"},{"key":"e_1_2_1_5_1","volume-title":"Proc. of 3rd IEEE International Symposium on Wireless Communication Systems (ISWCS\u201906)","author":"Capulli Fabiana","unstructured":"Fabiana Capulli , Cristiano Monti , Marco Vari , and F. Mazzenga . 2006. Path loss models for IEEE 802.11 a wireless local area networks . In Proc. of 3rd IEEE International Symposium on Wireless Communication Systems (ISWCS\u201906) . 621--624. Fabiana Capulli, Cristiano Monti, Marco Vari, and F. Mazzenga. 2006. Path loss models for IEEE 802.11 a wireless local area networks. In Proc. of 3rd IEEE International Symposium on Wireless Communication Systems (ISWCS\u201906). 621--624."},{"key":"e_1_2_1_6_1","volume-title":"Van Veldhuizen","author":"Coello Carlos Coello","year":"2007","unstructured":"Carlos Coello Coello , Gary B. Lamont , and David A . Van Veldhuizen . 2007 . Evolutionary Algorithms for Solving Multi-objective Problems. Springer , Berlin. Carlos Coello Coello, Gary B. Lamont, and David A. Van Veldhuizen. 2007. Evolutionary Algorithms for Solving Multi-objective Problems. Springer, Berlin."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/4235.996017"},{"key":"e_1_2_1_8_1","volume-title":"Advances in Petri Nets","author":"Fehling Rainer","year":"1993","unstructured":"Rainer Fehling . 1993. A concept of hierarchical petri nets with building blocks . In Advances in Petri Nets 1993 , Grzegorz Rozenberg (Ed.). Lecture Notes in Computer Science, Vol. 674 . Springer , Berlin, 148--168. Rainer Fehling. 1993. A concept of hierarchical petri nets with building blocks. In Advances in Petri Nets 1993, Grzegorz Rozenberg (Ed.). Lecture Notes in Computer Science, Vol. 674. Springer, Berlin, 148--168."},{"key":"e_1_2_1_9_1","volume-title":"Proc. of the 22nd EUROMICRO Conference. IEEE, 185--192","author":"Grun Peter","year":"1996","unstructured":"Peter Grun , Petru Eles , Krzysztof Kuchcinski , and Zebo Peng . 1996 . Automatic parallelization of a petri net-based design representation for high-level synthesis . In Proc. of the 22nd EUROMICRO Conference. IEEE, 185--192 . Peter Grun, Petru Eles, Krzysztof Kuchcinski, and Zebo Peng. 1996. Automatic parallelization of a petri net-based design representation for high-level synthesis. In Proc. of the 22nd EUROMICRO Conference. IEEE, 185--192."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1624775.1624804"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858171.1858175"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.23"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362336.2362344"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11277-014-1914-9"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/288548.289067"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2006.16"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/GreenCom-iThings-CPSCom.2013.37"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/PERCOMW.2005.85"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34103-8_19"},{"key":"e_1_2_1_23_1","volume-title":"Kroese","author":"Rubinstein Reuven Y.","year":"2011","unstructured":"Reuven Y. Rubinstein and Dirk P . Kroese . 2011 . Simulation and the Monte Carlo Method. Vol. 707 . John Wiley & Sons , New York, NY. Reuven Y. Rubinstein and Dirk P. Kroese. 2011. Simulation and the Monte Carlo Method. Vol. 707. John Wiley & Sons, New York, NY."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.890107"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2013.20"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2015.02.089"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2010.104"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCC.and.EUC.2013.306"},{"key":"e_1_2_1_29_1","volume-title":"HyperspaceFlow: A system-level design methodology for smart space","author":"Zeng Jing","year":"2015","unstructured":"Jing Zeng , Laurence T. Yang , Jianhua Ma , and Minyi Guo . 2015. HyperspaceFlow: A system-level design methodology for smart space . IEEE Trans. Emerging Topics Comput. (TETC) ( 2015 ). DOI:http:\/\/dx.doi.org\/10.1145\/2638728.2641672 10.1145\/2638728.2641672 Jing Zeng, Laurence T. Yang, Jianhua Ma, and Minyi Guo. 2015. HyperspaceFlow: A system-level design methodology for smart space. IEEE Trans. Emerging Topics Comput. (TETC) (2015). DOI:http:\/\/dx.doi.org\/10.1145\/2638728.2641672"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2307636.2307671"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382539"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2834119","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2834119","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:43:17Z","timestamp":1750225397000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2834119"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,10]]},"references-count":30,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,6,7]]}},"alternative-id":["10.1145\/2834119"],"URL":"https:\/\/doi.org\/10.1145\/2834119","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,5,10]]},"assertion":[{"value":"2015-03-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-09-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-05-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}