Herrmann, Peter; Blech, Jan Olaf; Han, Fenglin; … - In: International Journal of Web Services Research (IJWSR) 13 (2016) 1, pp. 40-52
A method preserving cyber-physical systems to operate safely in a joint physical space is presented. It comprises the model-based development of the control software and simulators for the continuous physical environment as well as proving the models for spatial and real-time properties. The...