Prof. Ernst Rank and the TUM-IAS team invite the scientists of TUM and their guests for coffee each Wednesday! Just come over to the TUM-IAS after lunch between 1:00–2:00 p.m. and have a coffee with us, meet other scientists and listen from time to time to a short talk (10-15 mins) on a recent major TUM publication or issue – aimed specifically at a non-expert audience.
On July 24, Prof. Dr. André Platzer (Carnegie Mellon University) will give a talk entitled “Cyber Physical System Safety”. Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes. Cars, aircraft, and robots are prime examples, because they move physically in space in a way that is determined by discrete computerized control algorithms. Designing these algorithms is challenging due to their tight coupling with physical behavior, while it is vital that these algorithms be correct because we rely on them for safety-critical tasks. This talk gives a brief introduction to the foundations for developing cyber-physical systems with the mathematical rigor that their safety-critical nature demands. More detail is provided in a recent textbook.
Relevant Publication:
André Platzer. Logical Foundations of Cyber-Physical Systems. Springer, 2018. DOI: 10.1007/978-3-319-63588-0
We look forward to seeing you there!
Would you like to receive regular updates on Scientists Meet Scientists – Wednesday Coffee Talk? Just contact us via the contact formular.
An overview of upcoming Wednesday Coffee Talks can be found at www.ias.tum.de/events/coffee-talk/.