Up a level |
Belluccini, Sara (2023) Exploiting Process Algebras and BPM Techniques for Guaranteeing Success of Distributed Activities. Advisor: De Nicola, Prof. Rocco. Coadvisor: Tiezzi, Prof. Francesco . pp. 159. [IMT PhD Thesis]
Garbi, Giulio (2023) Automatic and Accurate Performance Prediction in Distributed Systems. Advisor: Tribastone, Prof. Mirco. Coadvisor: Incerto, Dr. Emilio . pp. 120. [IMT PhD Thesis]
Mulagaleti, Sampath Kumar (2023) Invariant Set-based Methods for the Computation of Input and Disturbance Sets. Advisor: Bemporad, Prof. Alberto. Coadvisor: Zanon, Prof. Mario . pp. 236. [IMT PhD Thesis]
Rathod, Niraj (2023) Model Predictive Control for Legged Robots. Advisor: Bemporad, Prof. Alberto. Coadvisor: Focchi, Dr. Michele . pp. 158. [IMT PhD Thesis]
Savanovic, Zorica (2023) Type discipline for message-passing components in distributed systems. Advisor: Galletta, Dr. Letterio. pp. 154. [IMT PhD Thesis]
Soman, Surya (2023) Learning-based Stochastic Model Predictive Control for Autonomous Driving. Advisor: Bemporad, Prof. Alberto. Coadvisor: Zanon, Prof. Mario . pp. 80. [IMT PhD Thesis]
Wu, Liang (2023) Coordinate-Descent Augmented Lagrangian Methods for Interpretative and Adaptive Model Predictive Control. Advisor: Bemporad, Prof. Alberto. pp. 136. [IMT PhD Thesis]