Abstract: In the talk, I will discuss two subjects of crucial importance for critical infrastructures: safety and security. Solutions provided by several ‘smart’ ideas: smart grids, smart cities, smart production, depend on exchange of data. Frequently, broadcasts of raw data is used, which is not secure at all. In the wrong hands data can reveal sensitive information and may also be supplanted with the intention of interrupting operation of the system. I will present an idea how to circumvent these problems by developing privacy-preserving estimation-, control- and fault detection- algorithms, which lean upon recent developments within secure computation.
In the second part of the talk I will discuss safety. One of the questions, we wish to answer is about the probability of a fault or a malfunction in a system. I will sketch one particular technique which helps answering this question – the barrier certificate method. To create a barrier certificate, one re-formulates a safety enquiry into the language of optimization, here, semidefinite programming. Values of the barrier correspond to the safety level.
Bio: Rafael Wisniewski is a full professor in control in the Department of Electronic Systems, Aalborg University, Denmark. He received his Ph.D. in Electrical Engineering in 1997, and Ph.D. in Mathematics in 2005. In 2007–2008, he was a control specialist at Danfoss A/S. In 2008-2013, he was a Vestas professor. He was a visiting scholar at Mathematics Department, Rice University, Houston, NASA Goddard Space and Flight Center, Greenbelt, and Mittag-Leffler Institute, Stockholm. His research interest is in system theory, particularly in hybrid systems; safety and security of infrastructures.