Abstract
Cyber-Physical-Social Systems (CPSS) is an emerging complicated topic in recent years which focuses on the researches of a combination of cyberspace, physical space and social space. Different from traditional Cyber-Physical-Systems, CPSS contain human who interacts with the cyber and physical part more frequently. So how to capture and analyse human behaviors play a vital role in CPSS performance evaluation. To improve the analysis accuracy of CPSS, the paper proposes a new modelling framework – stohMCharts (stochastic hybrid MARTE statecharts) which is an extension of MARTE statecharts for stochastic hybrid system modelling and analysis. Compared to MARTE statechart, in stohMCharts, we can model the CPSS in a unified way. Also, we associate stohMCharts to NSHA (Networks Stochastic Hybrid Automata) and use statistical model checker UPPAAL-SMC to verify the stohMCharts. We apply an autonomous car as an example to explain the efficiency of our proposed approaches.
The paper is partially supported by funding under the National Key Research and Development Project 2017YFB1001800, NSFC 61572195 and NFSC61802251.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Chen, W., et al.: A novel ensemble approach of bivariate statistical-based logistic model tree classifier for landslide susceptibility assessment. Geocarto Int. 33(12), 1398–1420 (2018)
David, A., Larsen, K.G., Legay, A., Poulsen, D.B.: Statistical model checking of dynamic networks of stochastic hybrid automata. Electr. Commun. EASST 66 (2014)
Dogru, N., Subasi, A.: Traffic accident detection using random forest classifier. In: 2018 15th Learning and Technology Conference (L&T), pp. 40–45. IEEE (2018)
Li, T., Li, J., Liu, Z., Li, P., Jia, C.: Differentially private Naive Bayes learning over multiple data sources. Inf. Sci. 444, 89–104 (2018)
Noi, P.T., Kappas, M.: Comparison of random forest, k-nearest neighbor, and support vector machine classifiers for land cover classification using sentinel-2 imagery. Sensors 18(1), 18 (2018)
Xu, J., Xu, C., Zou, B., Tang, Y.Y., Peng, J., You, X.: New incremental learning algorithm with support vector machines. IEEE Trans. Syst. Man Cybern. Syst. (2018)
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
An, D., Liu, J., Chen, X., Li, T., Yin, L. (2019). A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning. In: Ait-Ameur, Y., Qin, S. (eds) Formal Methods and Software Engineering. ICFEM 2019. Lecture Notes in Computer Science(), vol 11852. Springer, Cham. https://doi.org/10.1007/978-3-030-32409-4_37
Download citation
DOI: https://doi.org/10.1007/978-3-030-32409-4_37
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-32408-7
Online ISBN: 978-3-030-32409-4
eBook Packages: Computer ScienceComputer Science (R0)