Abstract
CPS uses recent computing, communication, and control methods to monitor and control geographically dispersed field sites in order provide and maintain a high level of confidence about their operation and, hence, plays an important role in several sustainable systems and has extraordinary significance for the future of several industrial domains. The complexity of these systems requires that adequate attention is paid to their design process, since any failure in detecting errors in safety critical systems can lead to catastrophic situations. This work shows how different methods can be used for the analysis of CPS at different levels of abstraction. The method is demonstrated on an industrial case study of a four-tank process that illustrates several challenging features in the design and implementation of CPS.
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
Abrial, J. R. (2009). Faultless systems: Yes we can! IEEE Computer Journal, 42(9), 30–36.
Anseth, R., Manjula, E. V., Obada, S. S., Okpanachi, A. D., Raghunath, B., & Utake E. O. (2010). Design of scada system used on a four-tank laboratory process. Technical Report SCE4006. Norway: Telemark University College.
Baier, C., & Katoen, J.-P. (2008). Principles of model checking. Cambridge, USA: MIT Press.
Johansson, K. H. (2000). The quadruple-tank process: A multivariable laboratory process with an adjustable zero. IEEE Transactions on Control Systems Technology, 8(3), 456–465.
Okpanachi, A. V. (2010). Developing advanced control strategies for a 4-tank laboratory process. Master’s Thesis report.
Rawat, D. B., Rodrigues, J. J. P. C., & Stojmenovic, I. (2015). Cyber-physical systems: From theory to practice. Boca Raton, FL: CRC Press.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing Switzerland
About this paper
Cite this paper
Omar, A.A., Gawanmeh, A., April, A. (2017). On the Analysis of Cyber Physical Systems. In: Benlamri, R., Sparer, M. (eds) Leadership, Innovation and Entrepreneurship as Driving Forces of the Global Economy. Springer Proceedings in Business and Economics. Springer, Cham. https://doi.org/10.1007/978-3-319-43434-6_24
Download citation
DOI: https://doi.org/10.1007/978-3-319-43434-6_24
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-43433-9
Online ISBN: 978-3-319-43434-6
eBook Packages: Business and ManagementBusiness and Management (R0)