THE DATE HAS BEEN CHANGED TO WEDNESDAY THE 19TH OF MARCH
Incognito would like to invite you to the next KafE event with Dr. Pieter Collins.
A KafE is an informal event at a cafe where we invite someone to talk about a topic related to our studies at the DKE.
Pieter is one of the professors currently teaching and doing research at the DKE, you might have had him for Numerical Mathematics.
The title of his talk is “Verification of Cyber-Physical Systems: Will your robots do what you want?”
Imagine you are programming a robot to play in a football team. You spend a lot of time writing software and testing it under different conditions, but when the big day comes, the pitch is slippery and your robot keeps falling over when trying to shimmy past a defender and your team fails to score. Is this disaster something you could have anticipated using a careful mathematical model of your system and some snazzy computational analysis?
This kind of problem is technically known as “Verification of Cyber-Physical Systems”. A cyber-physical is one in which a digital-computer controlled devices interacting in the world of continuous physics, and “Verification” means that we want to know if it does what we want (under reasonable assumptions on the external environment), This is a big problem, and we are not particularly close to solving it. On the other hand, we can start putting some of the pieces together. This talk will be a whirlwind overview of some of the ideas involved.
Beer price: 1.25 euros