lunduniversity.lu.se

Automatic Control

Faculty of Engineering, LTH

Denna sida på svenska This page in English

Claudio Mandrioli

Phd student at the Automatic Control Department since January 2018. Part of the Wallenberg Autonomous Systems and Software Program (WASP).


My main research interest is testing of autonomous software, 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.

 

Publications

Claudio Mandrioli and Martina Maggio: Testing Self-Adaptive Software with Probabilistic Guarantess on Performance Metrics. In ''European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2020'' ACM Distinguished Paper Award.

Nils Vreman and Claudio Mandrioli: Evaluation of Burst Failure Robustness of Control Systems in the Fog. In ''2nd workshop on Fog Computing and the IoT, 2020''.

Paolo Pazzaglia, Claudio Mandrioli, Martina Maggio and Anton Cervin: DMAC: Deadline-Miss Aware Control. In ''31th Euromicro Conference on Real-Time Systems, 2019''.

Claudio Mandrioli, Martina Maggio: Towards testing self-adaptive software for cyber-physical systems. In ''4th workshop in Monitoring and Testing of Cyber-Physical systems, 2019''.

Claudio Mandrioli, Alberto Leva, Bo Bernhardsson, Martina Maggio: Modeling of Energy Consumption in GPS Receivers for Power Aware Localization Systems. In ''10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019''.

Claudio Mandrioli, Alberto Leva, Martina Maggio: Dynamic Models for the Formal Verification of Big Data Applications via Stochastic Model Checking. In ''2nd IEEE Conference on Control Technology and Application, 2018''.

 

Contact info:

Adress: Naturvetarvägen 18, 223 62, Lund

E-post claudio.mandrioli@control.lth.se

Telefon 046-222 87 84

Hämtställe 9

Postadress Box 118, 221 00 Lund