Research output per year
Research output per year
Affiliated with the university
The main focus of my PhD is testing of autonomous systems, with focus on the case where the autonomous layer is implemented using control theory. My work aims at defining testing methodologies for empirically and formally verify properties (both on the control and software perspective) for such systems.
On the side I have also been working on control and real-time systems co-design, specifically in designing control algorithms that are robust to the occurrence deadline misses.
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Thesis › Doctoral Thesis (compilation)
Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review
Mandrioli, C., Maggio, M. & Årzén, K.
2018/01/31 → 2022/12/31
Project: Dissertation
Mandrioli, Claudio (Recipient) & Maggio, Martina (Recipient), 2020
Prize: Prize (including medals and awards)