Markov task network: A framework for service composition under uncertainty in cyber-physical systems

Sensors (Switzerland)

Volumn 16, Issue 9, 2016, Pages

  Mohammed, Abdul Wahid ^a,b   Xu, Yang ^a   Hu, Haixiao ^a   Agyemang, Brighter ^a  

^a UNIVERSITY OF ELECTRONIC SCIENCE AND TECHNOLOGY OF CHINA   (China)

^b UNIVERSITY FOR DEVELOPMENT STUDIES   (Ghana)

Author keywords

Cyber physical systems; Hierarchical task networks; Markov logic networks; Ontology; Uncertainty reasoning

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL EFFICIENCY; COMPUTER CIRCUITS; DYNAMICS; EMBEDDED SYSTEMS; HIERARCHICAL SYSTEMS; INFERENCE ENGINES; MARKOV PROCESSES; ONTOLOGY; PROBABILISTIC LOGICS; QUALITY OF SERVICE; SEMANTICS;

COLLABORATIVE FUNCTIONALITIES; COLLABORATIVE SERVICES; COLLABORATIVE SYSTEMS; HIERARCHICAL TASK NETWORKS; MARKOV LOGIC NETWORKS; SEMANTIC TECHNOLOGIES; SERVICE COMPOSITIONS; UNCERTAINTY REASONING;

CYBER PHYSICAL SYSTEM;

EID: 84988934473     PISSN: 14248220     EISSN: None     Source Type: Journal    
DOI: 10.3390/s16091542     Document Type: Article

References (29)

1. Lee, E. Cyber physical systems: Design challenges. In Proceedings of the 2008 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), Orlando, FL, USA, 5-7 May 2008; IEEE: Piscataway, NJ, USA, 2008; pp. 363-369.
2. Rajkumar, R. R.; Lee, I.; Sha, L.; Stankovic, J. Cyber-physical systems: The next computing revolution. In Proceedings of the 47th Design Automation Conference, Anaheim, CA, USA, 13-18 June 2010; ACM: New York, NY, USA, 2010; pp. 731-736.
3. Atzori, L.; Iera, A.; Morabito, G. The internet of things: A survey. Comput. Netw. 2010, 54, 2787-2805.
4. Tariq, M. U.; Grijalva, S.; Wolf, M. A Service-Oriented, Cyber-Physical Reference Model for Smart Grid. In Cyber Physical Systems Approach to Smart Electric Power Grid; Springer: Heidelberg, Germany, 2015; pp. 25-42.
5. Hoang, D. D.; Paik, H. Y.; Kim, C. K. Service-oriented middleware architectures for cyber-physical systems. Int. J. Comput. Sci. Netw. Secur. 2012, 12, 79-87.
6. Pederson, P.; Dudenhoeffer, D.; Hartley, S.; Permann, M. Critical Infrastructure Interdependency Modeling: A Survey of US and International Research; Idaho National Laboratory: Idaho Falls, ID, USA, 2006; pp. 1-20.
7. Liu, J.; Zhao, F. Towards semantic services for sensor-rich information systems. In Proceedings of the 2005 2nd International Conference onBroadband Networks, BroadNets 2005, Boston, MA, USA, 3-7 October 2005; IEEE: Piscataway, NJ, USA, 2005; pp. 967-974.
8. Jiang, G.; Chung, W. W.; Cybenko, G. Semantic agent technologies for tactical sensor networks. In Proceedings of the AeroSense 2003 International Society for Optics and Photonics, 2003; pp. 311-320.
9. Wang, S.; Shen, W.; Hao, Q. An agent-based Web service workflow model for inter-enterprise collaboration. Expert Syst. Appl. 2006, 31, 787-799.
10. Huang, J.; Bastani, F. B.; Yen, I.; Zhang, W. A framework for efficient service composition in cyber-physical systems. In Proceedings of the 2010 5th IEEE International Symposium on Service Oriented System Engineering (SOSE), Nanjing, China, 4-5 Jun 2010; IEEE: New York, NY, USA, 2010; pp. 291-298.
11. Ko, R. K.; Lee, E. W.; Lee, S. Business-OWL (BOWL)—A Hierarchical task network ontology for dynamic business process decomposition and formulation. IEEE Trans. Serv. Comput. 2012, 5, 246-259.
12. Hoang, V. M.; Hoang, H. H. An ontological approach for dynamic cross-enterprise collaboration. In Proceedings of the 2012 26th International Conference on Advanced Information Networking and Applications Workshops (WAINA), Fukuoka, Japan, 26-29 March 2012; IEEE: New York, NY, USA, 2012; pp. 1355-1360.
13. Song, Z.; Chen, Y.; Sastry, C. R.; Tas, N. C. Optimal Observation for Cyber-Physical Systems: A Fisher-Information-Matrix-Based Approach; Springer Science & Business Media: Berlin, Germany, 2009.
14. Tang, L. A.; Yu, X.; Kim, S.; Gu, Q.; Han, J.; Leung, A.; La Porta, T. Trustworthiness analysis of sensor data in cyber-physical systems. J. Comput. Syst. Sci. 2013, 79, 383-401.
15. Ghallab, M.; Nau, D.; Traverso, P. Hierarchical task network planning. In Automated Planning: Theory and Practice; Morgan Kaufmann: San Francisco, CA, USA, 2004; pp. 229-259.
16. Domingos, P.; Richardson, M. 12 Markov Logic: A Unifying Framework for Statistical Relational Learning. In Statistical Relational Learning; The MIT Press: Cambridge, MA, USA, 2007; p. 339.
17. Zhang, W.; Li, X.; He, H.; Wang, X. Identifying network public opinion leaders based on markov logic networks. Sci. World J. 2014, 2014, 268592.
18. He, H.; Li, Z.; Yao, C.; Zhang, W. Sentiment classification technology based on Markov logic networks. New Rev. Hypermedia Multimedia 2016, 22, 1-15.
19. Compton, M.; Barnaghi, P.; Bermudez, L.; GarcíA-Castro, R.; Corcho, O.; Cox, S.; Graybeal, J.; Hauswirth, M.; Henson, C.; Herzog, A. et al. The SSN ontology of the W3C semantic sensor network incubator group. Web Semant. Sci. Serv. Agents World Wide Web 2012, 17, 25-32.
20. Swetina, J.; Lu, G.; Jacobs, P.; Ennesser, F.; Song, J. Toward a standardized common M2M service layer platform: Introduction to oneM2M. IEEE Wirel. Commun. 2014, 21, 20-26.
21. Fikes, R.; McGuinness, D.; Waldinger, R. A First-Order Logic Semantics for Semantic Web Markup Languages; Knowledge Systems Laboratory, Stanford University: Stanford, CA, USA, 2002.
22. Lowd, D.; Domingos, P. Efficient weight learning for Markov logic networks. In Knowledge Discovery in Databases: PKDD 2007; Springer: Heidelberg, Germany, 2007; pp. 200-211.
23. Chein, M.; Mugnier, M. L. Graph-Based Knowledge Representation: Computational Foundations of Conceptual Graphs; Springer Science & Business Media: Berlin-Heidelberg, Germany, 2008.
24. Domingos, P.; Kok, S.; Lowd, D.; Poon, H.; Richardson, M.; Singla, P. Markov logic. In Probabilistic Inductive Logic Programming; Springer: Heidelberg, Germany, 2008; pp. 92-117.
25. Schutte, N. S.; Malouff, J. M.; Hall, L. E.; Haggerty, D. J.; Cooper, J. T.; Golden, C. J.; Dornheim, L. Development and validation of a measure of emotional intelligence. Pers. Individ. Differ. 1998, 25, 167-177.
26. Quan, G. An integrated simulation environment for cyber-physical system co-simulation. In Proceedings of the National Workshop on High-Confidence Automotive Cyber-Physical Systems, Troy, MI, USA, 3-4 April 2008.
27. Hnat, T. W.; Sookoor, T. I.; Hooimeijer, P.; Weimer, W.; Whitehouse, K. Macrolab: A vector-based macroprogramming framework for cyber-physical systems. In Proceedings of the 6th ACM Conference on Embedded Network Sensor Systems, Raleigh, NC, USA, 4-7 November 2008; ACM: New York, NY, USA, 2008; pp. 225-238.
28. Rajhans, A.; Cheng, S. W.; Schmerl, B.; Garlan, D.; Krogh, B. H.; Agbi, C.; Bhave, A. An architectural approach to the design and analysis of cyber-physical systems. Electron. Commun. EASST 2009, 21, 1-10.
29. Lin, J.; Sedigh, S.; Miller, A. Modeling cyber-physical systems with semantic agents. In Proceedings of the 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops (COMPSACW), Seoul, Korea, 19-23 July 2010; IEEE: New York, NY, USA, 2010; pp. 13-18.