Abstract
Cyber-Physical System has been characterized by deep integration of computing and physical process. So it is difficult to model Cyber-Physical System and to analyze its properties. Thus, events are usually as a natural way to connect computing and physical process. In order to formally describe the constitution of composite events, an algebra of events is introduced for complex events process. And an approach of extend automata is proposed for behavior modeling Cyber-Physical System. At last, a simulation of lunar rover is introduced to verify its performance and safety of lunar rover.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Klein, R., Rilling, S., Usov, A., Xie, J.: Using complex event processing for modelling and simulation of cyber-physical systems. Infrastructures 9(1/2), 148–172 (2013)
Mola, L., Rossignoli, C., Carugati, A., Giangreco, A.: Business intelligence system design and its consequences for knowledge sharing. Collab. Decis. Making Explor. Study 11(4), 1–25 (2015)
Mezghani, K., Ayadi, F.: Factors explaining IS managers attitudes toward cloud computing adoption. Int. J. Technol. Hum. Interact. 12(1), 1–20 (2016)
Yuriyama, M., Kushida, T.: Integrated cloud computing environment with IT resources and sensor devices. Int. J. Space-Based Situat. Comput. (IJSSC) 1(2–3), 174–182 (2011). doi:10.1504/IJSSC.2011.040342
Boyinbode, O., Le, H., Takizawa, M.: A survey on clustering algorithms for wireless sensor networks. Int. J. Space-Based Situat. Comput. (IJSSC) 1(2–3), 137–150 (2011). doi:10.1504/IJSSC.2011.040339
Di Stefano, A., Morana, G., Zito, D.: QoS-aware services composition in P2PGrid environments, pp. 148–155. doi:http://dx.doi.org/10.1504/IJGUC.2011.04060
Lee. E.A.: Cyber physical systems: design challenges. In: The 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing, ISORC-2008, 5–7 May 2008, Orlando, Florida, USA, pp. 363–369 (2008)
Lee, E.A.: The past, present and future of cyber-physical systems: a focus on models. Sensors 15, 4837–4869 (2015)
Guyeux, C., Makhoul, A., Atoui, I., Tawbi, S., Bahi, J.M.: A complete security framework for wireless sensor networks: theory and practice. Int. J. Inf. Technol. Web. Eng. 10(1), 47–74 (2015)
Saripalle, R.K., Demurjian, S.A., Blechner, M., Agresta, T.: HOD2MLC: Hybrid Ontology Design and Development Model with Lifecycle. Int. J. Inf. Technol. Web. Eng. 10(2), 16–42 (2015)
Xingshe, Z., Yalei, Y., Gang, Y.: A method for cyber-physical system dynamic behavior modeling. Chin. J. Comput. 37(6), 1411–1423 (2014)
Zhou, C., Yin, Z., Feng, Y.: Events algebra of triggers. Comput. J. 60(5), 1–10 (2017)
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Tuo, M., Zhou, C., Yin, Z., Zhao, X., Wang, L. (2018). Research on Behavior Modeling and Property Verification for Cyber-Physical Systems. In: Barolli, L., Woungang, I., Hussain, O. (eds) Advances in Intelligent Networking and Collaborative Systems. INCoS 2017. Lecture Notes on Data Engineering and Communications Technologies, vol 8. Springer, Cham. https://doi.org/10.1007/978-3-319-65636-6_50
Download citation
DOI: https://doi.org/10.1007/978-3-319-65636-6_50
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-65635-9
Online ISBN: 978-3-319-65636-6
eBook Packages: EngineeringEngineering (R0)