skip to main content
research-article

A System-Level Modeling and Design for Cyber-Physical-Social Systems

Authors Info & Claims
Published:10 May 2016Publication History
Skip Abstract Section

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.

References

  1. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  2. Christian Becker and Frank Dürr. 2005. On location models for ubiquitous computing. Pers. Ubiq. Comput. 9, 1 (2005), 20--31. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  4. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  5. 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 ScholarGoogle Scholar
  6. Carlos Coello Coello, Gary B. Lamont, and David A. Van Veldhuizen. 2007. Evolutionary Algorithms for Solving Multi-objective Problems. Springer, Berlin. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  8. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  9. 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 ScholarGoogle Scholar
  10. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  11. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  12. Leslie Lamport. 1978. Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21, 7 (1978), 558--565. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  14. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  15. T. Murata. 1989. Petri nets: Properties, analysis and applications. Proc. IEEE 77, 4 (1989), 541--580.Google ScholarGoogle ScholarCross RefCross Ref
  16. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  17. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  18. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  19. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  20. Chander Ramchandani. 1974. Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Ph.D. Dissertation. Massachusetts Institute of Technology, USA.Google ScholarGoogle Scholar
  21. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  22. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  23. Reuven Y. Rubinstein and Dirk P. Kroese. 2011. Simulation and the Monte Carlo Method. Vol. 707. John Wiley & Sons, New York, NY. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. 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 ScholarGoogle ScholarCross RefCross Ref
  25. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  26. 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 ScholarGoogle ScholarCross RefCross Ref
  27. Fei-Yue Wang. 2010. The emergence of intelligent enterprises: From CPS to CPSS. IEEE Intell. Syst. 25, 4 (2010), 85--88. Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. 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 ScholarGoogle ScholarCross RefCross Ref
  29. 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 ScholarGoogle Scholar
  30. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  31. 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 ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

(auto-classified)
  1. A System-Level Modeling and Design for Cyber-Physical-Social Systems

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in

    Full Access

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader
    About Cookies On This Site

    We use cookies to ensure that we give you the best experience on our website.

    Learn more

    Got it!