Abstract
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.
- U. Anliker, J. Beutel, M. Dyer, R. Enzler, P. Lukowicz, L. Thiele, and G. Troster. 2004. A systematic approach to the design of distributed wearable systems. IEEE Trans. Comput. 53, 8 (2004), 1017--1033. Google Scholar
Digital Library
- Christian Becker and Frank Dürr. 2005. On location models for ubiquitous computing. Pers. Ubiq. Comput. 9, 1 (2005), 20--31. Google Scholar
Digital Library
- Urs Bischoff and Gerd Kortuem. 2007. A compiler for the smart space. In Proc. of European Conference on Ambient Intelligence (AmI’07). Vol. 4794. Springer, Berlin, 230--247. Google Scholar
Digital Library
- Andrew T. Campbell, Shane B. Eisenman, Nicholas D. Lane, Emiliano Miluzzo, Ronald A. Peterson, Hong Lu, Xiao Zheng, Mirco Musolesi, Kristóf Fodor, and Gahng-Seop Ahn. 2008. The rise of people-centric sensing. IEEE Internet Comput. 12, 4 (2008), 12--21. Google Scholar
Digital Library
- 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’06). 621--624.Google Scholar
- Carlos Coello Coello, Gary B. Lamont, and David A. Van Veldhuizen. 2007. Evolutionary Algorithms for Solving Multi-objective Problems. Springer, Berlin. Google Scholar
Digital Library
- Kalyanmoy Deb, Amrit Pratap, Sameer Agarwal, and Tamt Meyarivan. 2002. A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Trans. Evolution. Comput. 6, 2 (2002), 182--197. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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.Google Scholar
- Carl Hewitt, Peter Bishop, and Richard Steiger. 1973. A universal modular actor formalism for artificial intelligence. In Proc. of the 3rd International Joint Conference on Artificial Intelligence. Morgan Kaufmann, 235--245. Google Scholar
Digital Library
- Stacey Kuznetsov and Eric Paulos. 2010. Participatory sensing in public spaces: Activating urban surfaces with sensor probes. In Proc. of the 8th ACM Conference on Designing Interactive Systems. ACM, 21--30. Google Scholar
Digital Library
- Leslie Lamport. 1978. Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21, 7 (1978), 558--565. Google Scholar
Digital Library
- Francesco Leonardi, Alessandro Pinto, and Luca P. Carloni. 2011. Synthesis of distributed execution platforms for cyber-physical systems with applications to high-performance buildings. In Proc. of IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS’11). 215--224. Google Scholar
Digital Library
- Avinash Malik, Zoran Salcic, Christopher Chong, and Salman Javed. 2012. System-level approach to the design of a smart distributed surveillance system using systemj. ACM Trans. Embed. Comput. Syst. (TECS) 11, 4 (2012), 77. Google Scholar
Digital Library
- T. Murata. 1989. Petri nets: Properties, analysis and applications. Proc. IEEE 77, 4 (1989), 541--580.Google Scholar
Cross Ref
- Udaykumar Naik and Vishram N. Bapat. 2014. Adaptive empirical path loss prediction models for indoor WLAN. Wireless Pers. Commun. 79, 2 (2014), 1003--1016. Google Scholar
Digital Library
- Ross B. Ortega and Gaetano Borriello. 1998. Communication synthesis for distributed embedded systems. In Proc. of 1998 IEEE/ACM International Conference on Computer-Aided Design (ICCAD’98). 437--444. Google Scholar
Digital Library
- Andy D. Pimentel, Cagkan Erbas, and Simon Polstra. 2006. A systematic approach to exploring embedded system architectures at multiple abstraction levels. IEEE Trans. Comput. 55, 2 (2006), 99--112. Google Scholar
Digital Library
- Chao Qian, Changqing Luo, Fei Hao, Laurence T. Yang, and Geyong Min. 2013. Energy-efficient dynamic network selection in heterogeneous wireless networks. In Proc. of 2013 IEEE Green Computing and Communications (GreenCom’13). IEEE, Washington, DC, 71--76. Google Scholar
Digital Library
- Chander Ramchandani. 1974. Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Ph.D. Dissertation. Massachusetts Institute of Technology, USA.Google Scholar
- Anand Ranganathan, Jalal Al-Muhtadi, Jacob Biehl, Brian Ziebart, Roy H. Campbell, and Brian Bailey. 2005. Towards a pervasive computing benchmark. In Proc. of Third IEEE International Conference on Pervasive Computing and Communications Workshops (Percom’05). IEEE, 194--198. Google Scholar
Digital Library
- Claudia B. Rebola, Gbolabo Ogunmakin, and Patricio A. Vela. 2012. Automated behavioral mapping for monitoring social interactions among older adults. In Social Robotics. Lecture Notes in Computer Science, Vol. 7621. Springer, Berlin, 188--198. Google Scholar
Digital Library
- Reuven Y. Rubinstein and Dirk P. Kroese. 2011. Simulation and the Monte Carlo Method. Vol. 707. John Wiley & Sons, New York, NY. Google Scholar
Digital Library
- Alberto Sangiovanni-Vincentelli. 2007. Quo vadis, SLD? Reasoning about the trends and challenges of system level design. Proc. IEEE 95, 3 (2007), 467--506.Google Scholar
Cross Ref
- A. Sheth, P. Anantharam, and C. Henson. 2013. Physical-cyber-social computing: An early 21st century approach. IEEE Intell. Syst. 28, 1 (2013), 78--82. Google Scholar
Digital Library
- Alexander Smirnov, Alexey Kashevnik, and Andrew Ponomarev. 2015. Multi-level self-organization in cyber-physical-social systems: Smart home cleaning scenario. Procedia CIRP 30 (2015), 329--334.Google Scholar
Cross Ref
- Fei-Yue Wang. 2010. The emergence of intelligent enterprises: From CPS to CPSS. IEEE Intell. Syst. 25, 4 (2010), 85--88. Google Scholar
Digital Library
- Yuqiong Xu, Shijian Li, Zhaohui Wu, and Gang Pan. 2013. An intensive location-aware framework for device-involved human tasks. In Proc. of IEEE 10th International Conference on High Performance Computing and Communications (HPCC’13). 2135--2142.Google Scholar
Cross Ref
- 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.2641672Google Scholar
- Pengfei Zhou, Yuanqing Zheng, and Mo Li. 2012. How long to wait? Predicting bus arrival time with mobile phone based participatory sensing. In Proc. of the 10th International Conference on Mobile Systems, Applications, and Services. ACM, 379--392. Google Scholar
Digital Library
- Dakai Zhu, Rami Melhem, and Daniel Mossé. 2004. The effects of energy management on reliability in real-time embedded systems. In Proc. of IEEE/ACM International Conference on Computer Aided Design (ICCAD’04). IEEE, 35--40. Google Scholar
Digital Library
Index Terms
(auto-classified)A System-Level Modeling and Design for Cyber-Physical-Social Systems
Recommendations
System-Level Design Optimization for Security-Critical Cyber-Physical-Social Systems
Special Issue on LCETES 2015, Special Issue on ACSD 2015 and Special Issue on Embedded Devise Forensics and SecurityCyber-physical-social systems (CPSS), an emerging computing paradigm, have attracted intensive attentions from the research community and industry. We are facing various challenges in designing secure, reliable, and user-satisfied CPSS. In this article, ...
A survey: Cyber-physical-social systems and their system-level design methodology
AbstractThe emergence of cyber-physical-social systems (CPSS) as a novel paradigm has revolutionized the relationship between humans, computers and the physical environment. In this paper, we survey the advancement of CPSS through cyber-...
Highlights- This paper discusses the relationships between cyber-physical-social computing and ubiquitous computing.
A New Model Language for Cyber Physical Systems
ISCC-C '13: Proceedings of the 2013 International Conference on Information Science and Cloud Computing CompanionCyber Physical Systems are an emerging discipline that integrates computation and physical processes. With the computation field developed maturely, the major challenges of the implementation of CPSs are the informational abstraction of physical ...






Comments