Abstract
Cyber physical systems are a new concept that combines discrete and continuous dynamics to cooperate. The existing modelling language cannot model cyber-physical systems well for that the discrete dynamics is represented by finite state machine and continuous dynamics is represented by differential equations. In this paper, we use a new formal modelling language, Hybrid Relation Calculus, proposed by Jifeng He to model the cyber-physical systems and we apply Hybrid Relation Calculus to specify steam boiler control system.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Sha, L., Gopalakrishnan, S., Liu, X., et al.: Cyber-physical systems: A new frontier. In: Machine Learning in Cyber Trust, pp. 3–13. Springer US (2009)
Poroor, J., Jayaraman, B.: Formal analysis of event-driven cyber physical systems. In: Proceedings of the First International Conference on Security of Internet of Things, pp. 1–8. ACM (2012)
Lee, J., Maeng, J.C., Song, B., et al.: software-Based Fault Detection and Recovery for Cyber-Physical Systems. In (Jong Hyuk) Park, J.J., Ng, J.K.-Y., Jeong, H.Y., Waluyo, B. (eds.) Multimedia and Ubiquitous Engineering. LNEE, vol. 240, pp. 1107–1112. Springer, Heidelberg (2013)
Jifeng, H.: Hybrid Relation Calculus. East China Normal University (2013)
Liu, S., et al.: Formalizing UML State Machine Semantics for Automatic Verification (2012)
Kurpick, T., Pinkernell, C., Look, M., et al.: Modeling cyber-physical systems: model-driven specification of energy efficient buildings. In: Proceedings of the Modelling of the Physical World Workshop. ACM (2012)
He, J.: Link Continuous World with Discrete World. In: The 10th International Colloquium on Theoretical Aspects of Computing, Shanghai, China (September 2013) (unpublished) (Keytalk)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Feng, S., Zhang, L. (2014). A Case Study for Cyber Physical System with Hybrid Relation Calculus. In: Jeong, H., S. Obaidat, M., Yen, N., Park, J. (eds) Advances in Computer Science and its Applications. Lecture Notes in Electrical Engineering, vol 279. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41674-3_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-41674-3_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41673-6
Online ISBN: 978-3-642-41674-3
eBook Packages: EngineeringEngineering (R0)