Zeit: | 8. November 2022 |
---|---|
Download als iCal: |
|
Prof. Martina Maggio
Department of Computer Science
Saarland University
Saarbrücken, Germany
Tuesday 2022-11-08 4 p.m.
IST Seminar Room 2.255 - Pfaffenwaldring 9 - Campus Stuttgart-Vaihingen
Abstract
Control signals are almost always calculated using hardware and software. Due to software bugs, hardware contention, and other computational hurdles, the calculation of new control signals is subject to faults and delays. In the control design process, these computational problems are often ignored, as they happen rarely. However, hardware becomes increasingly more complex, with the presence of accellerators and special computing units, and the computation of control signals often requires image manipulation, or coordinate transformations. When the complexity increases, can we still ignore the computational problems? This talk will introduce a framework for analyzing the behaviour of control software subject to deadline misses, focusing on the weakly-hard model of computation and touching upon probabilistic outcomes.
Biographical Information
Martina Maggio is a Professor at the Computer Science Department, Saarland University since March 2020 and also an Associate Professor at the Department of Automatic Control, Lund University since 2017. She completed her Ph.D. at Politecnico di Milano, working with Alberto Leva on the applications of control-theoretical tools for the design of computing systems. During her Ph.D. she spent one year as a visiting graduate student at the Computer Science and Artificial Intelligence Laboratory at MIT, working with Anant Agarwal and Hank Hoffmann on the Self-Aware Computing project. In 2019, she spent a sabbatical year at Bosch Corporate Research in Renningen, Germany, working with Dirk Ziegenbein and Arne Hamann on the verification and validation of control systems in presence of deadline misses and computational faults.