This talk discusses the concept of cyber-physical engineering (CPE) for the study and design of automation systems in the presence of strong interdependencies between the physical and computational processes that do not allow to effectively model systems within classic paradigms of control engineering or computer science. The principle of cyber-physical engineering, discussed in this talk, assumes the use of languages and means of interdisciplinary modelling at all stages of design, analysis and operation of systems. This leads us to the concept of cyber-physical component (CPC) as an artefact used in both engineering and verification.
Valeriy Vyatkin, Professor of Information and Computer Engineering in Automation at Aalto University, Finland on joint appointment as Chaired Professor (Ämnesföreträdare) of Dependable Computation and Communication Systems, Luleå University of Technology, Luleå, Sweden. He has been leading research projects related to software and systems engineering for cyber-physical automation systems, intelligent energy, logistics and transportation, addressing such aspects as dependability, distributed architectures and multi-agent systems applied in various industry sectors: SmartGrid, material handling, building management systems and reconfigurable manufacturing, funded by the National Science Foundation (USA), Vettenskap Råd (Sweden), Academy of Sciences (Finland), various national and private agencies in Japan, Germany, New Zealand, Sweden, Finland and the EU.