Cyber-Physical Systems

Self-driving vehicles and interconnected vehicle fleets are examples for assistive sensor- and actor-based systems, which can be regarded as Cyber-Physical Systems.
The engineering of these increasingly intelligent, interconnected, and autonomously acting systems demands for more elaborated techniques and methods to realize high-quality, robust, and reliable systems. We are combining formal methods, simulations, and real-world experiments to conduct research towards more reliable models and software systems.​​


Contact person: Christian Berger

Page manager Published: Tue 14 Jul 2015.

Web Part Error: A Web Part or Web Form Control on this Page cannot be displayed or imported. The type Chalmers.PublicWeb.WebParts.VideoPlayerWebpart.VideoPlayerWebpart, Chalmers.PublicWeb, Version=, Culture=neutral, PublicKeyToken=1673bfb63334686a could not be found or it is not registered as safe.